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.
[see attached for complete text] Over the last decade quantum computing has become a rapidly growing field with relevance to topics from physics, math...Savoir plus
In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig- i...Savoir plus
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can als...Savoir plus
The field of computational learning theory arose out of the desire to for- mally understand the process of learning. As potential applications to arti...Savoir plus
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in hon...Savoir plus
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. Recursive model theory is the subject of papers...Savoir plus
One of the major concerns of theoretical computer science is the classifi- cation of problems in terms of how hard they are. The natural measure of di...Savoir plus
On the Convexification of Optimal Control Problems of Flight Dynamics.- Restricted Optimal Transportation Flows.- Relaxation Gaps in Optimal Control P...Savoir plus
The book introduces new techniques that imply rigorous lower bounds on the com- plexity of some number-theoretic and cryptographic problems. It also e...Savoir plus
These two volumes are the Proceedings of the first special interest meeting instigated and organized by the joint Technical Section and College in App...Savoir plus
This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion ...Savoir plus
A spline is a thin flexible strip composed of a material such as bamboo or steel that can be bent to pass through or near given points in the plane, o...Savoir plus
This book contains a selection of papers submitted to the Workshop on Coding, Cryptography and Combinatorics (CCC 2003). An important feature of the b...Savoir plus
The origins of this monograph lie in my Ph.D. dissertation of 1987 at the University of Pennsylvania, which was concerned with proof procedures for th...Savoir plus
This book contains a selection of papers submitted to the Workshop on Coding, Cryptography and Combinatorics (CCC 2003). An important feature of the b...Savoir plus
The field of computational learning theory arose out of the desire to for mally understand the process of learning. Scholars in both fields came toget...Savoir plus
Hashing algorithms scramble data and create pseudo-uniform data distribu- tions. Bucket algorithms operate on raw untransformed data which are parti- ...Savoir plus
Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure o...Savoir plus
I wonder whether Karel Capek imagined in 1923 that by his use of the Czech word for forced labor, rohota, to name the android creations of Mr. Rossum ...Savoir plus
These two volumes are the Proceedings of the first special interest meeting instigated and organized by the joint Technical Section and College in App...Savoir plus
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. D...Savoir plus
This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise networks. Network dynam...Savoir plus
[see attached for complete text] Over the last decade quantum computing has become a rapidly growing field with relevance to topics from physics, math...Savoir plus
In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig- i...Savoir plus