This book discusses the challenges and opportunities faced by companies in an age that increasingly values sustainability ...
Lire la suiteThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suiteThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suiteIt includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...
Lire la suiteIt includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...
Lire la suiteThe British Nuclear Medicine Society celebrates its 50th Anniversary with this booklet, which reflects the research of many ...
Lire la suiteThe development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural ...
Lire la suiteThis book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lire la suiteThis book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, ...
Lire la suiteBased on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
Lire la suiteThe papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...
Lire la suiteThe first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...
Lire la suiteThe book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
Lire la suiteThe first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Lire la suiteFactorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suiteFactorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suiteThis book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
Lire la suiteThis volume provides a posteriori error analysis for mathematical idealizations in modeling boundary value problems, especially ...
Lire la suiteDiscusses and describes in detail the available resin cements, which are now a staple of dental practice. Factors that affect ...
Lire la suiteSystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Lire la suite