Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for The Correctness-by-Construction Approach to Programming
The Correctness-by-Construction Approach to Programming
Author 
Kourie, Derrick G. author. Watson, Bruce W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27919-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers
Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers
Author 
Yli-Jyrä, Anssi. editor. Kornai, András. editor. Sakarovitch, Jacques. editor. Watson, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14684-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Carbon in Earth's interior
Carbon in Earth's interior
Author 
Manning, Craig, editor. Lin, Jung-Fun, editor. Mao, Wendy (Wendy Li-wen), editor.
Preferred Shelf Number 
QE515
Electronic Access 
https://agupubs.onlinelibrary.wiley.com/doi/book/10.1002/9781119508229
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Practical hemostasis and thrombosis
Practical hemostasis and thrombosis
Author 
Key, Nigel, 1956- editor. Makris, Michael, editor. Lillicrap, David, editor.
Preferred Shelf Number 
RC647 .C55
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118344729
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets