Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 41 - 50 of about 50 related to Handbook of Constraint Programming.    

Symbolic and Quantitative Approaches to Reasoning with Uncertainty ..., Volume 6

Salem Benferhat, Philippe Besnard - Business & Economics - 2001 - 818 pages
This book constitutes the refereed proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, held in ...
Limited preview - About this book

Programming Constraint Services: High-Level Programming of Standard and New ...

Christian Schulte - Computers - 2002 - 176 pages
Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques developed in Arti ...
Limited preview - About this book

Logic for Programming and Automated Reasoning: 7th International Conference ...

Michel Parigot, Andrei Voronkov - Computers - 2000 - 486 pages
This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held onReunionIsland,France,6 ...
Limited preview - About this book

Grammatical Inference: Algorithms and Applications: 6th ..., Volume 6

Pieter Adriaans, Henning Fernau, Menno van Zaanen - Computers - 2002 - 314 pages
Volume II/26 supplements the previous compilations II/1, II/9 and II/17 of the magnetic properties of free radicals. Due to the still rapid growth of the field and the ...
Limited preview - About this book

Theorem Proving in Higher Order Logics: 14th International ..., Volume 14

Richard J. Boulton, Paul B. Jackson - Computers - 2001 - 393 pages
This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3–6 September 2001 in Edinburgh ...
Limited preview - About this book

Compiler Construction: 12th International Conference, CC 2003 ..., Volume 12

Görel Hedin - Computers - 2003 - 334 pages
This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, Poland, in April 2003. The 20 revised ...
Limited preview - About this book

Types for Proofs and Programs: Second International Workshop ..., Volume 2002

Herman Geuvers, Freek Wiedijk - Computers - 2003 - 330 pages
These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory ...
Limited preview - About this book

Computer Science Logic: 14th International Workshop, CSL 2000 Annual ...

Peter Clote, Helmut Schwichtenberg - Computers - 2000 - 541 pages
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference ...
Limited preview - About this book

Types for Proofs and Programs: International Workshop, TYPES '98, Kloster ...

Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus - Computers - 1999 - 207 pages
Thisbookcontainsaselectionofpaperspresentedatthesecondannualworkshop heldundertheauspicesoftheEspritWorkingGroup21900Types. Theworkshop tookplaceinIrsee, Germany ...
Limited preview - About this book

Rewriting Techniques and Applications: 12th International ..., Volume 12

Aart Middeldorp - Computers - 2001 - 361 pages
Transmission electron microscopy (TEM) is now recognized as a crucial tool in materials science. This book, authored by a team of expert Chinese and international authors ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search