13th International Conference on Electrical Bioimpedance and the 8th Conference on Electrical Impedance Tomography
These proceedings continue the series edited in the framework of the traditional triennial International Conference on Electrical ...
اقرأ المزيد
150 Best New Eco Home Ideas / Francesc Zamora Mola
Features nearly 500 pages of full-color photographs and dozens of inventive and decorative profiles. Architects, designers, ...
اقرأ المزيد
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيد
50 Years of Artificial Intelligence
This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
اقرأ المزيد
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, ...
اقرأ المزيد
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيد
A Short Course on Operator Semigroups
The book gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on ...
اقرأ المزيدA Time for Metabolism and Hormones
Recent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...
اقرأ المزيد
A Time for Metabolism and Hormones
Recent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...
اقرأ المزيد
A Treatise of Legal Philosophy and General Jurisprudence
A Treatise of Legal Philosophy and General Jurisprudence is the first-ever multivolume treatment of the issues in legal philosophy ...
اقرأ المزيد
A Treatise of Legal Philosophy and General Jurisprudence ; Volume 7: The Jurists’ Philosophy of Law from Rome to the Seventeenth Century, Volume 8: A History of the Philosophy of Law in The Common Law World, 1600–1900
A Treatise of Legal Philosophy and General Jurisprudence is the first-ever multivolume treatment of the issues in legal philosophy ...
اقرأ المزيد
A beginner's guide to urban design and development : the ABC of quality, sustainable design / Laura B. Alvarez
Provides invaluable guidance to all those with an interest in placemaking and the built environment, from those with no experience ...
اقرأ المزيد
AI 2004: Advances in Artificial Intelligence
AI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the ...
اقرأ المزيد
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيد
Acceleration and Improvement of Protein Identification by Mass Spectrometry
this book is presenting a review of basic proteomic techniques. The second part of the book is related to the novel high ...
اقرأ المزيد
Acceptance and Usage of Technology through the Digital User Experience / Nedra Bahri-Ammari, Imene Ben Yahia-Boumaiza
Sheds light on the challenges and solutions for companies when dealing with the online consumer on social media and in the ...
اقرأ المزيد
Accounting and Statistical Analyses for Sustainable Development Multiple Perspectives and Information-Theoretic Complexity Reduction
In this book Claudia Lemke develops a comprehensive Multi-Level Sustainable Development Index (MLSDI) that is applicable ...
اقرأ المزيد
