Welcome to our book review site www.go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

New Trends in Constraints
  • Language: en
  • Pages: 348

New Trends in Constraints

  • Type: Book
  • -
  • Published: 2003-05-15
  • -
  • Publisher: Springer

This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.

Principles and Practice of Constraint Programming
  • Language: en
  • Pages: 924

Principles and Practice of Constraint Programming

  • Type: Book
  • -
  • Published: 2005
  • -
  • Publisher: Unknown

None

Computer Algebra Recipes for Classical Mechanics
  • Language: en
  • Pages: 638

Computer Algebra Recipes for Classical Mechanics

This is a standalone, but the recipes are correlated with topics found in standard texts, and make use of MAPLE (Release 7). As a reference text, or self-study guide this book is useful for science professionals and engineers.; Good for the classroom correlates with topics found in standard classical mechanics texts.; This book makes use of the powerful computer algebra system MAPLE (Release 7) but no prior knowledge of MAPLE is presumed.; The relevant command structures are explained on a need-to-know basis as the recipes are developed, thus making this a standalone text.

Multiparadigm Programming in Mozart/Oz
  • Language: en
  • Pages: 342

Multiparadigm Programming in Mozart/Oz

This book constitutes the thoroughly refereed extended postproceedings of the Second International Mozart/OZ Conference, MOZ 2004, held in Charleroi, Belgium in October 2004. Besides the 23 papers taken from the workshop, 2 invited papers were especially written for presentation in this book. The papers are organized in topical sections on language-based computer security, computer science education, software engineering, human-computer interfaces and the Web, distributed programming, grammars and natural language, constraint programming, and constraint applications.

Logic-based Program Synthesis and Transformation /
  • Language: en
  • Pages: 260

Logic-based Program Synthesis and Transformation /

  • Type: Book
  • -
  • Published: 2003
  • -
  • Publisher: Unknown

None

Principles and Practice of Declarative Programming
  • Language: en
  • Pages: 292

Principles and Practice of Declarative Programming

  • Type: Book
  • -
  • Published: 2006
  • -
  • Publisher: Unknown

None

KI ...
  • Language: en
  • Pages: 498

KI ...

  • Type: Book
  • -
  • Published: 2004
  • -
  • Publisher: Unknown

None

Tenth International Workshop on Database and Expert Systems Applications
  • Language: en
  • Pages: 964

Tenth International Workshop on Database and Expert Systems Applications

Proceedings of the September 1999 workshop on defining requirements for future systems in the areas of database and artificial technologies. The 151 contributions discuss innovative applications and new architectures; mobility in databases and distributed systems; similarity search; web-based inform"

Computational Intelligence, I
  • Language: en
  • Pages: 304

Computational Intelligence, I

None

Proceedings of the ... International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
  • Language: en
  • Pages: 328