Limit Search Results
Author
SpringerLink (Online service)
(96)
Barthe, Gilles. editor.
(2)
Boer, Frank S. editor.
(2)
Bowen, Jonathan P. editor.
(2)
Degano, Pierpaolo. editor.
(2)
Language
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
96 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Programming Languages An Active Learning Approach
Programming Languages An Active Learning Approach
Author 
Lee, Kent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-79421-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Practical Problems in VLSI Physical Design Automation
Practical Problems in VLSI Physical Design Automation
Author 
Lim, Sung Kyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6627-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
Author 
Miculan, Marino. editor. Scagnetto, Ivan. editor. Honsell, Furio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68103-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Author 
Cuellar, Jorge. editor. Maibaum, Tom. editor. Sere, Kaisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68237-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Temporal Logic and State Systems
Temporal Logic and State Systems
Author 
Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68635-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
Author 
Meier, René. editor. Terzis, Sotirios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68642-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Author 
Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Author 
Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68855-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Author 
Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68863-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Author 
Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
Author 
Kounev, Samuel. editor. Gorton, Ian. editor. Sachs, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69814-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action