The Age of Alternative Logics
This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...
اقرأ المزيدThe 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, ...
اقرأ المزيدThe 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
The Developers Guide to Debugging
"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...
اقرأ المزيد
The Genesis of General Relativity
Represents the most comprehensive documentation and study of the creation of general relativity; one of the fundamental physical ...
اقرأ المزيد
The Georgetown Guide to Arabic-English Translation / Mustafa Mughazy
An invaluable set of appendices offers shortcuts to translate particularly difficult language like abbreviations, collocations, ...
اقرأ المزيد
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 ...
اقرأ المزيد
The Limits of Logical Empiricism
This volume brings together a selection of the most philosophically significant papers of Arthur Pap. As Sanford Shieh explains ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Theory of Legal Principles
This book intends to help understand and apply principles and rules better. Its target is to keep the distinction between ...
اقرأ المزيد
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 ...
اقرأ المزيد
Tuning, Timbre, Spectrum, Scale
Tuning, Timbre, Spectrum, Scale focuses on perceptions ofconsonance and dissonance, and how these are dependent on timbre. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
اقرأ المزيد
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
اقرأ المزيد
