Beautiful Code Leading Programmers Explain How They Think
How do the experts solve difficult problems in software development? In this unique and insightful book, leading computer scientists offer case studies that reveal how they found unusual, carefully designed solutions to high-profile projects. You will be ...
(paru le 01/06/2007, consulté 904 fois)
Programmation en logique avec contraintes
La programmation en logique avec contraintes est le
fruit de recherches menées depuis plusieurs décennies dans
les domaines de la logique, de la démonstration
automatique, de la recherche opérationnelle et de
l'intelligence artificielle. Les outils et lan...
(paru le 05/08/2002, consulté 1500 fois)
Méthodes de programmation
Tous les langages de programmation les plus usités, accompagnés d'un lexique anglais-français de 200 termes....
(paru le 01/03/1984, consulté 2438 fois)
Constraint-Based Local Search
The ubiquity of combinatorial optimization problems in our society is illustrated by the novel application areas for optimization technology, which range from supply chain management to sports tournament scheduling. Over the last two decades, constraint p...
(paru le 23/11/2005, consulté 1477 fois)
Computer Aided Design Software and Analytical Tools
This second edition of a highly successful text now updated introduces new developments like soft computing and Object Oriented Programming.
This text is divided in three parts i.e. Programming, Applications and Software Development.
Coverage on CAD...
(paru le 01/08/2005, consulté 2421 fois)
Advanced Topics in Types and Programming Languages
The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book off...
(paru le 17/03/2005, consulté 2012 fois)
Advanced computer architecture and parallel processing
An outstanding resource for mastering computer architecture and parallel processing
This text enables students and practitioners to quickly master the complexities of advanced computer architecture and parallel processing. The authors have drawn from...
(paru le 08/03/2005, consulté 1860 fois)
Aspect Oriented Software Development
The definitive aspect-oriented software development
reference: Practical solutions for the challenge of software
complexity
Today, software engineers must build systems that address an
increasingly wide range of technical, business, and performance
...
(paru le 16/11/2004, consulté 1173 fois)
SIMD programming manual for linux and windows
The book is intended as a programmer's introduction to the use of SIMD on PCs. It explains how to cast algorithms in parallel to exploit the parallel processing capability of standard PCs, thus obtaining large performance gains relative to conventional se...
(paru le 23/06/2004, consulté 1063 fois)
Essentials of Constraint Programming
The book is a short, concise and complete presentation
of constraint programming and reasoning. The use of
constraints had its scientific and commercial breakthrough
in the 1990s. Programming with constraints makes it
possible to model and solve problems ...
(paru le 10/03/2003, consulté 1530 fois)
Semirings for Soft Constraint Solving and Programming
Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple notion of constraints has shown some deficiencies concerning both theory and p...
(paru le 03/05/2004, consulté 1008 fois)
Programming Language Design Concepts
Explains the concepts underlying programming languages, and demonstrates how these concepts are synthesized in the major paradigms: imperative, OO, concurrent, functional, logic and with recent scripting languages. It gives greatest prominence to the OO ...
(paru le 20/04/2004, consulté 1053 fois)
Concepts, techniques, and models of computer programming
This innovative text presents computer programming as a
unified discipline in a way that is both practical and
scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The b...
(paru le 07/04/2004, consulté 1510 fois)
Principles of constraint programming
Constraints are everywhere: most computational problems
can be described in terms of restrictions imposed on the
set of possible solutions, and constraint programming is a
problem-solving technique that works by incorporating those
restrictions in a progr...
(paru le 22/10/2003, consulté 1021 fois)