Switch to list view
Switch to thumbnail view
Select an Action
11 Results Found Subscribe to search results
00000000000DEFAULT
Print
1. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Pharmacy Practice Research Methods
Pharmacy Practice Research Methods
Author 
Babar, Zaheer-Ud-Din. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14672-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Intelligent Systems in Science and Information 2014
Intelligent Systems in Science and Information 2014
Author 
Arai, Kohei. editor. Kapoor, Supriya. editor. Bhatia, Rahul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14654-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Analytic pattern matching from DNA to Twitter
Analytic pattern matching from DNA to Twitter
Author 
Jacquet, Philippe, 1958- author. Szpankowski, Wojciech, 1952- author.
Preferred Shelf Number 
TK7882 .P3 J33 2015
Electronic Access 
https://doi.org/10.1017/CBO9780511843204
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings
Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings
Author 
Cheng, Reynold. editor. Cui, Bin. editor. Zhang, Zhenjie. editor. Cai, Ruichu. editor. Xu, Jia. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25255-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Image Analysis and Recognition 12th International Conference, ICIAR 2015, Niagara Falls, ON, Canada, July 22-24, 2015, Proceedings
Image Analysis and Recognition 12th International Conference, ICIAR 2015, Niagara Falls, ON, Canada, July 22-24, 2015, Proceedings
Author 
Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20801-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
Author 
Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17957-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings
Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings
Author 
Bampis, Evripidis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20086-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Engineering Electromagnetics
Engineering Electromagnetics
Author 
Ida, Nathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07806-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Author 
Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21042-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies: