Limit Search Results
Author
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
XX(519299.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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 
XX(519028.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies: