A City in Blue and Green
Highlights Singapore’s development into a city in which water and greenery, along with associated environmental, technical, ...
Continue reading
Advanced Strategies in Control Systems with Input and Output Constraints
The different techniques described throughout the book are particularly attractive for industrial applications not only in ...
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 Geometric Modeling and Processing : 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Geometric Modeling and Processing, ...
Continue reading
Building the Foundation: Whole Numbers in the Primary Grades
This twenty-third ICMI Study addresses for the first time mathematics teaching and learning in the primary school (and pre-school) ...
Continue reading
Business Process Management : 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Business Process Management, BPM 2008, ...
Continue reading
Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
Continue reading
Constraint Solving and Language Processing
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
Continue reading
Distributed Search by Constrained Agents : Algorithms, Performance, Communication
This book presents a comprehensive discussion on the field of distributed constraints, its algorithms and its active research ...
Continue reading
E-CARGO and Role-Based Collaboration: Modeling and Solving Problems in the Complex / Haibin Zhu
A model for collaboratively solving complex problems Explains the nature of collaboration, explores an easy-to-follow process ...
Continue reading
Ecology of Social Evolution
This book brings together renowned researchers working on sociality in different animals. For the first time, they compile ...
Continue reading
Formal Methods Applications and Technology
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Continue reading
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Continue reading
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Continue reading
Global Optimization and Constraint Satisfaction
Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life ...
Continue reading
High Confidence Software Reuse in Large Systems : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in ...
Continue reading
Learning Classifier Systems
The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning ...
Continue reading
Learning Classifier Systems : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...
Continue reading
Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Continue reading
Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Continue reading
