This volume contains the proceedings of ADHS'06: the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, organized in …
This book constitutes the refereed proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, FASE 2008, held …
ETAPS’99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual …
ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 …
ETAPS 2001 is the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an …
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an …
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an …
This book constitutes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held …
This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held …
This book constitutes the refereed proceedings of the 5th European Conference on Principles of Data Mining and Knowledge Discovery, PKDD …
This collection of papers by leading researchers in their respective fields contains contributions showing the use of the maximum entropy …
FLINS, originally an acronym for Fuzzy Logic and Intelligent Technologies in Nuclear Science, is now extended to Applied Artificial Intelligence …
Arti?cial Intelligence is a ?eld with a long history, which is still very much active and developing today. Developments of …
This book constitutes the refereed proceedings of the 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and …
The Fourth International Congress in Quantum Chemistry under the auspices of the International Academy of Molecular Quantum Science in Menton, …
This volume presents detailed discussions of a number of unsolved conceptual and technical issues arising, in particular, in the foundations …
This book constitutes the refereed proceedings of the 8th International Symposium on Parallel Architecture, Algorithm and Programming, PAAP 2017, held …
This book constitutes the refereed proceedings of the Third International Workshop on Algorithm Engineering, WAE'99, held in London, UK in …
This volume contains the papers accepted for the 4th Workshop on Algorithm Engineering (WAE 2000) held in Saarbruc ¨ ken, …
This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in …
This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ …
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, …
This two-volume set LNAI 7523 and LNAI 7524 constitutes the refereed proceedings of the European Conference on Machine Learning and …
This three-volume set LNAI 8188, 8189 and 8190 constitutes the refereed proceedings of the European Conference on Machine Learning and …
This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, OPODIS 2006, held at …
This book constitutes the refereed proceedings of the 11th International Conference on Principles of Distributed Systems, OPODIS 2007, held in …
The 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 14–17, 2010 in Tozeur, Tunisia. …
This book constitutes the refereed proceedings of the 12th International Conference on Principles of Distributed Systems, OPODIS 2008, held in …
This book constitutes the refereed proceedings of the 13th International Conference on Principles of Distributed Systems, OPODIS 2009, held in …
This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, …
This book constitutes the refereed proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, HSCC 2000, held …
This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in …
This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, held …
This volume contains the proceedings of the Third International Workshop on Hybrid Systems: Computation and Control (HSCC 2000), which was …
