Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Progress in Computer Science and Applied Logic"
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
28
Search:
'"Progress in Computer Science and Applied Logic"'
,
query time: 1.20s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
A Proof Theory for General Unification
by
Snyder, W.
Published 1991
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
2
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior
by
Schultz, Patrick
,
Spivak, David I.
Published 2019
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
3
Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume
Published 2014
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
4
Mathematical Logic : Foundations for Information Science
by
Li, Wei
Published 2014
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
5
A Graph-Theoretic Approach to Enterprise Network Dynamics
by
Bunke, Horst
,
Dickinson, Peter J.
,
Kraetzl, Miro
,
Wallis, Walter D.
Published 2007
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
6
Notes on Introductory Combinatorics
by
Pólya, George
,
Tarjan, Robert E.
,
Woods, Donald R.
Published 2010
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
7
Advances in Proof Theory
Published 2016
Springer International Publishing
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
8
Mathematical Logic : Foundations for Information Science
by
Li, Wei
Published 2010
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
9
Lecture Notes on Bucket Algorithms
by
DEVROYE.
Published 1986
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
10
Cryptography and Computational Number Theory
Published 2001
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
11
Graph-Based Proof Procedures for Horn Clauses
by
RAATZ.
Published 1990
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
12
Coding, Cryptography and Combinatorics
Published 2004
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
13
Cryptographic Applications of Analytic Number Theory : Complexity Lower Bounds and Pseudorandomness
by
Shparlinski, Igor
Published 2003
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
14
Number Theoretic Methods in Cryptography : Complexity lower bounds
by
Shparlinski, Igor
Published 1999
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
15
Symbolic Rewriting Techniques
Published 1998
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
16
The Evolution of Programs
by
DERSHOWITZ.
Published 1983
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
17
Applied Probability-Computer Science: The Interface Volume 1
by
Disney, Ralph L.
,
Ott, Teunis J.
Published 1982
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
18
Applied Probability— Computer Science: The Interface
by
Disney, Ralph L.
,
Ott, Teunis J.
Published 1982
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
19
Automata Theory and its Applications
by
Khoussainov, Bakhadyr
,
Nerode, Anil
Published 2001
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
Read Now
20
Bounded Queries in Recursion Theory
by
Levine, William
,
Martin, Georgia
Published 1999
Birkhäuser
“
...
Progress
in
Computer
Science
and
Applied
Logic
...
”
1
2
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
12
001 - Knowledge
6
300 - Social sciences
6
005 - Computer programming, programs & data
3
511 - General principles of mathematics
3
512 - Algebra
3
more ...
003 - Systems
1
621 - Applied physics
1
see all ...
less ...
Language
English
28
Collection
Springer Book Archives -2004
21
Springer eBooks 2005-
7
Author
Shparlinski, Igor
3
Disney, Ralph L.
2
Li, Wei
2
Ott, Teunis J.
2
Remmel, Jeffrey B.
2
Tarjan, Robert E.
2
more ...
Woods, Donald R.
2
Xing, Chaoping
2
Agrawal, Manindra
1
Arvind, Vikraman
1
Bronstein, Manuel
1
Bunke, Horst
1
Buss, S.R.
1
Clote, Peter
1
Crossley, John N.
1
DERSHOWITZ
1
DEVROYE
1
Dickinson, Peter J.
1
Donner, M.D.
1
Feng, Keqin
1
Grabmeier, Johannes
1
Kahle, Reinhard
1
Khoussainov, Bakhadyr
1
Knott, Gary D.
1
Kraetzl, Miro
1
Kueker, David
1
Lam, Kwok Y.
1
Levine, William
1
Martin, Georgia
1
Nerode, Anil
1
Niederreiter, Harald
1
Pittenger, Arthur O.
1
Polya, George
1
Pólya, George
1
RAATZ
1
Schultz, Patrick
1
Scott, P.J.
1
Shore, Richard
1
Smith, Carl
1
Snyder, W.
1
Spivak, David I.
1
Strahm, Thomas
1
Studer, Thomas
1
Sweedler, Moss E.
1
Wallis, Walter D.
1
Wang, Huaxiong
1
Weispfenning, Volker
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22Progress+in+Computer+Science+and+Applied+Logic%22&type=Series
Send by Email
×
Loading...