Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Author 
Dubois, Catherine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02949-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Author 
Beckert, Bernhard. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79124-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
Author 
Gurevich, Yuri. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73770-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Vehicular ad hoc Networks Standards, Solutions, and Research
Vehicular ad hoc Networks Standards, Solutions, and Research
Author 
Campolo, Claudia. editor. Molinaro, Antonella. editor. Scopigno, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15497-8
Format: 
Availability 
Online Library~1
Available:
Copies: