Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for A Modular Calculus for the Average Cost of Data Structuring
A Modular Calculus for the Average Cost of Data Structuring
Author 
Schellekens, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-73384-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Author 
George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for The Calculus of Computation Decision Procedures with Applications to Verification
The Calculus of Computation Decision Procedures with Applications to Verification
Author 
Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Structure of Solutions of Variational Problems
Structure of Solutions of Variational Problems
Author 
Zaslavski, Alexander J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332024.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6387-0
Format: 
Availability 
Online Library~1
Available:
Copies: