Electronic Books

Total Books: 1 - 20 /418
978-3-540-69850-0
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 ...

Continue reading
978-1-4020-2922-6
25 Years of P53 Research

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

Continue reading
978-3-030-81354-3
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 ...

Continue reading
978-3-540-77296-5
50 Years of Artificial Intelligence

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

Continue reading
978-3-540-74055-1
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 ...

Continue reading
978-1-4020-4436-6
A Changing World

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

Continue reading
978-0-387-25880-5
A Classical Introduction to Cryptography

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

Continue reading
978-3-030-39561-2
A First Course in Statistical Inference

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

Continue reading
978-3-540-71999-1
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 ...

Continue reading
978-3-540-71999-1
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-1-4020-5014-5
A Primal Perspective on the Philosophy of Religion

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

Continue reading
978-3-540-38996-5
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 ...

Continue reading
978-1-4842-5775-3
AI and UX

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

Continue reading
978-0-387-71568-1
Abstract Algebra

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

Continue reading
978-3-540-37631-6
Acoustic MIMO Signal Processing

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

Continue reading
9780415522588
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 ...

Continue reading
978-1-4020-3633-0
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 ...

Continue reading
978-3-030-33432-1
Adaptive Autonomous Secure Cyber Systems

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

Continue reading
978-3-540-71618-1
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 ...

Continue reading
Total Books: 1 - 20 /418