Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000DEFAULT
Print
13. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519090.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519237.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Persuasive Technology 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings
Persuasive Technology 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings
Author 
MacTavish, Thomas. editor. Basapur, Santosh. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519202.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20306-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Dependability in Medicine and Neurology Using Engineering and Management Principles for Better Patient Care
Dependability in Medicine and Neurology Using Engineering and Management Principles for Better Patient Care
Author 
Balakrishnan, Nikhil. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(519500.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14968-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Pharmaceutical Regulatory Environment Challenges and Opportunities in the Gulf Region
Pharmaceutical Regulatory Environment Challenges and Opportunities in the Gulf Region
Author 
Al-Essa, Reem K. author. Al-Rubaie, Mohammed. author. Walker, Stuart. author. Salek, Sam. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(519629.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17590-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Spinal Osteotomy
Spinal Osteotomy
Author 
Wang, Yan. editor. Boachie-Adjei, Oheneba. editor. Lenke, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519850.1)
Electronic Access 
https://doi.org/10.1007/978-94-017-8038-4
Format: 
Availability 
Online Library~1
Available:
Copies: