Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Calculation and Computation in the Pre-electronic Era The Mechanical and Electrical Ages
Calculation and Computation in the Pre-electronic Era The Mechanical and Electrical Ages
Author 
Tympas, Aristotle. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-84882-742-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Springer Handbook of Model-Based Science
Springer Handbook of Model-Based Science
Author 
Magnani, Lorenzo. editor. Bertolotti, Tommaso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30526-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Informatics in the Future Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015
Informatics in the Future Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015
Author 
Werthner, Hannes. editor. van Harmelen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55735-9
Format: 
Availability 
Online Library~1
Available:
Copies: