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