Electronic Books

Total Books: 1 - 20 /418

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

25 Years of P53 Research

Communication, awareness and access to information: Given the complexity of the field and the fact that data pertaining to ...

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

50 Years of Artificial Intelligence

This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed ...

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

A Changing World

Written primarily for researchers and advanced students in environmental and social sciences, this latest book in Springer’s ...

A Classical Introduction to Cryptography

This advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra ...

A First Course in Statistical Inference

Offers a modern and accessible introduction to Statistical Inference, the science of inferring key information from data. ...

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

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

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

A Primal Perspective on the Philosophy of Religion

This book challenges this widespread assumption and demonstrates how primal religions have something significant to offer ...

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

AI and UX

Great effort has been put forth to continuously make AI “smarter.” But, will smarter always equal more successful AI? ...

Abstract Algebra

In Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the ...

Acoustic MIMO Signal Processing

Telecommunication systems and human-machine interfaces start employing multiple microphones and loudspeakers in order to ...

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

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

Adaptive Autonomous Secure Cyber Systems

This book establishes scientific foundations for adaptive autonomous cyber systems and ultimately brings about a more secure ...

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

Total Books: 1 - 20 /418