Search Results for Calculus

5 Results Found

00000DEFAULT

Pattern Calculus Computing with Functions and Structures

Author

Jay, Barry. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89185-7

Format:

Availability

Online Library~1

Available:
Copies:

Abstract Computing Machines A Lambda Calculus Perspective

Author

Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138965

Format:

Availability

Online Library~1

Available:
Copies:

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:

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:

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:

	{displayName}	{count}
{error}