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
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.
With a focus on 1D and 2D problems, the first volume of Computing with hp-ADAPTIVE FINITE ELEMENTS prepared readers for the concepts and logic governi...Savoir plus
As organizations continue to develop, there is an increasing need for technological methods that can keep up with the rising amount of data and inform...Savoir plus
This volume contains the Proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE '98), held at Santa ...Savoir plus
The Digital Twin book is about harnessing the power of technology, business practices, and the digital infrastructure to make revolutionary improvemen...Savoir plus
This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2014, held in...Savoir plus
Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain...Savoir plus
T he French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most presti...Savoir plus
The present volume contains selected papers issued from the sixth edition of the International Conference "Numerical methods for hyperbolic problems" ...Savoir plus
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft...Savoir plus
This two-volume set constitutes the refereed post-conference proceedings of the 12th International Conference on Simulation Tools and Techniques, SIMU...Savoir plus
Das Buch vermittelt praxisbezogen und in kompakter Form wichtige Grundkonzepte und Standards der Datenkommunikation in heutigen Rechnernetzen. Nach ei...Savoir plus
The revised edition of this book offers an extended overview of quantum walks and explains their role in building quantum algorithms, in particular se...Savoir plus
At the core of many engineering problems is the solution of sets of equa- tions and inequalities, and the optimization of cost functions. Unfortunatel...Savoir plus
Aimed at an audience of researchers and graduate students in computational geometry and algorithm design, this book uses the Geometric Spanner Network...Savoir plus
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter ...Savoir plus
Automated theorem proving represents a significant and long-standing area of research in computer science, with numerous applications. A large proport...Savoir plus
This book offers a gentle motivation and introduction to computational thinking, in particular to algorithms and how they can be coded to solve signif...Savoir plus
Here is a presentation of LISP which is both practical and theoretical. For the practical, the syntax of the language, the programming styles, and the...Savoir plus
Thompson sampling is an algorithm for online decision problems where actions are taken sequentially in a manner that must balance between exploiting w...Savoir plus
Most people, acquainted with cryptology either through sensational cloak and dagger stories or through newspaper cryptograms, are not aware that many ...Savoir plus
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming langua...Savoir plus
This book presents the state of the art technology in Serious Games which is driven extensive by applications and research in simulation. The topics i...Savoir plus
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of log...Savoir plus
Introduction The exponential scaling of feature sizes in semiconductor technologies has side-effects on layout optimization, related to effects such a...Savoir plus