Electronic Books

Total Books: 161 - 180 /201

Selected Papers Volume II

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

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 ...

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, ...

Spectroscopy of Emerging Materials

A comprehensive discussion of the key role of modern spectroscopic investigations in interdisciplinary materials science ...

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 ...

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 ...

The Supercontinuum Laser Source

This book covers the fundamental principles and surveys research of current thinkers and experts in the field with updated ...

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 ...

Total Books: 161 - 180 /201