A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Weiterlesen
A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
WeiterlesenA History of Male Psychological Disorders in Britain, 1945–1980
This book is open access under a CC BY license and explores the under-researched history of male mental illness from the ...
WeiterlesenA History of Thermodynamics
The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural ...
Weiterlesen
A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Weiterlesen
A Language of Contemporary Architecture : An Index of Topology and Typology / Rafael Luna, Dongwoo Yim
Provides an index of ideas, theories, projects, and definitions that string into a methodology for evaluating the contemporary ...
Weiterlesen
A Life Cycle for Clusters?
The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Weiterlesen
A Modern Course in Aeroelasticity
In this new edition, the fundamental material on classical linear aeroelasticity has been revised. Also new material has ...
Weiterlesen
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Weiterlesen
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Weiterlesen
A Portrait of State-of-the-Art Research at the Technical University of Lisbon
This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...
Weiterlesen
A Posteriori Error Analysis Via Duality Theory
This volume provides a posteriori error analysis for mathematical idealizations in modeling boundary value problems, especially ...
Weiterlesen
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Weiterlesen
A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Weiterlesen
A Practical Theory of Reactive Systems
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Weiterlesen
A Primer for the Exercise and Nutrition Sciences
This book provides a fresh approach to the study of energy expenditure by introducing the latest concepts in open system ...
Weiterlesen
A Software Process Model Handbook for Incorporating Peoples Capabilities
A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
Weiterlesen
A Space of Their Own: The Archaeology of Nineteenth Century Lunatic Asylums in Britain, South Australia and Tasmania
The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as ...
Weiterlesen
A Structural Framework for the Pricing of Corporate Securities
This book is the first comprehensive treatment, of structural credit risk models for the simultaneous and consistent pricing ...
Weiterlesen
AI in Marketing, Sales and Service : How Marketers without a Data Science Degree can use AI, Big Data and Bots / Peter Gentsch
Shows you: how customer and market potential can be automatically identified and profiled; how media planning can be intelligently ...
Weiterlesen
