Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings
Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings
Author 
Huth, Michael. editor. Asokan, N. editor. Čapkun, Srdjan. editor. Flechais, Ivan. editor. Coles-Kemp, Lizzie. editor.
Preferred Shelf Number 
ONLINE(334696.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38908-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
Author 
Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68397-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Transporters and drug-metabolizing enzymes in drug toxicity
Transporters and drug-metabolizing enzymes in drug toxicity
Author 
Li, A. P., editor.
Preferred Shelf Number 
RA1238
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119171003
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Driver Acceptance of New Technology : Theory, Measurement and Optimisation
Driver Acceptance of New Technology : Theory, Measurement and Optimisation
Author 
Horberry, Tim, editor. Regan, Michael A., editor. Stevens, Alan, editor.
Preferred Shelf Number 
TL152.3 D758 2018
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/e/9781317147947
Taylor & Francis https://www.taylorfrancis.com/books/9781315578132
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Peace and conflict 2016
Peace and conflict 2016
Author 
Backer, David A. Bhavnani, Ravi. Huth, Paul K., 1959-
Preferred Shelf Number 
JZ5538 .P43 2016
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Sleep disorders : diagnosis and therapeutics
Sleep disorders : diagnosis and therapeutics
Author 
Pandi-Perumal, S. R.
Preferred Shelf Number 
RC547 .S54 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: