Limit Search Results
Author
SpringerLink (Online service)
(491)
Gavrilova, Marina L. editor.
(18)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Language
Publication Date
-
Subject
Computer science.
(350)
Software engineering.
(154)
Artificial intelligence.
(126)
Computer software.
(99)
Electronic data processing.
(98)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
518 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings
Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings
Author 
Beckmann, Arnold. editor. Berger, Ulrich. editor. Löwe, Benedikt. editor. Tucker, John V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11780342
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Algorithmik Die Kunst des Rechnens
Algorithmik Die Kunst des Rechnens
Author 
Harel, David. author. Feldman, Yishai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-37437-X
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Handbook of Biomedical Image Analysis Volume I: Segmentation Models Part A
Handbook of Biomedical Image Analysis Volume I: Segmentation Models Part A
Author 
Suri, Jasjit S. editor. Wilson, David L. editor. Laxminarayan, Swamy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104805
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Handbook of Biomedical Image Analysis Volume II: Segmentation Models Part B
Handbook of Biomedical Image Analysis Volume II: Segmentation Models Part B
Author 
Suri, Jasjit S. editor. Wilson, David L. editor. Laxminarayan, Swamy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104806
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Handbook of Biomedical Image Analysis Volume III: Registration Models
Handbook of Biomedical Image Analysis Volume III: Registration Models
Author 
Suri, Jasjit S. editor. Wilson, David L. editor. Laxminarayan, Swamy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104807
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Metaheuristics: Progress as Real Problem Solvers
Metaheuristics: Progress as Real Problem Solvers
Author 
Ibaraki, Toshihide. editor. Nonobe, Koji. editor. Yagiura, Mutsunori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107306
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Genetic Programming IV Routine Human-Competitive Machine Intelligence
Genetic Programming IV Routine Human-Competitive Machine Intelligence
Author 
Koza, John R. author. Keane, Martin A. author. Streeter, Matthew J. author. Mydlowec, William. author. Yu, Jessen. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137549
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Super-Recursive Algorithms
Super-Recursive Algorithms
Author 
Burgin, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138114
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability
Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability
Author 
Hutter, Marcus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138233
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Complexity Theory and Cryptology An Introduction to Cryptocomplexity
Complexity Theory and Cryptology An Introduction to Cryptocomplexity
Author 
Rothe, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28520-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
Author 
Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136988
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Author 
Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11523468
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action