Clear Search

Books+ Search Results

Series: "Progress in computer science and applied logic ;"

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (19)
1.
A Proof Theory for General Unification
Author
Snyder, Wayne
Published
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 1991.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4612-0435-0
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Automata Theory and its Applications
Author
Khoussainov, Bakhadyr
Published
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 2001.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4612-0171-7
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Interpolating Cubic Splines
Author
Knott, Gary D.
Published
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 2000.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4612-1320-8
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Bounded Queries in Recursion Theory
Author
Gasarch, William I.
Published
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 1999.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4612-0635-4
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Learning and Geometry: Computational Approaches
Author
Kueker, David W.
Published
Boston, MA : Birkhäuser Boston, 1996.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4612-4088-4
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday
Author
Crossley, John N.
Published
Boston, MA : Birkhäuser Boston, 1993.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4612-0325-4
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Coding, Cryptography and Combinatorics
Author
Feng, Keqin
Published
Basel : Birkhäuser Basel, 2004.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-0348-7865-4
Location
Yale Internet Resource >> None
Format
Books / Online
8.
An Introduction to Quantum Computing Algorithms
Author
Pittenger, Arthur O., 1936-
Published
Boston, MA : Birkhäuser Boston, 2000.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4612-1390-1
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Mathematical logic : foundations for information science
Author
Li, Wei, 1943 June-
Published
Basel ; Boston : Birkhäuser, c2010.
Online
Table of contents
Location
Library Shelving Facility (LSF) >> QA9 .L475 2010 (LC)
Format
Books
10.
Logic for Computer Scientists
Author
Schöning, Uwe
Published
Boston, MA : Birkhäuser Boston, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
11.
Advances in Proof Theory
Published
Cham : Springer International Publishing : Imprint: Birkhäuser, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Author
Schultz, Patrick
Published
Cham : Springer International Publishing : Imprint: Birkhäuser, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume
Published
Cham : Springer International Publishing : Imprint: Birkhäuser, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
14.
Mathematical Logic Foundations for Information Science
Author
Li, Wei
Published
Basel : Springer Basel : Imprint: Birkhäuser, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Notes on Introductory Combinatorics
Author
Pólya, George
Published
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
A Graph-Theoretic Approach to Enterprise Network Dynamics
Author
Bunke, Horst, 1949-
Published
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
17.
Number Theoretic Methods in Cryptography Complexity lower bounds
Author
Shparlinski, Igor
Published
Basel : Birkhäuser Basel : Imprint: Birkhäuser, 1999.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Cryptographic Applications of Analytic Number Theory Complexity Lower Bounds and Pseudorandomness
Published
Basel : Birkhäuser Basel : Imprint: Birkhäuser, 2003.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Cryptography and Computational Number Theory
Published
Basel : Birkhäuser Basel : Imprint: Birkhäuser, 2001.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Automata theory and its applications
Author
Khoussainov, Bakhadyr, 1961-
Published
Boston : Birkhäuser, c2001.
Location
Library Shelving Facility (LSF) >> QA267 K46 2001 (LC)
Format
Books
21.
Interpolating cubic splines
Author
Knott, Gary D.
Published
Boston : Birkhauser, 2000.
Location
Library Shelving Facility (LSF) >> QA224 K66 2000 (LC)
Format
Books
22.
An introduction to quantum computing algorithms
Author
Pittenger, Arthur O., 1936-
Published
Boston : Birkhäuser, c2000.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
23.
An introduction to quantum computing algorithms
Author
Pittenger, Arthur O., 1936-
Published
Boston : Birkhäuser, c2000.
Location
SML, Stacks, LC Classification >> QA76.889 P58 2000 (LC)
Format
Books
24.
Number theoretic methods in cryptography : complexity lower bounds
Author
Shparlinski, Igor E.
Published
Basel ; Boston : Birkhäuser, c1999.
Location
Library Shelving Facility (LSF) >> QA267.7 S57X 1999 (LC)
Format
Books
25.
Cryptography and computational number theory : [workshop in Singapore, 1999]
Published
Basel ; Boston : Birkhäuser Verlag, c2001.
Location
Library Shelving Facility (LSF) >> Conf Singapore 1999
Format
Books