Constraint-Based Mining and Inductive Databases
The interconnected ideas of inductive databases and constraint-based mining are appealing and have the potential to radically ...
اقرأ المزيد
Cooperative Design, Visualization, and Engineering (vol. # 3675)
This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, ...
اقرأ المزيد
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. ...
اقرأ المزيد
Design of Wireless Autonomous Datalogger ICs
The book starts with a comprehensive introduction on the most important design aspects and trade-offs for miniaturized low-power ...
اقرأ المزيد
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 Mechanics
"This is the second of two volumes … by Hartsuijker and Welleman (both, Dolft Univ. of Technology). … The concepts and ...
اقرأ المزيد
Engineering Mechanics 2: Strength of Materials : An introduction with many examples / Christian Mittelstedt
Provides students with a clear introduction and to enable them to formulate and solve engineering problems in this field. ...
اقرأ المزيد
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 ...
اقرأ المزيد
