Limit Search Results
Author
SpringerLink (Online service)
(57)
Gavrilova, Marina L. editor.
(4)
Albada, Geert Dick. editor.
(3)
Bubak, Marian. editor.
(3)
Dongarra, Jack. editor.
(3)
Language
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
57 Results Found Subscribe to search results
000000000DEFAULT
Print
49. 
Cover image for Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Author 
Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88282-4
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
Author 
Baek, Joonsang. editor. Bao, Feng. editor. Chen, Kefei. editor. Lai, Xuejia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88733-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
Author 
Kawano, Yasuhito. editor. Mosca, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89304-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
Author 
Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79228-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
Author 
Breugel, Franck. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85361-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
Author 
Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85778-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Principles of the Spin Model Checker
Principles of the Spin Model Checker
Author 
Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Advances in Applied Self-organizing Systems
Advances in Applied Self-organizing Systems
Author 
Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-982-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for A Concise Introduction to Languages and Machines
A Concise Introduction to Languages and Machines
Author 
Parkes, Alan P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-121-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets