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 Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 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 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519090.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Author 
Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518655.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17701-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for CryptoSchool
CryptoSchool
Author 
von zur Gathen, Joachim. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518657.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48425-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
Author 
Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518984.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16277-5
Format: 
Availability 
Online Library~1
Available:
Copies: