Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Progress in Theoretical Computer Science"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Showing
1
-
20
of
20
Search:
'"Progress in Theoretical Computer Science"'
,
query time: 3.14s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Algol-like Languages
by
O'Hearn, Peter
,
Tennent, Robert
Published 1997
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
2
Object-Oriented Programming A Unified Foundation
by
Castagna, Giuseppe
Published 1997
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
3
Solving Higher-Order Equations : From Logic to Programming
by
Prehofer, Christian
Published 1998
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
4
The Combinatory Programme
by
Engeler, Erwin
Published 1995
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
5
Complexity Theory of Real Functions
by
Ko, K.
Published 1991
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
6
Algol-like Languages
by
O'Hearn, Peter
,
Tennent, Robert
Published 1997
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
7
Isomorphisms of Types : from ?-calculus to information retrieval and language design
by
DiCosmo, Roberto
Published 1995
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
8
Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion
by
Breughel, Franck van
Published 1998
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
9
Nondeterminism in Algebraic Specifications and Algebraic Programs
by
Hussmann
Published 1993
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
10
Canonical Equational Proofs
by
Bachmair
Published 1991
Birkhäuser Boston
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
11
Verifying Temporal Properties of Systems
by
Bradfield, J.C.
Published 1992
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
12
The Graph Isomorphism Problem : Its Structural Complexity
by
Kobler, J.
,
Schöning, U.
,
Toran, J.
Published 1993
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
13
Subrecursive Programming Systems : Complexity & Succinctness
by
Royer, James S.
,
Case, John
Published 1994
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
14
Polynomial and Matrix Computations : Fundamental Algorithms
by
Bini, Dario
,
Pan, Victor Y.
Published 1994
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
15
Algorithms for Random Generation and Counting: A Markov Chain Approach
by
Sinclair, A.
Published 1993
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
16
Neural Networks and Analog Computation : Beyond the Turing Limit
by
Siegelmann, Hava T.
Published 1999
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
17
Finite Automata, Formal Logic, and Circuit Complexity
by
Straubing, Howard
Published 1994
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
18
Categorical Combinators, Sequential Algorithms, and Functional Programming
by
Curien, P.-L.
Published 1993
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
19
Semantics of Type Theory : Correctness, Completeness and Independence Results
by
Streicher, T.
Published 1991
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Read Now
20
Logic of Domains
by
Zhang, G.
Published 1991
Birkhäuser
“
...
Progress
in
Theoretical
Computer
Science
...
”
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
12
003 - Systems
2
005 - Computer programming, programs & data
2
510 - Mathematics
2
006 - Special computer methods
1
512 - Algebra
1
Language
English
20
Collection
Springer Book Archives -2004
20
Author
O'Hearn, Peter
2
Tennent, Robert
2
Bachmair
1
Bini, Dario
1
Bradfield, J.C.
1
Breughel, Franck van
1
more ...
Case, John
1
Castagna, Giuseppe
1
Curien, P.-L.
1
DiCosmo, Roberto
1
Engeler, Erwin
1
Hussmann
1
Ko, K.
1
Kobler, J.
1
Pan, Victor Y.
1
Prehofer, Christian
1
Royer, James S.
1
Schöning, U.
1
Siegelmann, Hava T.
1
Sinclair, A.
1
Straubing, Howard
1
Streicher, T.
1
Toran, J.
1
Zhang, G.
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22Progress+in+Theoretical+Computer+Science%22&type=Series
Send by Email
×
Loading...