A renowned mathematician who considers himself both applied and theoretical in his approach, Peter Lax has spent most of ...
Lire la suiteThis volume covered are evolutionary learning; evolutionary optimisation; hybrid learning; adaptive systems; theoretical ...
Lire la suiteThe book address all current issues of robotics applications and simulation environments thereof, such as 3D robot simulation, ...
Lire la suiteIntelligent agents and multi-agent systems (MAS) represent the next big step in the development of next-generation software ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
Lire la suiteThis book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, ...
Lire la suiteThe book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
Lire la suiteThe aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lire la suite"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Lire la suiteThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suiteThe laws that govern the collective behavior of social insects, flocks of birds, or fish schools continue to mesmerize researchers. ...
Lire la suiteThis book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...
Lire la suiteThis volume collects together a number of important papers concerning both the method of abstraction generally and the use ...
Lire la suiteThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lire la suiteThis book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Lire la suiteThis book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
Lire la suiteNicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...
Lire la suiteThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
Lire la suite