Selected Papers Volume II
A renowned mathematician who considers himself both applied and theoretical in his approach, Peter Lax has spent most of ...
Weiterlesen
Short-Wave Solar Radiation in the Earths Atmosphere
Based on data from an experiment which ran for ten years, this book summarizes the results of the Atmospheric Physics Department ...
Weiterlesen
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 ...
Weiterlesen
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, ...
Weiterlesen
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 ...
Weiterlesen
Software Architecture
This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
Weiterlesen
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, ...
Weiterlesen
Spectroscopy of Emerging Materials
A comprehensive discussion of the key role of modern spectroscopic investigations in interdisciplinary materials science ...
Weiterlesen
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 ...
Weiterlesen
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Weiterlesen
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Weiterlesen
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, ...
Weiterlesen
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. ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
The Chemistry of the Actinide and Transactinide Elements
In this book the chemical properties of the first transuranium elements (neptunium, plutonium, and americium) were described ...
Weiterlesen
The Supercontinuum Laser Source
This book covers the fundamental principles and surveys research of current thinkers and experts in the field with updated ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
