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.
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
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 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
Compilers and operating systems constitute the basic interfaces between a programmer and the machine for which he is developing software. In this book...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
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
This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is simpler and more...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
This text attempts to change the way logic and discrete math are taught in computer science and mathematics. While many books treat logic simply as an...Savoir plus
The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early pa...Savoir plus
Modula-2 is a simple yet powerful programming language that is suitable for a wide variety of applications. It is based on Pascal, a successful progra...Savoir plus
This book will be for a first or second year undergraduate course in computer science. Assuming that a student already has had one course in programmi...Savoir plus
Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) wh...Savoir plus
Deformable objects are ubiquitous in the world, on all levels from micro to macro. Study and modeling of such shapes arises in a wide spectrum of appl...Savoir plus
This text is an introduction to programming in general, and a manual for programming with the language Modula-2 in particular. It is oriented primaril...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
Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchro...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 is written as an introduction to the theory of error-free computation. In addition, we include several chapters that illustrate how error-fr...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
This monograph, and accompanying open-source software Vesta, addresses two core problems in developing large software projects: versioning and buildin...Savoir plus
A critical collection of edited-survey research papers spanning the entire range of Roger Needham's distinguished scientific career, from operating sy...Savoir plus
This book presents a unified collection of concepts, tools, and techniques that constitute the most important technology available today for the desig...Savoir plus