Electronic Books

Total Books: 12/520
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
70 Years of Levothyroxine

This book presents the history, pharmacokinetics and pharmacodynamics of levothyroxine, discussing its role in the thyroid ...

Lee mas
A Brief History of Computing

This text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise ...

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 Companion to Astronomy and Astrophysics

Astronomy and Astrophysics is a comprehensive, fundamental, up-to-date reference book. It is filled with vital information ...

Lee mas
A Comprehensible Universe : The Interplay of Science and Theology

Why is our world comprehensible? This question seems so trivial that few people have dared to ask it. In this book we explore ...

Lee mas
A Field Guide to Algebra

This unique textbook focuses on the structure of fields and is intended for a second course in abstract algebra. Besides ...

Lee mas
A History of Abstract Algebra

This presentation provides an account of the intellectual lineage behind many of the basic concepts, results, and theories ...

Lee mas
A History of Atmospheric CO2 and Its Effects on Plants, Animals, and Ecosystems

the authors address the future role of atmospheric CO2 and its likely effects on ecosystems. This book incorporates the advances ...

Lee mas
A History of Chinese Mathematics

It includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...

Lee mas
A History of Chinese Mathematics

It includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...

Lee mas
A History of Parametric Statistical Inference from Bernoulli to Fischer, 1713-1935

This is a history of parametric statistical inference, written by one of the most important historians of statistics of the ...

Lee mas
Total Books: 12/520