Limit Search Results
Author
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Mora, Antonio M. editor. Squillero, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519015.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16549-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers
Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519207.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15350-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519222.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47672-7
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: