Progress in Computer Science and Applied Logic

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 Raton, Florida

Autor R.L. Disney et al.

1983

Preț: 329^.89 lei 412^.37 lei

6-8 săpt.

-20%

Applied Probability-Computer Science: The Interface Volume 1

Progress in Computer Science and Applied Logic, nr. 2

Autor Ralph L. Disney et al.

1982

Preț: 395^.43 lei

6-8 săpt.

Applied Probability— Computer Science: The Interface

Progress in Computer Science and Applied Logic, nr. 3

Autor Ralph L. Disney et al.

1982

Preț: 384^.29 lei

6-8 săpt.

Progress in Computer Science and Applied Logic, nr. 4

Autor George Polya et al.

1990

Preț: 420^.91 lei 526^.14 lei

39-44 zile

-20%

Progress in Computer Science and Applied Logic, nr. 5

Autor DERSHOWITZ

1983

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Progress in Computer Science and Applied Logic, nr. 6

Autor DEVROYE

1985

Preț: 365^.59 lei

6-8 săpt.

Progress in Computer Science and Applied Logic, nr. 7

Autor M.D. Donner

1986

Preț: 366^.69 lei

6-8 săpt.

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

Progress in Computer Science and Applied Logic, nr. 9

Autor S.R. Buss et al.

1990

Preț: 322^.28 lei 402^.84 lei

6-8 săpt.

-20%

Graph-Based Proof Procedures for Horn Clauses

Progress in Computer Science and Applied Logic, nr. 10

Autor RAATZ

dec 1990

Preț: 365^.96 lei

6-8 săpt.

Progress in Computer Science and Applied Logic, nr. 11

Autor W. Snyder

noi 1991

Preț: 321^.02 lei 401^.27 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.

26 ian 1994

Preț: 981^.66 lei 1227^.07 lei

6-8 săpt.

-20%

Progress in Computer Science and Applied Logic, nr. 13

Editat de Peter Clote et al.

16 sep 2011

Preț: 327^.69 lei 409^.62 lei

6-8 săpt.

-20%

Learning and Geometry: Computational Approaches

Progress in Computer Science and Applied Logic, nr. 14

Editat de David Kueker et al.

dec 1995

Preț: 611^.79 lei 764^.75 lei

39-44 zile

-20%

Progress in Computer Science and Applied Logic, nr. 15

Editat de Manuel Bronstein et al.

23 oct 2012

Preț: 322^.12 lei 402^.65 lei

6-8 săpt.

-20%

Progress in Computer Science and Applied Logic, nr. 16

Autor William Levine et al.

23 dec 1998

Preț: 631^.05 lei 788^.81 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

Preț: 373^.19 lei

6-8 săpt.

Progress in Computer Science and Applied Logic, nr. 18

Autor Gary Knott et al.

30 noi 1999

Preț: 565^.82 lei 665^.68 lei

6-8 săpt.

-15%

Progress in Computer Science and Applied Logic, nr. 18

Autor Gary D. Knott

15 oct 2012

Preț: 564^.54 lei 705^.68 lei

6-8 săpt.

-20%

An Introduction to Quantum Computing Algorithms

Progress in Computer Science and Applied Logic, nr. 19

Autor Arthur O. Pittenger

12 noi 1999

Preț: 456^.95 lei 571^.19 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

Preț: 378^.93 lei

6-8 săpt.

Progress in Computer Science and Applied Logic, nr. 21

Autor Bakhadyr Khoussainov et al.

8 iun 2001

Preț: 388^.56 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

Preț: 622^.30 lei 732^.12 lei

6-8 săpt.

-15%

Progress in Computer Science and Applied Logic, nr. 23

Editat de Keqin Feng et al.

21 noi 2012

Preț: 621^.99 lei 731^.76 lei

6-8 săpt.

-15%

A Graph-Theoretic Approach to Enterprise Network Dynamics

Progress in Computer Science and Applied Logic, nr. 24

Autor Horst Bunke et al.

dec 2006

Preț: 622^.34 lei 777^.91 lei

6-8 săpt.

-20%

Mathematical Logic: Foundations for Information Science

Progress in Computer Science and Applied Logic, nr. 25

Autor Wei Li

24 noi 2014

Preț: 326^.89 lei 408^.61 lei

6-8 săpt.

-20%

Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume

Progress in Computer Science and Applied Logic, nr. 26

Editat de Manindra Agrawal et al.

31 iul 2014

Preț: 672^.53 lei 791^.21 lei

6-8 săpt.

-15%

Progress in Computer Science and Applied Logic, nr. 28

Editat de Reinhard Kahle et al.

12 mai 2016

Preț: 629^.08 lei 740^.09 lei

6-8 săpt.

-15%

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

Preț: 703^.12 lei 857^.47 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.

23 mar 1998

Preț: 568^.94 lei 669^.34 lei

6-8 săpt.

-15%

Progress in Computer Science and Applied Logic

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 Raton, Florida

Applied Probability-Computer Science: The Interface Volume 1

Applied Probability— Computer Science: The Interface

Notes on Introductory Combinatorics

The Evolution of Programs

Lecture Notes on Bucket Algorithms

Real-Time Control of Walking

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

Graph-Based Proof Procedures for Horn Clauses

A Proof Theory for General Unification

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

Feasible Mathematics II

Learning and Geometry: Computational Approaches

Symbolic Rewriting Techniques

Bounded Queries in Recursion Theory

Number Theoretic Methods in Cryptography: Complexity lower bounds

Interpolating Cubic Splines

Interpolating Cubic Splines

An Introduction to Quantum Computing Algorithms

Cryptography and Computational Number Theory

Automata Theory and its Applications

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

Coding, Cryptography and Combinatorics

A Graph-Theoretic Approach to Enterprise Network Dynamics

Mathematical Logic: Foundations for Information Science

Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume

Advances in Proof Theory

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior

Variational Calculus, Optimal Control and Applications: International Conference in Honour of L. Bittner and R. Klötzler, Trassenheide, Germany, September 23-27, 1996

Papetărie, jocuri, reviste

Progress in Computer Science and Applied Logic