Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
16 Results Found Subscribe to search results
0000DEFAULT
Print
13. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Wireless and Satellite Systems 7th International Conference, WiSATS 2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers
Wireless and Satellite Systems 7th International Conference, WiSATS 2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers
Author 
Pillai, Prashant. editor. Hu, Yim Fun. editor. Otung, Ifiok. editor. Giambene, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25479-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part I
Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part I
Author 
Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22180-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Practical cryptography : algorithms and implementations using C++
Practical cryptography : algorithms and implementations using C++
Author 
Azad, Saiful, editor. Pathan, Al-Sakib Khan, editor.
Preferred Shelf Number 
QA76.9 .A25 P725 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: