Applied Probability-Computer Science: The Interface Volume 1 Progress in Computer Science and Applied Logic, nr. 2 Autor Ralph L. Disney et al. 1982 Hardback Preț: 395.25 lei 6-8 săpt.
A Proof Theory for General Unification Progress in Computer Science and Applied Logic, nr. 11 Autor W. Snyder 30 sep 2012 Paperback Preț: 314.67 lei 393.34 lei 6-8 săpt. -20%
Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday Progress in Computer Science and Applied Logic, nr. 12 Editat de John N. Crossley et al. 14 feb 2013 Paperback Preț: 1003.48 lei 1254.36 lei 38-44 zile -20%
Learning and Geometry: Computational Approaches Progress in Computer Science and Applied Logic, nr. 14 Editat de David Kueker et al. 26 sep 2011 Paperback Preț: 620.38 lei 775.47 lei 6-8 săpt. -20%
Bounded Queries in Recursion Theory Progress in Computer Science and Applied Logic, nr. 16 Autor William Levine et al. 13 iul 2013 Paperback Preț: 624.19 lei 780.23 lei 6-8 săpt. -20%
Number Theoretic Methods in Cryptography: Complexity lower bounds Progress in Computer Science and Applied Logic, nr. 17 Autor Igor Shparlinski 15 feb 1999 Hardback Preț: 373.03 lei 6-8 săpt.
An Introduction to Quantum Computing Algorithms Progress in Computer Science and Applied Logic, nr. 19 Autor Arthur O. Pittenger 16 dec 2012 Paperback Preț: 449.81 lei 562.26 lei 6-8 săpt. -20%
Cryptography and Computational Number Theory Progress in Computer Science and Applied Logic, nr. 20 Editat de Kwok Y. Lam et al. 29 oct 2012 Paperback Preț: 378.78 lei 6-8 săpt.
Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness Progress in Computer Science and Applied Logic, nr. 22 Autor Igor Shparlinski 3 oct 2013 Paperback Preț: 621.80 lei 731.52 lei 6-8 săpt. -15%
Coding, Cryptography and Combinatorics Progress in Computer Science and Applied Logic, nr. 23 Editat de Keqin Feng et al. 21 noi 2012 Paperback Preț: 621.48 lei 731.15 lei 6-8 săpt. -15%
Mathematical Logic: Foundations for Information Science Progress in Computer Science and Applied Logic, nr. 25 Autor Wei Li 24 noi 2014 Hardback Preț: 326.72 lei 408.40 lei 6-8 săpt. -20%
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior Progress in Computer Science and Applied Logic, nr. 29 Autor Patrick Schultz et al. 11 feb 2019 Hardback Preț: 701.91 lei 855.99 lei 6-8 săpt. -18%
Variational Calculus, Optimal Control and Applications: International Conference in honour of L. Bittner and R. Klötzler, Trassenheide, Germany, September 23–27, 1996 International Series of Numerical Mathematics, nr. 124 Editat de Leonhard Bittner et al. 16 oct 2012 Paperback Preț: 621.34 lei 730.99 lei 6-8 săpt. -15%
Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume Progress in Computer Science and Applied Logic, nr. 26 Editat de Manindra Agrawal et al. 23 aug 2016 Paperback Preț: 665.98 lei 783.50 lei 6-8 săpt. -15%
Advances in Proof Theory Progress in Computer Science and Applied Logic, nr. 28 Editat de Reinhard Kahle et al. 27 mai 2018 Paperback Preț: 622.42 lei 732.26 lei 6-8 săpt. -15%