Theory and Applications of Satisfiability Testing - SAT 2007
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Continue reading
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Continue reading
Thermodynamic Equilibria and Extrema
This book discusses mathematical models that are based on the concepts of classical equilibrium thermodynamics. They are ...
Continue reading
Third Generation Photovoltaics
Photovoltaics, the direct conversion of sunlight to electricity, is now the fastest growing technology for electricity generation. ...
Continue reading
Transactions on Rough Sets V
Volume V of the Transactions on Rough Sets (TRS) is dedicated to the monu-mental life and work of Zdzis law Pawlak1. During ...
Continue reading
Trust within Organizations of the New Economy
Marco Tulio Zanini examines the effects of different industry-specific institutional framework constraints on the level of ...
Continue reading
Universities and Science in the Early Modern Period
The authors of this volume offer a fresh assessment of how this course of study affected generations of natural philosophers, ...
Continue reading
User Interfaces for Wearable Computers : Development and Evaluation
It examines user interfaces for wearable computers and analyses the challenges imposed by the wearable computing paradigm ...
Continue reading
Valuing Agroforestry Systems
he primary objective of this book is to offer practical means for strengthening the economics and policy dimension of the ...
Continue readingVariational and Quasi-Variational Inequalities in Mechanics
The variational method is a powerful tool to investigate states and processes in technical devices, nature, living organisms, ...
Continue reading
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Continue reading
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
The book feature current research from the communities of verification, program certification, model checking, debugging ...
Continue reading
Web Reasoning and Rule Systems
It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
Continue reading
Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
This book address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge ...
Continue reading
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Continue reading
