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