Limit Search Results
Author
SpringerLink (Online service)
(67)
Riolo, Rick. editor.
(4)
Worzel, Bill. editor.
(4)
Soule, Terence. editor.
(3)
Artemov, Sergei. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(55)
Artificial intelligence.
(17)
Computer software.
(14)
Electronic data processing.
(13)
Software engineering.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
68 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
Cover image for Deduction, Computation, Experiment Exploring the Effectiveness of Proof
Deduction, Computation, Experiment Exploring the Effectiveness of Proof
Author 
Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-0784-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
Author 
Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69384-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Crashkurs Mathematik für Informatiker
Crashkurs Mathematik für Informatiker
Author 
Jukna, Stasys. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8351-9214-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
Author 
Ausiello, Giorgio. editor. Karhumäki, Juhani. editor. Mauri, Giancarlo. editor. Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09680-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy
Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy
Author 
Avison, David. editor. Kasper, George M. editor. Pernici, Barbara. editor. Ramos, Isabel. editor. Roode, Dewald. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy
Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy
Author 
Bramer, Max. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09695-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
Author 
Cascini, Gaetano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09697-1
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
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:
46. 
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:
47. 
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:
48. 
Cover image for Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity
Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity
Author 
Georgiou, Chryssis. author. Shvartsman, Alexander A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69045-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action