Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Nous utilisons des cookies dans le but suivant :
Assurer le bon fonctionnement du site web, améliorer la sécurité et prévenir la fraude
Avoir un aperçu de l'utilisation du site web, afin d'améliorer son contenu et ses fonctionnalités
Pouvoir vous montrer les publicités les plus pertinentes sur des plateformes externes
Gestion des cookies
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Cookies techniques et fonctionnels
Ces cookies sont indispensables au bon fonctionnement du site internet et vous permettent par exemple de vous connecter. Vous ne pouvez pas désactiver ces cookies.
Cookies analytiques
Ces cookies collectent des informations anonymes sur l'utilisation de notre site web. De cette façon, nous pouvons mieux adapter le site web aux besoins des utilisateurs.
Cookies marketing
Ces cookies partagent votre comportement sur notre site web avec des parties externes, afin que vous puissiez voir des publicités plus pertinentes de Club sur des plateformes externes.
Une erreur est survenue, veuillez réessayer plus tard.
Il y a trop d’articles dans votre panier
Vous pouvez encoder maximum 250 articles dans votre panier en une fois. Supprimez certains articles de votre panier ou divisez votre commande en plusieurs commandes.
During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code. Rever...Savoir plus
From the reviews: "This book offers a coherent treatment, at the graduate textbook level, of the field that has come to be known in the last decade or...Savoir plus
Geometric Fundamentals of Robotics provides an elegant introduction to the geometric concepts that are important to applications in robotics. This sec...Savoir plus
This book provides a superb introduction to and overview of the MIT PI System for custom VLSI placement and routing. Alan Sher- man has done an excell...Savoir plus
"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to b...Savoir plus
This book describes rules for active database systems. It details methodologies, formal specifications, rule analysis, performance analysis, support t...Savoir plus
There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a sp...Savoir plus
The creation of the text really began in 1976 with the author being involved with a group of researchers at Stanford University and the Naval Ocean Sy...Savoir plus
Even with all the interest in parallelism and parallel processing, there is still something missing. This book is about how to design parallel program...Savoir plus
Artificial intelligence and expert systems have seen a great deal of research in recent years, much of which has been devoted to methods for incorpora...Savoir plus
This book develops a theory of objects as a foundation for object- oriented languages and programming. It shows how object-oriented notions may be exp...Savoir plus
In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concep...Savoir plus
The study of formal languages and of related families of automata has long been at the core of theoretical computer science. Until recently, the main ...Savoir plus
The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specifi...Savoir plus
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to gradua...Savoir plus
During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code. Rever...Savoir plus
Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchro...Savoir plus
Super-Recursive Algorithms provides an accessible, focused examination of the theory of super-recursive algorithms and its ramifications for the compu...Savoir plus
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches t...Savoir plus
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a hi...Savoir plus
In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concep...Savoir plus
This monograph is a technical survey of concepts and techniques for describing and analyzing large-scale time-series data streams. Some topics covered...Savoir plus
Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonde...Savoir plus