الكتب الالكترونية

عدد الكتب: 12/370
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
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. ...

اقرأ المزيد
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
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? ...

اقرأ المزيد
عدد الكتب: 12/370