Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Progress in Computer Science and Applied Logic"
-
Advances in Proof Theory
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 28
- The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
A Proof Theory for General Unification
W Snyder
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 11
- In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig- i... Savoir plus
125,95 €Livraison 1 à 2 semaines125,95 €Livraison 1 à 2 semaines -
Number Theoretic Methods in Cryptography
Igor Shparlinski
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 17
- The book introduces new techniques which imply rigorous lower bounds on the complexity of some number theoretic and cryptographic problems. These meth... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Temporal Type Theory
Patrick Schultz, David I Spivak
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 29
- This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. D... Savoir plus
126,95 €Livraison sous 1 à 4 semaines126,95 €Livraison sous 1 à 4 semaines -
Number Theoretic Methods in Cryptography
Igor Shparlinski
- Livre broché | Anglais | Progress in Computer Science and Applied Logic | n° 17
- The book introduces new techniques which imply rigorous lower bounds on the complexity of some number theoretic and cryptographic problems. These meth... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Coding, Cryptography and Combinatorics
- Livre broché | Anglais | Progress in Computer Science and Applied Logic | n° 23
- 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
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Automata Theory and Its Applications
Bakhadyr Khoussainov, Anil Nerode
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 21
- Uniform treatment of the theory of finite state machines on finite and infinite strings and trees. Many books deal with automata on finite strings, bu... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
An Introduction to Quantum Computing Algorithms
Arthur O Pittenger
- Livre broché | Anglais | Progress in Computer Science and Applied Logic | n° 19
- [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
122,45 €Livraison 2 à 3 semaines122,45 €Livraison 2 à 3 semaines -
Logical Methods
- Livre broché | Anglais | Progress in Computer Science and Applied Logic | n° 12
- 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
181,95 €Livraison 1 à 2 semaines181,95 €Livraison 1 à 2 semaines -
Perspectives in Computational Complexity
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 26
- This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion ... Savoir plus
116,45 €Livraison sous 1 à 4 semaines116,45 €Livraison sous 1 à 4 semaines -
Cryptographic Applications of Analytic Number Theory
Igor Shparlinski
- Livre broché | Anglais | Progress in Computer Science and Applied Logic | n° 22
- 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
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Symbolic Rewriting Techniques
- Livre broché | Anglais | Progress in Computer Science and Applied Logic | n° 15
- Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure o... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
A Graph-Theoretic Approach to Enterprise Network Dynamics
Horst Bunke, Peter J Dickinson, Miro Kraetzl, Walter D Wallis
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 24
- This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise networks. Network dynam... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines -
Bounded Queries in Recursion Theory
William Levine, Georgia Martin
- Livre broché | Anglais | Progress in Computer Science and Applied Logic | n° 16
- 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
88,45 €Livraison 1 à 2 semaines88,45 €Livraison 1 à 2 semaines -
Mathematical Logic
Wei Li
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 25
- 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
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Coding, Cryptography and Combinatorics
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 23
- 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
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Feasible Mathematics
S R Buss, P J Scott
- Livre broché | Anglais | Progress in Computer Science and Applied Logic | n° 9
- A so-called "effective" algorithm may require arbitrarily large finite amounts of time and space resources, and hence may not be practical in the real... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Feasible Mathematics II
- Livre broché | Anglais | Progress in Computer Science and Applied Logic | n° 13
- Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Bounded Queries in Recursion Theory
William Levine, Georgia Martin
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 16
- 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
157,95 €Livraison 1 à 2 semaines157,95 €Livraison 1 à 2 semaines -
Learning and Geometry: Computational Approaches
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 14
- 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
157,95 €Livraison 1 à 2 semaines157,95 €Livraison 1 à 2 semaines -
Applied Probability-Computer Science: The Interface Volume 1
Ralph L Disney, Teunis J Ott
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 2
- 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
111,45 €Livraison 1 à 2 semaines111,45 €Livraison 1 à 2 semaines -
Feasible Mathematics II
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 13
- Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what... Savoir plus
100,95 €Livraison 1 à 2 semaines100,95 €Livraison 1 à 2 semaines -
Logical Methods
- Livre broché | Anglais | Progress in Computer Science and Applied Logic | n° 12
- 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
223,95 €Livraison 1 à 2 semaines223,95 €Livraison 1 à 2 semaines -
An Introduction to Quantum Computing Algorithms
Arthur O Pittenger
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 19
- [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
122,45 €Livraison 2 à 3 semaines122,45 €Livraison 2 à 3 semaines