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