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
433. 
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:
434. 
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:
435. 
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:
436. 
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:
437. 
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:
438. 
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:
439. 
Cover image for Coordination of Large-Scale Multiagent Systems
Coordination of Large-Scale Multiagent Systems
Author 
Scerri, Paul. editor. Vincent, Régis. editor. Mailler, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27972-5
Format: 
Availability 
Online Library~1
Available:
Copies:
440. 
Cover image for Genetic Programming Theory and Practice III
Genetic Programming Theory and Practice III
Author 
Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28111-8
Format: 
Availability 
Online Library~1
Available:
Copies:
441. 
Cover image for Multivariate Public Key Cryptosystems
Multivariate Public Key Cryptosystems
Author 
Ding, Jintai. author. Gower, Jason E. author. Schmidt, Dieter S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36946-4
Format: 
Availability 
Online Library~1
Available:
Copies:
442. 
Cover image for Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile
Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile
Author 
Navarro, Gonzalo. editor. Bertossi, Leopoldo. editor. Kohayakawa, Yoshiharu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-34735-6
Format: 
Availability 
Online Library~1
Available:
Copies:
443. 
Cover image for Self-Organizing Natural Intelligence Issues of Knowing, Meaning, and Complexity
Self-Organizing Natural Intelligence Issues of Knowing, Meaning, and Complexity
Author 
Estep, Myrna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5299-5
Format: 
Availability 
Online Library~1
Available:
Copies:
444. 
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:
Select an Action