Electronic Books

Total Books: 1501 - 1520 /1913

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Total Books: 1501 - 1520 /1913