Electronic Books

Total Books: 101 - 120 /133

Selected Papers Volume II

A renowned mathematician who considers himself both applied and theoretical in his approach, Peter Lax has spent most of ...

Simulated Evolution and Learning : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings

This volume covered are evolutionary learning; evolutionary optimisation; hybrid learning; adaptive systems; theoretical ...

Simulation, Modeling, and Programming for Autonomous Robots : First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings

The book address all current issues of robotics applications and simulation environments thereof, such as 3D robot simulation, ...

Software Agent-Based Applications, Platforms and Development Kits

Intelligent agents and multi-agent systems (MAS) represent the next big step in the development of next-generation software ...

Software Architecture

This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...

Spatial Cognition VI. Learning, Reasoning, and Talking about Space : International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings

This book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, ...

Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...

Static Analysis

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...

Static Analysis (vol. # 3672)

"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...

Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...

Swarm Intelligence : Introduction and Applications

The laws that govern the collective behavior of social insects, flocks of birds, or fish schools continue to mesmerize researchers. ...

Systems and Virtualization Management. Standards and New Technologies : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...

The Arché Papers on the Mathematics of Abstraction

This volume collects together a number of important papers concerning both the method of abstraction generally and the use ...

Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...

Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...

Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers

This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...

Théories spectrales : Chapitres 1 et 2 = Spectral theories: Chapters 1 and 2

Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920)

This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...

Total Books: 101 - 120 /133