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)
Graph-Based Proof Procedures...
Progress in Computer Science and Applied Logic (Series)
Book 10
RAATZ 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)
Applied Probability— Computer...
Progress in Computer Science and Applied Logic (Series)
Book 3
Ralph L. Disney Author
Teunis J. Ott Author
(2013)
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)
Real-Time Control of Walking
Progress in Computer Science and Applied Logic (Series)
Book 7
M.D. Donner Author
(2013)
Feasible Mathematics II
Progress in Computer Science and Applied Logic (Series)
Book 13
Peter Clote Editor
Jeffrey B. Remmel Editor
(2013)
Temporal Type Theory
Progress in Computer Science and Applied Logic (Series)
Book 29
Patrick Schultz Author
David I. Spivak Author
(2019)
Feasible Mathematics
Progress in Computer Science and Applied Logic (Series)
Book 9
S.R. Buss Author
P.J. Scott Author
(2013)
Perspectives in Computational...
Progress in Computer Science and Applied Logic (Series)
Book 26
Manindra Agrawal Editor
Vikraman Arvind Editor
(2014)
