Electronic Books

Total Books: 1501 - 1520 /1913

Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...

Russian Contributions to Game Theory and Equilibrium Theory

The research of Soviet scientists within the field of game theory has resulted in many high-level publications. This book ...

Russian Models from the Mechanisms Collection of Bauman University

The subject material of this book is largely unknown, but of great interest to engineers and scientists, mechanics, and historians ...

Régression : Théorie et applications = Regression : Theory and Applications

This book explains in detail, with supporting examples, one of the most common statistical methods: regression. The first ...

SAT 2005

This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...

SOFSEM 2005: Theory and Practice of Computer Science

This book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer ...

SOFSEM 2008: Theory and Practice of Computer Science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings

This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...

STACS 2005

Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...

STACS 2006

This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...

STACS 2007 ; 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

The Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...

Safety Cultures, Safety Models

The objective of this book is to help at-risk organizations to decipher the “safety cloud”, and to position themselves ...

Saving and Investment in the Twenty-First Century The Great Divergence

The economy of the 21st century in the OECD countries and in China, is characterized by a new phenomenon: the structural ...

Scalable Uncertainty Management

This book constitutes the refereed proceedings of the First International Conference on Scalable Uncertainty Management, ...

Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...

Scale-Space and Morphology in Computer Vision

This book constitutes the refereed proceedings of the Third International Conference on Scale-Space and Morphology in Computer ...

Scattering from Model Nonspherical Particles

The scattering of electromagnetic radiation by nonspherical particles has become an increasingly important research topic ...

Scheduling : Theory, Algorithms, and Systems

This book on scheduling covers theoretical models as well as scheduling problems in the real world. The book consists of ...

Science with the Atacama Large Millimeter Array : A New Era for Astrophysics

This book describes the enormous capabilities of ALMA, the state of the project, and most notably the scientific prospects ...

Scientific Methods in Mobile Robotics

This book presents cutting-edge research results on the application of chaos theory, parametric and non-parametric statistics ...

Scientific and Statistical Database Management : 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008 Proceedings

This book is organized in topical sections on query optimization in scientific databases, privacy, searching and mining graphs, ...

Total Books: 1501 - 1520 /1913