This book is the outcome of a discussion meeting of leading scholars and critical thinkers with expertise in complex systems ...
Lire la suite
This book reports on methods and technologies to describe, evaluate and control uncertainty in mechanical engineering applications. ...
Lire la suite
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
Lire la suite
This book about The 5th International Conference on Unconventional Computation, UC 2006,organized under the auspices of the ...
Lire la suite
The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
Lire la suite
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
Lire la suite
In June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...
Lire la suite
This volume contains selected transcripts from presentations given at the conference. Speakers include: Chris Adami, Kenneth ...
Lire la suite
There is a difference in the communication and safeguarding effects of a regulation, depending on the precision of its wording. ...
Lire la suite
Urban Transport Development is a contribution to the ongoing global discussion on the future of urban transport. The main ...
Lire la suite
Each of the 18 lessons introduces new programming objects, concepts or techniques that can be presented in a whole-group ...
Lire la suite
This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and ...
Lire la suite
Automobiles are responsible for a substantial part of the world's consumption of primary energy, mostly fossil liquid hydrocarbons. ...
Lire la suite
This volume brings together the invited papers and selected participants’ contributions presented at the COST 2102 International ...
Lire la suite
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
Lire la suite
This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
Lire la suite
This book begins with consideration of possible frameworks for understanding virtuality and virtualization. It examines group ...
Lire la suite
Networked computers are ubiquitous, and are subject to attack, misuse, and abuse. One method to counteracting this cyber ...
Lire la suite
This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
Lire la suiteThis book gives an overview of possible solutions and helps to make the right choice. It presents the background, potentials ...
Lire la suite