Electronic Books

Total Books: 161 - 180 /188

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 ...

Total Books: 161 - 180 /188