Electronic Books

Total Books: 561 - 580 /1829
Computers and Games

This book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...

Lire la suite
Computers and Games

This book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...

Lire la suite
Computing and Combinatorics

The Book covers most aspects of theoretical computer scienceand combinatorics related to computing.It exploring research, ...

Lire la suite
Computing and Combinatorics

The Book covers most aspects of theoretical computer scienceand combinatorics related to computing.It exploring research, ...

Lire la suite
Computing and Combinatorics (vol. # 3595)

The papers in this volume were presented at theEleventh Annual InternationalComputing and Combinatorics Conference(COCOON ...

Lire la suite
Computing and Combinatorics (vol. # 4112)

The papers are organized in topical sections on computational economics, finance, and management, graph algorithms, computational ...

Lire la suite
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, ...

Lire la suite
Concentrator Location in Telecommunications Networks

It presents polyhedral results and exact solution methods for location problems encountered in telecommunications but which ...

Lire la suite
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, ...

Lire la suite
Conception optimale de structures = Optimal structural design

Optimal Structural Design deals with all aspects of shape optimization, parametric, geometric and topological, and gives ...

Lire la suite
Conceptual Structures: Knowledge Architectures for Smart Applications

Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...

Lire la suite
Conceptual Structures: Knowledge Architectures for Smart Applications

Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...

Lire la suite
Concurrent Zero-Knowledge

Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...

Lire la suite
Constrained Control and Estimation

Using the principal tools of prediction and optimisation, this work gives the examples of how to deal with constraints, placing ...

Lire la suite
Constraint Handling Rules : Current Research Topics

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...

Lire la suite
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lire la suite
NoIMG
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lire la suite
NoIMG
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lire la suite
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lire la suite
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lire la suite
Total Books: 561 - 580 /1829