Limit Search Results
Author
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I
Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I
Author 
Ortuño, Francisco. editor. Rojas, Ignacio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518762.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16483-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Evolvable Hardware From Practice to Application
Evolvable Hardware From Practice to Application
Author 
Trefzer, Martin A. author. Tyrrell, Andy M. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518716.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-44616-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519007.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
Author 
Maler, Oded. editor. Halász, Ádám. editor. Dang, Thao. editor. Piazza, Carla. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518877.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27656-4
Format: 
Availability 
Online Library~1
Available:
Copies: