25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee mas
25 Years of P53 Research
Communication, awareness and access to information: Given the complexity of the field and the fact that data pertaining to ...
Lee mas
3D Mesh Processing and Character Animation : With Examples Using OpenGL, OpenMesh and Assimp / Ramakrishnan Mukundan
Focusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character ...
Lee mas
50 Years of Artificial Intelligence
This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed ...
Lee mas
50 Years of EU Economic Dynamics
On the occasion of the 50th anniversary of the European Union experts present their analyses of historical developments and ...
Lee mas
A Changing World
Written primarily for researchers and advanced students in environmental and social sciences, this latest book in Springer’s ...
Lee mas
A Classical Introduction to Cryptography
This advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra ...
Lee mas
A First Course in Statistical Inference
Offers a modern and accessible introduction to Statistical Inference, the science of inferring key information from data. ...
Lee mas
A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lee mas
A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lee masA History of Radionuclide Studies in the UK : 50th Anniversary of the British Nuclear Medicine Society
The British Nuclear Medicine Society celebrates its 50th Anniversary with this booklet, which reflects the research of many ...
Lee mas
A Primal Perspective on the Philosophy of Religion
This book challenges this widespread assumption and demonstrates how primal religions have something significant to offer ...
Lee mas
A Short Course in Quantum Information Theory : An Approach From Theoretical Physics
This short and concise primer takes the vantage point of theoretical physics and the unity of physics. It sets out to strip ...
Lee mas
AI and UX
Great effort has been put forth to continuously make AI “smarter.” But, will smarter always equal more successful AI? ...
Lee mas
Abstract Algebra
In Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the ...
Lee mas
Acoustic MIMO Signal Processing
Telecommunication systems and human-machine interfaces start employing multiple microphones and loudspeakers in order to ...
Lee mas
Adaptable Architecture: Theory and practice / Robert Schmidt, Simon Austin, James Pinder
provides thought-provoking and inquisitive insights into how we can prolong the useful life of buildings by designing them ...
Lee mas
Adaptation to Life at High Salt Concentrations in Archaea, Bacteria, and Eukarya
This book complements “Halophilic Microorganisms”, edited by A. Ventosa and published by Springer-Verlag (2004), “Halophilic ...
Lee mas
Adaptive Autonomous Secure Cyber Systems
This book establishes scientific foundations for adaptive autonomous cyber systems and ultimately brings about a more secure ...
Lee mas
Adaptive and Natural Computing Algorithms
The two volume set LNCS 4431 and LNCS 4432 constitutes the refereed proceedings of the 8th International Conference on Adaptive ...
Lee mas
