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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
STACS 2005
Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
Lee mas
STACS 2006
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
Lee mas
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 ...
Lee mas
Safety Cultures, Safety Models
The objective of this book is to help at-risk organizations to decipher the “safety cloud”, and to position themselves ...
Lee mas
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 ...
Lee mas
Scalable Uncertainty Management
This book constitutes the refereed proceedings of the First International Conference on Scalable Uncertainty Management, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Scattering from Model Nonspherical Particles
The scattering of electromagnetic radiation by nonspherical particles has become an increasingly important research topic ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Scientific Methods in Mobile Robotics
This book presents cutting-edge research results on the application of chaos theory, parametric and non-parametric statistics ...
Lee mas
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, ...
Lee mas
