Limit Search Results
Author
SpringerLink (Online service)
(60)
Gavrilova, Marina L. editor.
(4)
Albada, Geert Dick. editor.
(3)
Bubak, Marian. editor.
(3)
Dongarra, Jack. editor.
(3)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
62 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Author 
Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68746-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69839-5
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Unfoldings A Partial-Order Approach to Model Checking
Unfoldings A Partial-Order Approach to Model Checking
Author 
Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77426-6
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
Author 
Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77566-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
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:
54. 
Cover image for Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Author 
Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85762-4
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Transactions on Computational Science II
Transactions on Computational Science II
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Wang, Yingxu. editor. Yao, Yiyu. editor. Wang, Guoyin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87563-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
Author 
Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89765-1
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:
58. 
Cover image for An Introduction to Kolmogorov Complexity and Its Applications
An Introduction to Kolmogorov Complexity and Its Applications
Author 
Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49820-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Hypercomputation Computing Beyond the Church-Turing Barrier
Hypercomputation Computing Beyond the Church-Turing Barrier
Author 
Syropoulos, Apostolos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49970-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for New Computational Paradigms Changing Conceptions of What is Computable
New Computational Paradigms Changing Conceptions of What is Computable
Author 
Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68546-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action