The Age of Alternative Logics
This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...
Lee masThe Cellular Automaton Interpretation of Quantum Mechanics
The book presents examples of models that are classical in essence, but can be analysed by the use of quantum techniques, ...
Lee masThe Challenge of Chance : A Multidisciplinary Approach from Science and the Humanities
This book presents a multidisciplinary perspective on chance, with contributions from distinguished researchers in the areas ...
Lee mas
The Death of Metaphysics; The Death of Culture
This volume critically explores the nature and depth of our contemporary cultural crisis: its lack of traditional orientation ...
Lee mas
The Definitive Guide to Modern Java Clients with JavaFX 17 : Cross-Platform Mobile and Cloud Development / Stephen Chin, Johan Vos, James Weaver
Show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud ...
Lee mas
The Developers Guide to Debugging
"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...
Lee mas
The Genesis of General Relativity
Represents the most comprehensive documentation and study of the creation of general relativity; one of the fundamental physical ...
Lee mas
The Georgetown Guide to Arabic-English Translation / Mustafa Mughazy
An invaluable set of appendices offers shortcuts to translate particularly difficult language like abbreviations, collocations, ...
Lee mas
The Impact of Individual Expertise and Public Information on Group Decision-Making
In this book the author concludes that expertise could be the key factor for global and interconnected problems. Experimental ...
Lee mas
The Limits of Logical Empiricism
This volume brings together a selection of the most philosophically significant papers of Arthur Pap. As Sanford Shieh explains ...
Lee mas
The Rule of Law History, Theory and Criticism
Costa and Zolo share the conviction that a proper understanding of the rule of law today requires referring to a global problematic ...
Lee mas
The Selected Works of Arne Naess
rne Naess is considered one of the most important philosophers of the twentieth century. He has been a tremendously prolific ...
Lee mas
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
Lee mas
Theory of Legal Principles
This book intends to help understand and apply principles and rules better. Its target is to keep the distinction between ...
Lee mas
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...
Lee mas
Tuning, Timbre, Spectrum, Scale
Tuning, Timbre, Spectrum, Scale focuses on perceptions ofconsonance and dissonance, and how these are dependent on timbre. ...
Lee mas
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lee mas
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lee mas
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Lee mas
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Lee mas
