Electronic Books

Total Books: 1381 - 1400 /1738
978-3-540-92221-6
Principles of Distributed Systems : 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings

The 30 full papers and 11 short papers presented were carefully reviewed and selected from 102 submissions. The conference ...

Continue reading
978-1-84628-770-1
Principles of the Spin Model Checker

Principles of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. ...

Continue reading
978-0-387-70992-5
Privacy-Preserving Data Mining:Models and Algorithms

Privacy Preserving Data Mining: Models and Algorithms proposes a number of techniques to perform the data mining tasks in ...

Continue reading
978-0-387-68254-9
Privacy-Respecting Intrusion Detection

With our society's growing dependency on information technology systems (IT), IT security is crucial. To properly respond ...

Continue reading
978-1-4842-4398-5
Pro TBB : C++ Parallel Programming with Threading Building Blocks

This book is a modern guide for all C++ programmers to learn Intel Threading Building Blocks (TBB).this book reflects their ...

Continue reading
978-3-540-79007-5
Probabilistic Reasoning and Decision Making in Sensory-Motor Systems

Probabilistic Reasoning and Decision Making in Sensory-Motor Systems by Pierre Bessiere, Christian Laugier and Roland Siegwart ...

Continue reading
978-3-031-17043-0
Problems on Algorithms : A Comprehensive Exercise Book for Students in Software Engineering / Habib Izadkhah

Provides a comprehensive collection of practical problems on the design, analysis and verification of algorithms Includes ...

Continue reading
978-3-540-29090-2
Proceedings of the 14th International Meshing Roundtable

This book introduces theoretical and novel ideas with practical potential as well as technical applications from industrial ...

Continue reading
978-3-540-34958-7
Proceedings of the 15th International Meshing Roundtable

This volume contains the articles presented at the 15th International Meshing Roundtable conference organized by Sandia National ...

Continue reading
978-3-540-75103-8
Proceedings of the 16th International Meshing Roundtable

This volume contains the articles presented at the 16th International Meshing Roundtable (IMR) organized, in part, by Sandia ...

Continue reading
978-3-540-29344-6
Proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE 2005)

This book contains the proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment ...

Continue reading
978-1-4020-3197-7
Proceedings of the Conference on Applied Mathematics and Scientific Computing

Brings together papers presenting results covering areas of applied mathematics and scientific computing. This work offers ...

Continue reading
NoIMG
Process Control

In this book, passivity-based developments in the areas of robust process control, decentralized control, fault tolerant ...

Continue reading
NoIMG
Process Control Performance Assessment

Process Control Performance Assessment is a practical guide to the application of control benchmarking to real, complex, ...

Continue reading
978-1-84800-058-2
Production Planning in Production Networks : Models for Medium and Short-term Planning

Production Planning in Production Networks addresses production planning problems in distributed manufacturing networks from ...

Continue reading
978-1-4020-6914-7
Profiling the European Citizen : Cross-Disciplinary Perspectives

In the eyes of many, one of the most challenging problems of the information society is that we are faced with an ever expanding ...

Continue reading
978-3-540-71322-7
Program Analysis and Compilation. Theory and Practice

This Festschrift volume publishing to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed ...

Continue reading
978-3-540-78739-6
Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...

Continue reading
978-3-540-31646-6
Progress in Artificial Intelligence

With this edition, EPIA, the Portuguese Conference on Arti?cial Intelligence, celebrates its 20th anniversary.Like all its ...

Continue reading
978-3-540-77002-2
Progress in Artificial Intelligence

This book constitutes the refereed proceedings of the 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, held ...

Continue reading
Total Books: 1381 - 1400 /1738