Artificial Intelligence and Symbolic Computation
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...
اقرأ المزيد
Artificial Intelligence: Theories, Models and Applications :5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held ...
اقرأ المزيد
Autonomy Oriented Computing
Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and ...
اقرأ المزيد
Beginning Excel What-If Data Analysis Tools
Excels what-if data analysis tools let you experiment with your data to project future results. In turn, these predictions ...
اقرأ المزيد
Bone Remodeling and Osseointegration of Implants / Andy H. Choi
Provides an insight into the latest advances in bone fracture healing and remodeling algorithm and their incorporation into ...
اقرأ المزيد
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, ...
اقرأ المزيد
Complexity of Constraints : An Overview of Current Research Themes
This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International ...
اقرأ المزيد
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيد
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيد
Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
اقرأ المزيد
Computer Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
اقرأ المزيد
Concentrator Location in Telecommunications Networks
It presents polyhedral results and exact solution methods for location problems encountered in telecommunications but which ...
اقرأ المزيد
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 ...
اقرأ المزيد
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...
اقرأ المزيد
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...
اقرأ المزيد
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
اقرأ المزيد
Constraint Handling Rules : Current Research Topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
اقرأ المزيد
Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
اقرأ المزيد
Constraint Solving and Language Processing
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
اقرأ المزيد
