Selected Papers Volume II
A renowned mathematician who considers himself both applied and theoretical in his approach, Peter Lax has spent most of ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Software Architecture
This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lee mas
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Lee mas
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, ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
