Computers and Games
This book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...
اقرأ المزيد
Computing and Combinatorics
The Book covers most aspects of theoretical computer scienceand combinatorics related to computing.It exploring research, ...
اقرأ المزيد
Computing and Combinatorics
The Book covers most aspects of theoretical computer scienceand combinatorics related to computing.It exploring research, ...
اقرأ المزيد
Computing and Combinatorics (vol. # 3595)
The papers in this volume were presented at theEleventh Annual InternationalComputing and Combinatorics Conference(COCOON ...
اقرأ المزيد
Computing and Combinatorics (vol. # 4112)
The papers are organized in topical sections on computational economics, finance, and management, graph algorithms, computational ...
اقرأ المزيد
Computing and Combinatorics : 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings
The refereed proceedings of the 14th Annual International Computing and Combinatorics Conference, COCOON 2008, held in Dalian, ...
اقرأ المزيد
Concentrator Location in Telecommunications Networks
It presents polyhedral results and exact solution methods for location problems encountered in telecommunications but which ...
اقرأ المزيد
Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...
اقرأ المزيد
Conception optimale de structures = Optimal structural design
Optimal Structural Design deals with all aspects of shape optimization, parametric, geometric and topological, and gives ...
اقرأ المزيد
Conceptual Structures: Knowledge Architectures for Smart Applications
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
اقرأ المزيد
Conceptual Structures: Knowledge Architectures for Smart Applications
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
اقرأ المزيد
Concurrent Zero-Knowledge
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...
اقرأ المزيد
Constrained Control and Estimation
Using the principal tools of prediction and optimisation, this work gives the examples of how to deal with constraints, placing ...
اقرأ المزيد
Constraint Handling Rules : Current Research Topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
اقرأ المزيد
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيدConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيدConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيد
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيد
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيد
Container Terminals and Automated Transport Systems
Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals ...
اقرأ المزيد
