Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
17 Results Found Subscribe to search results
00000DEFAULT
Print
13. 
Cover image for Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings
Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings
Author 
Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11603009
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107194
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Scalable continuous media streaming systems architecture, design, analysis and implementation
Scalable continuous media streaming systems architecture, design, analysis and implementation
Author 
Lee, Jack Y. B. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
John Wiley http://dx.doi.org/10.1002/047001539X
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for The dynamic bacterial genome
The dynamic bacterial genome
Author 
Mullany, Peter, 1959- editor.
Preferred Shelf Number 
QH434 .D98 2005
Electronic Access 
https://doi.org/10.1017/CBO9780511541544
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Exploring tort law
Exploring tort law
Author 
Madden, M. Stuart, 1948- editor.
Preferred Shelf Number 
KF1250 .A2 .E97 2005
Electronic Access 
https://doi.org/10.1017/CBO9780511610639
Format: 
Availability 
Online Library~1
Available:
Copies: