The first step towards success in a software project is to ensure a professional setup. This includes a metrics-based formal ...
Lire la suiteThe book offers a practical and simple view of the security practices while still offering somewhat technical and detailed ...
Lire la suite
This volume contains the proceeding softhe Internet of Things (IOT)Conference 2008, the ?rst international conference of ...
Lire la suite
This book takes a unique approach to information retrieval by laying down the foundations for a modern algebra of information ...
Lire la suite
This book constitutes the 14th edition of the annual Multi-Agent Programming Contest, MAPC 2019, and presents its participants. The ...
Lire la suite
This book, in conjunction with the volume LNAI 5288, constitutes the refereed proceedings of theFirst World Summit, WSKS ...
Lire la suiteThe authors, a uniquely skilled team of longtime industry experts, detail how you can build privacy into products, processes, ...
Lire la suite
The ultimate goal of this book is to bring the fundamental issues of information granularity, inference tools and problem ...
Lire la suite
Chris Date, one of the founders of the relational model, has updated and expanded his relational database dictionary to include ...
Lire la suite
The book functions as both a practical user guide and an interesting read about the theory behind the machine: BEAM robotics ...
Lire la suite
A little over a decade has passed since the release of the ?rst Netscape browser. In 1995,the World Wide Web was viewedlargelyas ...
Lire la suite
"The Testing Network" presents an integrated approach to testing based on cutting-edge methodologies, processes and tools ...
Lire la suite
This book provides a broad overview of the entire field of DNA computation, tracing its history and development. It contains ...
Lire la suite
This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Lire la suite
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite
This book constitutes the thoroughly refereed proceedings of the 10th Theory of Cryptography Conference, TCC 2013, held in ...
Lire la suite
The papers are organized in 16 sessions dealing with the paradigms, approaches and techniques used to conceptualize, define ...
Lire la suite
Reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...
Lire la suite
This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
Lire la suite
This edition guides the reader through successful planning and implementation of a thesis project and provides students in ...
Lire la suite