Limit Search Results
Author
SpringerLink (Online service)
(19)
Barringer, Howard. editor.
(1)
Barthe, Gilles. editor.
(1)
Bellahsène, Zohra. editor.
(1)
Blass, Andreas. editor.
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
19 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
Author 
Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11512-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
Author 
Fraser, Gordon. editor. Gargantini, Angelo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13977-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
Author 
Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14553-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Author 
Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15205-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Author 
Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15234-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Author 
Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15240-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
Author 
Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15297-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
Author 
Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15331-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
Author 
Kučera, Antonín. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15349-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Author 
Méry, Dominique. editor. Merz, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16265-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Author 
Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16612-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Author 
Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11319-2
Format: 
Availability 
Online Library~1
Available:
Copies: