Electronic Books

Total Books: 1 - 20 /33

A City in Blue and Green

Highlights Singapore’s development into a city in which water and greenery, along with associated environmental, technical, ...

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 ...

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. ...

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, ...

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) ...

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, ...

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 ...

Constraint Solving and Language Processing

This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...

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 ...

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 ...

Ecology of Social Evolution

This book brings together renowned researchers working on sociality in different animals. For the first time, they compile ...

Formal Methods Applications and Technology

The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...

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 ...

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 ...

Global Optimization and Constraint Satisfaction

Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life ...

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 ...

Learning Classifier Systems

The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning ...

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 ...

Leveraging Applications of Formal Methods

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...

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. ...

Total Books: 1 - 20 /33