Limit Search Results
Author
Guger, Christoph. editor.
(5)
Agarwal, Sonali. editor.
(4)
Dongarra, Jack. editor.
(4)
Ekbal, Asif. editor.
(4)
Holzinger, Andreas. editor.
(4)
Language
Publication Date
-
Subject
Engineering.
(29)
Economics.
(25)
Physics.
(16)
Computer science.
(15)
Materials.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
334 Results Found Subscribe to search results
0000000000DEFAULT
Print
325. 
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:
326. 
Cover image for Modelling and Simulation for Autonomous Systems Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers
Modelling and Simulation for Autonomous Systems Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers
Author 
Hodicky, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519009.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22383-4
Format: 
Availability 
Online Library~1
Available:
Copies:
327. 
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:
328. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519225.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47666-6
Format: 
Availability 
Online Library~1
Available:
Copies:
329. 
Cover image for Principles of Security and Trust 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Principles of Security and Trust 4th International Conference, POST 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 
Focardi, Riccardo. editor. Myers, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519227.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46666-7
Format: 
Availability 
Online Library~1
Available:
Copies:
330. 
Cover image for Handbook of Clinical Nutrition and Aging
Handbook of Clinical Nutrition and Aging
Author 
Bales, Connie Watkins. editor. Locher, Julie L. editor. Saltzman, Edward. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519456.1)
Electronic Access 
https://doi.org/10.1007/978-1-4939-1929-1
Format: 
Availability 
Online Library~1
Available:
Copies:
331. 
Cover image for Screening the Single Euploid Embryo Molecular Genetics in Reproductive Medicine
Screening the Single Euploid Embryo Molecular Genetics in Reproductive Medicine
Author 
Sills, E Scott. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519842.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16892-0
Format: 
Availability 
Online Library~1
Available:
Copies:
332. 
Cover image for Pharmacological Basis of Acute Care
Pharmacological Basis of Acute Care
Author 
Chan, Yoo Kuen. editor. Ng, Kwee Peng. editor. Sim, Debra Si Mui. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519793.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-10386-0
Format: 
Availability 
Online Library~1
Available:
Copies:
333. 
Cover image for Edge-to-Edge Mitral Repair From a Surgical to a Percutaneous Approach
Edge-to-Edge Mitral Repair From a Surgical to a Percutaneous Approach
Author 
Alfieri, Ottavio. editor. De Bonis, Michele. editor. La Canna, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519867.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19893-4
Format: 
Availability 
Online Library~1
Available:
Copies:
334. 
Cover image for Sports Injuries Prevention, Diagnosis, Treatment and Rehabilitation
Sports Injuries Prevention, Diagnosis, Treatment and Rehabilitation
Author 
Doral, Mahmut Nedim. editor. Karlsson, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519942.1)
Electronic Access 
https://doi.org/10.1007/978-3-642-36569-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action