Electronic Books

Total Books: 21 - 40 /3237

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

This book is open access under a CC BY license and explores the under-researched history of male mental illness from the ...

The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural ...

This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...

Provides an index of ideas, theories, projects, and definitions that string into a methodology for evaluating the contemporary ...

The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...

In this new edition, the fundamental material on classical linear aeroelasticity has been revised. Also new material has ...

Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...

Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...

This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...

This volume provides a posteriori error analysis for mathematical idealizations in modeling boundary value problems, especially ...

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...

A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...

This book provides a fresh approach to the study of energy expenditure by introducing the latest concepts in open system ...

A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...

The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as ...

This book is the first comprehensive treatment, of structural credit risk models for the simultaneous and consistent pricing ...

Shows you: how customer and market potential can be automatically identified and profiled; how media planning can be intelligently ...

Total Books: 21 - 40 /3237