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