Limit Search Results
Author
SpringerLink (Online service)
(32)
Project Muse.
(6)
World Health Organization.
(5)
Wiley InterScience (Online service)
(4)
World Food Programme.
(3)
Language
Publication Date
-
Subject
Electronic books.
(17)
EDUCATION / General
(9)
Engineering.
(6)
SCIENCE.
(5)
EDUCATION / Higher
(4)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
199 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Validation fundamentals : how to, what to, when to validate
Validation fundamentals : how to, what to, when to validate
Author 
Gibson, W. (William) Powell-Evans, Keith.
Preferred Shelf Number 
RS192 .G53 1998
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/e/9781439805855
Taylor & Francis https://www.taylorfrancis.com/books/9780367802981
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Algebraic semantics of imperative programs
Algebraic semantics of imperative programs
Author 
Goguen, Joseph. Malcolm, Grant.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Climate change research evaluation anf policy implications : proceedings of the International Climate Change Research Conference, Maastricht, the Netherlands, 6-9 December 1994
Climate change research evaluation anf policy implications : proceedings of the International Climate Change Research Conference, Maastricht, the Netherlands, 6-9 December 1994
Author 
Zwerver, S. International Conference on Climate Change Research: Evaluation and Policy Implications (1994 : Maastricht, Netherlands)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444821430
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The Practice of Prolog
The Practice of Prolog
Author 
Sterling, Leon.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Actors a model of concurrent computation in distributed systems
Actors a model of concurrent computation in distributed systems
Author 
Agha, Gul A.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267205
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithmic program debugging
Algorithmic program debugging
Author 
Shapiro, Ehud Y.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Probability
Probability
Author 
Koosis, Donald J.
Preferred Shelf Number 
QA273 .K625
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119692430
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action