| Real-Time Systems: Formal Specification and Automatic Verification |
- isbn : 978-0-511619-95-3
- pisbn : 978-0-521883-33-7
|
Fulltext
|
| Reasoning in Biological Discoveries: Essays on Mechanisms, Interfield Relations, and Anomaly Resolution |
- isbn : 978-0-511498-44-2
- pisbn : 978-0-521858-87-8
|
Fulltext
|
| Rebels within the Ranks: Psychologists' Critique of Scientific Authority and Democratic Realities in New Deal America |
- isbn : 978-0-511572-97-5
- pisbn : 978-0-521583-58-9
|
Fulltext
|
| Rebuilding Asia Following Natural Disasters: Approaches to Reconstruction in the Asia-Pacific Region |
- isbn : 978-1-139683-54-8
- pisbn : 978-1-107073-57-9
|
Fulltext
|
| Recent Advances in Algebraic Geometry: A Volume in Honor of Rob Lazarsfeld's 60th Birthday |
- isbn : 978-1-107416-00-0
- pisbn : 978-1-107647-55-8
|
Fulltext
|
| Recent Advances in Anaesthesia and Intensive Care |
|
Fulltext
|
| Recent Advances in Hodge Theory: Period Domains, Algebraic Cycles, and Arithmetic |
- isbn : 978-1-316387-88-7
- pisbn : 978-1-107546-29-5
|
Fulltext
|
| Recent Perspectives in Random Matrix Theory and Number Theory |
- isbn : 978-0-511550-49-2
- pisbn : 978-0-521620-58-1
|
Fulltext
|
| Recent Progress in the Study of Variation, Heredity, and Evolution |
- isbn : 978-1-139582-99-5
- pisbn : 978-1-108059-62-6
|
Fulltext
|
| Recent Progress in the Theory of the Euler and Navier-Stokes Equations |
- isbn : 978-1-316407-10-3
- pisbn : 978-1-107554-97-9
|
Fulltext
|