- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
Séries : livres de la série Progress in Computer Science and Applied Logic
-
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 €125,95 € -
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
108,45 €108,45 € -
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
53,45 €53,45 € -
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
54,45 €54,45 € -
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
129,95 €129,95 € -
Coding, Cryptography and Combinatorics
- Livre broché | Anglais | Progress in Computer Science and Applied Logic | n° 23
- It has long been recognized that there are fascinating connections between cod ing theory, cryptology, and combinatorics. Therefore it seemed desirabl... Savoir plus
108,45 €108,45 € -
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 €83,95 € -
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
119,45 €119,45 € -
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 €122,45 € -
Logical Methods
- Livre broché | Progress in Computer Science and Applied Logic
- 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
181,95 €181,95 € -
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
54,45 €54,45 € -
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 es... Savoir plus
108,45 €108,45 € -
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 €88,45 € -
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 €167,95 € -
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
54,45 €54,45 € -
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 €83,95 € -
Coding, Cryptography and Combinatorics
- Livre relié | Anglais | Progress in Computer Science and Applied Logic | n° 23
- It has long been recognized that there are fascinating connections between cod ing theory, cryptology, and combinatorics. Therefore it seemed desirabl... Savoir plus
106,95 €106,95 € -
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 €157,95 € -
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 €157,95 € -
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 €83,95 € -
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 €111,45 € -
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 €100,95 € -
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 €223,95 € -
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 €122,45 €