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 ...
Lire la suite
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 ...
Lire la suiteA 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 ...
Lire la suiteA 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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
A Life Cycle for Clusters?
The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Lire la suite
A Modern Course in Aeroelasticity
In this new edition, the fundamental material on classical linear aeroelasticity has been revised. Also new material has ...
Lire la suite
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suite
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suite
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 ...
Lire la suite
A Posteriori Error Analysis Via Duality Theory
This volume provides a posteriori error analysis for mathematical idealizations in modeling boundary value problems, especially ...
Lire la suite
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lire la suite
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 ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
