Electronic Books

Total Books: 161 - 180 /188

This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...

The book presents examples of models that are classical in essence, but can be analysed by the use of quantum techniques, ...

This book presents a multidisciplinary perspective on chance, with contributions from distinguished researchers in the areas ...

This volume critically explores the nature and depth of our contemporary cultural crisis: its lack of traditional orientation ...

Show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud ...

"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...

Represents the most comprehensive documentation and study of the creation of general relativity; one of the fundamental physical ...

An invaluable set of appendices offers shortcuts to translate particularly difficult language like abbreviations, collocations, ...

In this book the author concludes that expertise could be the key factor for global and interconnected problems. Experimental ...

This volume brings together a selection of the most philosophically significant papers of Arthur Pap. As Sanford Shieh explains ...

Costa and Zolo share the conviction that a proper understanding of the rule of law today requires referring to a global problematic ...

rne Naess is considered one of the most important philosophers of the twentieth century. He has been a tremendously prolific ...

This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...

This book intends to help understand and apply principles and rules better. Its target is to keep the distinction between ...

The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...

Tuning, Timbre, Spectrum, Scale focuses on perceptions ofconsonance and dissonance, and how these are dependent on timbre. ...

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

Total Books: 161 - 180 /188