Progress in Computer Science and Applied Logic

Schultz / Spivak

Temporal Type Theory

Temporal Type Theory

Temporal Type Theory

A Topos-Theoretic Approach to Systems and Behavior

A Topos-Theoretic Approach to Systems and Behavior

1st ed. 2019 2019 Buch Birkhäuser ISBN 978-3-030-00703-4

1st ed. 2019

Kahle / Strahm / Studer

Advances in Proof Theory

Advances in Proof Theory

Advances in Proof Theory

Softcover reprint of the original 1st ed. 2016 2018 Buch Birkhäuser ISBN 978-3-319-80513-9

Softcover reprint of the original 1st ed. 2016

Agrawal / Arvind

Perspectives in Computational Complexity

Perspectives in Computational Complexity

Perspectives in Computational Complexity

The Somenath Biswas Anniversary Volume

The Somenath Biswas Anniversary Volume

Softcover reprint of the original 1st ed. 2014 2016 Buch Birkhäuser ISBN 978-3-319-35058-5

Softcover reprint of the original 1st ed. 2014

Kahle / Strahm / Studer

Advances in Proof Theory

Advances in Proof Theory

Advances in Proof Theory

1st ed. 2016 2016 Buch Birkhäuser ISBN 978-3-319-29196-3

1st ed. 2016

Shparlinski

Number Theoretic Methods in Cryptography

Number Theoretic Methods in Cryptography

Number Theoretic Methods in Cryptography

Complexity lower bounds

Complexity lower bounds

1999 Buch Birkhäuser ISBN 978-3-7643-5888-4

Lam / Shparlinski / Wang / Xing

Cryptography and Computational Number Theory

Cryptography and Computational Number Theory

Cryptography and Computational Number Theory

2001 Buch Springer Birkhäuser ISBN 978-3-7643-6510-3

Feng / Niederreiter / Xing

Coding, Cryptography and Combinatorics

Coding, Cryptography and Combinatorics

Coding, Cryptography and Combinatorics

2004 Buch Birkhäuser ISBN 978-3-7643-2429-2

Shparlinski

Cryptographic Applications of Analytic Number Theory

Cryptographic Applications of Analytic Number Theory

Cryptographic Applications of Analytic Number Theory

Complexity Lower Bounds and Pseudorandomness

Complexity Lower Bounds and Pseudorandomness

2002 Buch Birkhäuser ISBN 978-3-7643-6654-4

Lam / Shparlinski / Wang / Xing

Cryptography and Computational Number Theory

Cryptography and Computational Number Theory

Cryptography and Computational Number Theory

2012 Buch Birkhäuser ISBN 978-3-0348-9507-1

Shparlinski

Number Theoretic Methods in Cryptography

Number Theoretic Methods in Cryptography

Number Theoretic Methods in Cryptography

Complexity lower bounds

Complexity lower bounds

2012 Buch Birkhäuser ISBN 978-3-0348-9723-5

Shparlinski

Cryptographic Applications of Analytic Number Theory

Cryptographic Applications of Analytic Number Theory

Cryptographic Applications of Analytic Number Theory

Complexity Lower Bounds and Pseudorandomness

Complexity Lower Bounds and Pseudorandomness

2013 Buch Birkhäuser ISBN 978-3-0348-9415-9

Feng / Niederreiter / Xing

Coding, Cryptography and Combinatorics

Coding, Cryptography and Combinatorics

Coding, Cryptography and Combinatorics

2012 Buch Birkhäuser ISBN 978-3-0348-9602-3

Bronstein / Grabmeier / Weispfenning

Symbolic Rewriting Techniques

Symbolic Rewriting Techniques

Symbolic Rewriting Techniques

2012 Buch Birkhäuser ISBN 978-3-0348-9779-2

Li

Mathematical Logic

Mathematical Logic

Mathematical Logic

Foundations for Information Science

Foundations for Information Science

2014 Buch Birkhäuser ISBN 978-3-0348-0861-3

Agrawal / Arvind

Perspectives in Computational Complexity

Perspectives in Computational Complexity

Perspectives in Computational Complexity

The Somenath Biswas Anniversary Volume

The Somenath Biswas Anniversary Volume

2014 Buch Birkhäuser ISBN 978-3-319-05445-2

Buss / Scott

Feasible Mathematics

Feasible Mathematics

Feasible Mathematics

A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

1990 Buch Birkhäuser ISBN 978-0-8176-3483-4

Disney / Ott

Applied Probability- Computer Science: The Interface

Applied Probability- Computer Science: The Interface

Applied Probability- Computer Science: The Interface

1982 Buch Birkhäuser ISBN 978-0-8176-3093-5

Levine / Martin

Bounded Queries in Recursion Theory

Bounded Queries in Recursion Theory

Bounded Queries in Recursion Theory

1998 Buch Birkhäuser ISBN 978-0-8176-3966-2

Disney / Ott

Applied Probability-Computer Science: The Interface Volume 1

Applied Probability-Computer Science: The Interface Volume 1

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

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

1983 Buch Birkhäuser ISBN 978-0-8176-3116-1

Polya / Tarjan / Woods

Notes on Introductory Combinatorics

Notes on Introductory Combinatorics

Notes on Introductory Combinatorics

1st ed. 1983. Softcover reprint 1990 Buch Birkhäuser ISBN 978-0-8176-3170-3

1st ed. 1983. Softcover reprint