Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
S
Scott A. Smolka
7 books found
Books by Scott A. Smolka
Interactive computation
Scott A. Smolka
⏱ 8h 7m
Interactive computation
Scott A. Smolka
2006
487 pp.
Concur '95 - Concurrency Theory
Scott A. Smolka
⏱ 9h 7m
Concur '95 - Concurrency Theory
Scott A. Smolka
1995
547 pp.
Runtime Verification
Borzoo Bonakdarpour
⏱ 6h 7m
Runtime Verification
Borzoo Bonakdarpour
2014
367 pp.
Introduction to operating system design and implementation
Michael Kifer
⏱ 2h 52m
Introduction to operating system design and implementation
Michael Kifer
2007
172 pp.
Handbook of process algebra
J. A. Bergstra
⏱ 22h 29m
Handbook of process algebra
J. A. Bergstra
2001
1349 pp.
OSP
Michael Kifer
⏱ 1h 26m
OSP
Michael Kifer
1991
86 pp.
Interactive Computation
Dina Goldin
⏱ 8h 22m
Interactive Computation
Dina Goldin
2006
502 pp.