Series: Progress in Computer Science and Applied Logic
Filter
-
Creators
- Ralph L. Disney 2
- Teunis J. Ott 2
- DEVROYE 1
- David I. Spivak 1
- Donald R. Woods 1
- George Polya 1
- Horst Bunke 1
- Jeffrey B. Remmel 1
- M.D. Donner 1
- Manindra Agrawal 1
- Miro Kraetzl 1
- P.J. Scott 1
- Patrick Schultz 1
- Peter Clote 1
- Peter J. Dickinson 1
- RAATZ 1
- Reinhard Kahle 1
- Robert E. Tarjan 1
- S.R. Buss 1
- Thomas Strahm 1
- Thomas Studer 1
- Vikraman Arvind 1
- Walter D. Wallis 1
-
Subjects
-
Publisher
-
Format
Applied Probability-Computer...
Progress in Computer Science and Applied Logic (Series)
Book 2
Ralph L. Disney Author
Teunis J. Ott Author
(2013)
Real-Time Control of Walking
Progress in Computer Science and Applied Logic (Series)
Book 7
M.D. Donner Author
(2013)
Perspectives in Computational...
Progress in Computer Science and Applied Logic (Series)
Book 26
Manindra Agrawal Editor
Vikraman Arvind Editor
(2014)
Temporal Type Theory
Progress in Computer Science and Applied Logic (Series)
Book 29
Patrick Schultz Author
David I. Spivak Author
(2019)
Applied Probability— Computer...
Progress in Computer Science and Applied Logic (Series)
Book 3
Ralph L. Disney Author
Teunis J. Ott Author
(2013)
Feasible Mathematics
Progress in Computer Science and Applied Logic (Series)
Book 9
S.R. Buss Author
P.J. Scott Author
(2013)
A Graph-Theoretic Approach to...
Progress in Computer Science and Applied Logic (Series)
Book 24
Horst Bunke Author
Peter J. Dickinson Author
(2007)
Advances in Proof Theory
Progress in Computer Science and Applied Logic (Series)
Book 28
Reinhard Kahle Editor
Thomas Strahm Editor
(2016)
Notes on Introductory...
Progress in Computer Science and Applied Logic (Series)
Book 4
George Polya Author
Robert E. Tarjan Author
(2013)
Lecture Notes on Bucket...
Progress in Computer Science and Applied Logic (Series)
Book 6
DEVROYE Author
(2013)
Graph-Based Proof Procedures...
Progress in Computer Science and Applied Logic (Series)
Book 10
RAATZ Author
(2013)
