25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Continue reading
A Cost Based Approach to Project Management : Planning and Controlling Construction Project Costs /
Illustrates the principles of project management and the essentials of cost planning and control with easy-to-understand ...
Continue reading
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...
Continue reading
A Guide to Graph Algorithms / Ton Kloks, Prof. Mingyu Xiao
Offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. ...
Continue reading
AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
Continue reading
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Continue reading
Acoustic Emission Testing : Basics for Research - Applications in Civil Engineering
The book covers all levels from the description of AE basics for AE beginners (level of a student) to sophisticated AE algorithms ...
Continue reading
Active Rheology Control of Cementitious Materials / Geert De Schutter, Karel Lesage
The research presented here develops a new method of actively controlling the rheology of fresh concrete during casting operations ...
Continue reading
Ada 2005 Rationale : The Language, The Standard Libraries
The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
Continue reading
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...
Continue reading
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence : 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceeding
This book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th ...
Continue reading
Advances in Artificial Intelligence - SBIA 2008 : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held ...
Continue reading
Advances in Bioinformatics and Computational Biology : Third Brazilian Symposium on Bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings
This book constitutes the refereed proceedings of the Third Brazilian Symposium on Bioinformatics, BSB 2008, held in Sao ...
Continue reading
Advances in Case-Based Reasoning : 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th European Conference on Case-Based Reasoning, ECCBR 2008, held in ...
Continue reading
Advances in Civil Engineering Materials : Selected Articles from the 6th International Conference on Architecture and Civil Engineering (ICACE 2022), August 2022, Kuala Lumpur, Malaysia / Elham Maghsoudi Nia, Lloyd Ling, Mokhtar Awang, Seyed Sattar Emamian
Presents selected articles from the 6th International Conference on Architecture and Civil Engineering 2022 (ICACE 2022), ...
Continue reading
Advances in Computer Science - ASIAN 2004 Higher Level Decision Making
This book constitutes the proceedings of the 9th Asian Computing Science Conference was held in Chiang Mai in Decem-ber 2004. ...
Continue reading
Advances in Construction Materials 2007
The book is a compilation of recent research results on building construction materials. The construction industry consumes ...
Continue reading
Advances in Control Theory and Applications
This volume is the outcome of the first CASY workshop on "Advances in Control Theory and Applications" which was held at ...
Continue reading
Advances in Cryptology - ASIACRYPT 2008 : 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Cryptology ...
Continue reading
Advances in Cryptology - CRYPTO 2008 : 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings
This book constitutes the refereed proceedings of the 28th Annual International Cryptology Conference, CRYPTO 2008, held ...
Continue reading
