Electronic Books

Total Books: 41 - 60 /135

Data Mining

This volume provides a snapshot of the current state of the art in data mining, presenting it both in terms of technical ...

Database Programming Languages

Constitutes the refereed post-proceedings of the 10th International Workshop on Database Programming Languages, DBPL 2005. ...

Diagrammatic Representation and Inference

Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 ...

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

Engineering Self-Organising Systems (vol. # 3910)

This book contains recent work from a broad range of areas with the common theme of utilising self-organisation productively. ...

Evolutionary Computation in Combinatorial Optimization (vol. # 3448)

This volume contains the proceedings of EvoCOP 2005, the 5th European Conference on Evolutionary Computation in Combinatorial ...

Evolutionary Multi-Criterion Optimization

Multicriterion optimization refers to problems with two or more objectives (normally in conflict with each other) which must ...

Evolutionary Multi-Criterion Optimization

Multicriterion optimization refers to problems with two or more objectives (normally in conflict with each other) which must ...

FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...

Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

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 Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...

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

Frontiers of Combining Systems

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...

Frontiers of Combining Systems

Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...

Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...

Fundamentals of Algebraic Graph Transformation

Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...

Total Books: 41 - 60 /135