Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Computational Counterpoint Worlds Mathematical Theory, Software, and Experiments
Computational Counterpoint Worlds Mathematical Theory, Software, and Experiments
Author 
Agustín-Aquino, Octavio Alberto. author. Junod, Julien. author. Mazzola, Guerino. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11236-7
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for The Impact of Pen and Touch Technology on Education
The Impact of Pen and Touch Technology on Education
Author 
Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15594-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015
Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015
Author 
Le Thi, Hoai An. editor. Nguyen, Ngoc Thanh. editor. Do, Tien Van. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17996-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering
Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering
Author 
Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06773-5
Format: 
Availability 
Online Library~1
Available:
Copies: