Search Results for Calculus. - Narrowed by: Computer software.

A Modular Calculus for the Average Cost of Data Structuring

2024-11-09T09:50:55Z

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: Electronic Resources
Availability Online Library~1

The Calculus of Computation Decision Procedures with Applications to Verification

2024-11-09T09:50:55Z

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: Electronic Resources
Availability Online Library~1

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2024-11-09T09:50:55Z

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: Electronic Resources
Availability Online Library~1

Structure of Solutions of Variational Problems

2024-11-09T09:50:55Z

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: Electronic Resources
Availability Online Library~1