Limit Search Results
Author
SpringerLink (Online service)
(476)
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.
(121)
Computer software.
(99)
Electronic data processing.
(98)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
501 Results Found Subscribe to search results
000000000000DEFAULT
Print
445. 
Cover image for Interactive Computation The New Paradigm
Interactive Computation The New Paradigm
Author 
Goldin, Dina. editor. Smolka, Scott A. editor. Wegner, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34874-3
Format: 
Availability 
Online Library~1
Available:
Copies:
446. 
Cover image for Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Author 
Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11780274
Format: 
Availability 
Online Library~1
Available:
Copies:
447. 
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:
448. 
Cover image for Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
Author 
Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11786986
Format: 
Availability 
Online Library~1
Available:
Copies:
449. 
Cover image for Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
Author 
Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11787006
Format: 
Availability 
Online Library~1
Available:
Copies:
450. 
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:
451. 
Cover image for Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
Author 
Zomaya, Albert Y. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27705-6
Format: 
Availability 
Online Library~1
Available:
Copies:
452. 
Cover image for SAT 2005 Satisfiability Research in the Year 2005
SAT 2005 Satisfiability Research in the Year 2005
Author 
Giunchiglia, Enrico. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5571-3
Format: 
Availability 
Online Library~1
Available:
Copies:
453. 
Cover image for Approximationsalgorithmen Eine Einführung
Approximationsalgorithmen Eine Einführung
Author 
Wanka, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8351-9067-2
Format: 
Availability 
Online Library~1
Available:
Copies:
454. 
Cover image for Quantum information processing
Quantum information processing
Author 
Beth, Thomas, 1949- Leuchs, Gerd.
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481705
Volltext http://www3.interscience.wiley.com/cgi-bin/homepage/?isbn=9783527606009
John Wiley http://dx.doi.org/10.1002/3527606009
http://swb.eblib.com/patron/FullRecord.aspx?p=481705
Format: 
Availability 
Online Library~1
Available:
Copies:
455. 
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:
456. 
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:
Select an Action