Limit Search Results
Author
Gavrilova, Marina L. editor.
(4)
Albada, Geert Dick. editor.
(3)
Bubak, Marian. editor.
(3)
Dongarra, Jack. editor.
(3)
Sloot, Peter M. A. editor.
(3)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
60 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
Cover image for Media Theory Interdisciplinary Applied Mathematics
Media Theory Interdisciplinary Applied Mathematics
Author 
Eppstein, David. author. Falmagne, Jean-Claude. author. Ovchinnikov, Sergei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71697-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing
Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing
Author 
Bandyopadhyay, Subir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72875-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for The Art of Artificial Evolution A Handbook on Evolutionary Art and Music
The Art of Artificial Evolution A Handbook on Evolutionary Art and Music
Author 
Romero, Juan. editor. Machado, Penousal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72877-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Metaheuristics for Hard Optimization
Advances in Metaheuristics for Hard Optimization
Author 
Siarry, Patrick. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72960-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Multiobjective Problem Solving from Nature From Concepts to Applications
Multiobjective Problem Solving from Nature From Concepts to Applications
Author 
Knowles, Joshua. editor. Corne, David. editor. Deb, Kalyanmoy. editor. Chair, Deva Raj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72964-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Author 
Avron, Arnon. editor. Dershowitz, Nachum. editor. Rabinovich, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78127-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Optical SuperComputing First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings
Optical SuperComputing First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings
Author 
Dolev, Shlomi. editor. Haist, Tobias. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85673-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action