Switch to list view
Switch to thumbnail view
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Author 
Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72952-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings
Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings
Author 
Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73196-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings
Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings
Author 
Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74309-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Author 
Indulska, Jadwiga. editor. Raymond, Kerry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72883-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Grid Computing Experiment Management, Tool Integration, and Scientific Workflows
Grid Computing Experiment Management, Tool Integration, and Scientific Workflows
Author 
Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69262-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures
Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures
Author 
Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74810-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings
Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings
Author 
Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74735-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets