Limit Search Results
Author
SpringerLink (Online service)
(526)
Dongarra, Jack. editor.
(18)
Gavrilova, Marina L. editor.
(17)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Language
Publication Date
-
Subject
Computer science.
(456)
Computer software.
(260)
Computational complexity.
(181)
Artificial intelligence.
(143)
Information theory.
(98)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
554 Results Found Subscribe to search results
000000000000DEFAULT
Print
481. 
Cover image for Reliable Distributed Systems Technologies, Web Services, and Applications
Reliable Distributed Systems Technologies, Web Services, and Applications
Author 
Birman, Kenneth P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27601-7
Format: 
Availability 
Online Library~1
Available:
Copies:
482. 
Cover image for Constraint Theory Multidimensional Mathematical Model Management
Constraint Theory Multidimensional Mathematical Model Management
Author 
Friedman, George J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27650-5
Format: 
Availability 
Online Library~1
Available:
Copies:
483. 
Cover image for Developing Statistical Software in Fortran 95
Developing Statistical Software in Fortran 95
Author 
Lemmon, David R. author. Schafer, Joseph L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28123-1
Format: 
Availability 
Online Library~1
Available:
Copies:
484. 
Cover image for Search Methodologies Introductory Tutorials in Optimization and Decision Support Techniques
Search Methodologies Introductory Tutorials in Optimization and Decision Support Techniques
Author 
Burke, Edmund K. editor. Kendall, Graham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28356-0
Format: 
Availability 
Online Library~1
Available:
Copies:
485. 
Cover image for Information Processing and Security Systems
Information Processing and Security Systems
Author 
Saeed, Khalid. editor. Pejaś, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137371
Format: 
Availability 
Online Library~1
Available:
Copies:
486. 
Cover image for Multi-Agent Programming Languages, Platforms and Applications
Multi-Agent Programming Languages, Platforms and Applications
Author 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137449
Format: 
Availability 
Online Library~1
Available:
Copies:
487. 
Cover image for High Performance Computing in Science and Engineering, Munich 2004 Transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2–3, 2004, Technical University of Munich, and Leibniz-Rechenzentrum Munich, Germany
High Performance Computing in Science and Engineering, Munich 2004 Transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2–3, 2004, Technical University of Munich, and Leibniz-Rechenzentrum Munich, Germany
Author 
Wagner, Siegfried. editor. Hanke, Werner. editor. Bode, Arndt. editor. Durst, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137893
Format: 
Availability 
Online Library~1
Available:
Copies:
488. 
Cover image for Handbook of Geometric Computing Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics
Handbook of Geometric Computing Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics
Author 
Corrochano, Eduardo Bayro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28247-5
Format: 
Availability 
Online Library~1
Available:
Copies:
489. 
Cover image for New Tools of Economic Dynamics
New Tools of Economic Dynamics
Author 
Leskow, Jacek. editor. Punzo, Lionello F. editor. Anyul, Martín Puchet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28444-3
Format: 
Availability 
Online Library~1
Available:
Copies:
490. 
Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Author 
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11527695
Format: 
Availability 
Online Library~1
Available:
Copies:
491. 
Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Author 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137280
Format: 
Availability 
Online Library~1
Available:
Copies:
492. 
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