Electronic Books

Total Books: 561 - 580 /1828
978-3-540-75538-8
Computers and Games

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

Continue reading
978-3-540-73545-8
Computing and Combinatorics

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

Continue reading
978-3-540-73545-8
Computing and Combinatorics

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

Continue reading
978-3-540-31806-4
Computing and Combinatorics (vol. # 3595)

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

Continue reading
978-3-540-36926-4
Computing and Combinatorics (vol. # 4112)

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

Continue reading
978-3-540-69733-6
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, ...

Continue reading
978-0-387-23532-5
Concentrator Location in Telecommunications Networks

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

Continue reading
978-3-540-78921-5
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, ...

Continue reading
978-3-540-36856-4
Conception optimale de structures = Optimal structural design

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

Continue reading
978-3-540-73681-3
Conceptual Structures: Knowledge Architectures for Smart Applications

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

Continue reading
978-3-540-73681-3
Conceptual Structures: Knowledge Architectures for Smart Applications

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

Continue reading
978-3-540-32939-8
Concurrent Zero-Knowledge

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

Continue reading
978-1-84628-063-4
Constrained Control and Estimation

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

Continue reading
978-3-540-92243-8
Constraint Handling Rules : Current Research Topics

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

Continue reading
978-1-84628-079-5
Constructing Correct Software

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

Continue reading
NoIMG
Constructing Correct Software

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

Continue reading
NoIMG
Constructing Correct Software

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

Continue reading
978-1-84628-079-5
Constructing Correct Software

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

Continue reading
978-1-84628-079-5
Constructing Correct Software

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

Continue reading
978-3-540-26686-0
Container Terminals and Automated Transport Systems

Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals ...

Continue reading
Total Books: 561 - 580 /1828