Limit Search Results
Author
SpringerLink (Online service)
(64)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(7)
Paszynski, Maciej. editor.
(7)
Language
Publication Date
-
Subject
Artificial intelligence.
(62)
Theory of Computation.
(45)
Algorithms.
(25)
Computer networks .
(25)
Computer science -- Mathematics.
(18)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
65 Results Found Subscribe to search results
00000DEFAULT
Print
61. 
Cover image for Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
Author 
Pardalos, Panos M. editor. Rebennack, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20662-7
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
Author 
Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8785-0
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Algorithms and theory of computation handbook. Special topics and techniques
Algorithms and theory of computation handbook. Special topics and techniques
Author 
Atallah, Mikhail J. Blanton, Marina.
Preferred Shelf Number 
QA76.9 .A43 A433 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00515-2
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for New Developments in Parsing Technology
New Developments in Parsing Technology
Author 
Bunt, Harry. editor. Carroll, John. editor. Satta, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2295-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action