Knygos pagal Progress in Computer Science and Applied Logic

Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Applied Probability-Computer Science: The Interface Volume 1: Sponsored by Applied Probability Technical Section College of the Operations Research Society of America The Institute of Management Sciences January 5-7, 1981 Florida Atlantic University Boca

T. J. Ott, R. L. Disney

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Applied Probability-Computer Science: The Interface Volume 1

Teunis J. Ott, Ralph L. Disney

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Applied Probability¿ Computer Science: The Interface

Teunis J. Ott, Ralph L. Disney

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

An Introduction to Quantum Computing Algorithms

Arthur O. Pittenger

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Automata Theory and its Applications

Bakhadyr Khoussainov, Anil Nerode

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Bounded Queries in Recursion Theory

Georgia Martin, William Levine

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Coding, Cryptography and Combinatorics

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

A Proof Theory for General Unification

W. Snyder

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Notes on Introductory Combinatorics

Robert E. Tarjan, George Polya, Donald R. Woods

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness

Igor Shparlinski

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

The Evolution of Programs

Dershowitz

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Lecture Notes on Bucket Algorithms

Devroye

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Real-Time Control of Walking

M. D. Donner

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

P. J. Scott, S. R. Buss

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Graph-Based Proof Procedures for Horn Clauses

Raatz

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Learning and Geometry: Computational Approaches

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Feasible Mathematics II

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Interpolating Cubic Splines

Gary D. Knott

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

An Introduction to Quantum Computing Algorithms

Arthur O. Pittenger

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Automata Theory and its Applications

Bakhadyr Khoussainov, Anil Nerode

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

A Proof Theory for General Unification

W. Snyder

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Number Theoretic Methods in Cryptography: Complexity lower bounds

Igor Shparlinski

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Cryptography and Computational Number Theory

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Coding, Cryptography and Combinatorics

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Symbolic Rewriting Techniques

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness

Igor Shparlinski

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Applied Probability-Computer Science: The Interface Volume 1

Teunis J. Ott, Ralph L. Disney

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Bounded Queries in Recursion Theory

William Levine, Georgia Martin

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Logical Methods: In Honor of Anil Nerodes Sixtieth Birthday

Turime sandėlyje pas mūsų tiekėją

Į krepšelį