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
433. 
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:
434. 
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:
435. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Author 
Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11814948
Format: 
Availability 
Online Library~1
Available:
Copies:
436. 
Cover image for Algorithms – ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings
Algorithms – ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings
Author 
Azar, Yossi. editor. Erlebach, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11841036
Format: 
Availability 
Online Library~1
Available:
Copies:
437. 
Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006. Proceedings
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006. Proceedings
Author 
Díaz, Josep. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. Zwick, Uri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11830924
Format: 
Availability 
Online Library~1
Available:
Copies:
438. 
Cover image for Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings
Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings
Author 
Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11832225
Format: 
Availability 
Online Library~1
Available:
Copies:
439. 
Cover image for Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User’s Group Meeting Bonn, Germany, September 17-20, 2006 Proceedings
Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User’s Group Meeting Bonn, Germany, September 17-20, 2006 Proceedings
Author 
Mohr, Bernd. editor. Träff, Jesper Larsson. editor. Worringen, Joachim. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11846802
Format: 
Availability 
Online Library~1
Available:
Copies:
440. 
Cover image for General Theory of Information Transfer and Combinatorics
General Theory of Information Transfer and Combinatorics
Author 
Ahlswede, Rudolf. editor. Bäumer, Lars. editor. Cai, Ning. editor. Aydinian, Harout. editor. Blinovsky, Vladimir. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11889342
Format: 
Availability 
Online Library~1
Available:
Copies:
441. 
Cover image for Hybrid Metaheuristics Third International Workshop, HM 2006 Gran Canaria, Spain, October 13-14, 2006 Proceedings
Hybrid Metaheuristics Third International Workshop, HM 2006 Gran Canaria, Spain, October 13-14, 2006 Proceedings
Author 
Almeida, Francisco. editor. Blesa Aguilera, María J. editor. Blum, Christian. editor. Moreno Vega, José Marcos. editor. Pérez Pérez, Melquíades. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11890584
Format: 
Availability 
Online Library~1
Available:
Copies:
442. 
Cover image for Graph-Theoretic Concepts in Computer Science 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers
Graph-Theoretic Concepts in Computer Science 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers
Author 
Fomin, Fedor V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11917496
Format: 
Availability 
Online Library~1
Available:
Copies:
443. 
Cover image for Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers
Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers
Author 
Herik, H. Jaap. editor. Hsu, Shun-Chin. editor. Hsu, Tsan-sheng. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11922155
Format: 
Availability 
Online Library~1
Available:
Copies:
444. 
Cover image for Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen
Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen
Author 
Lippe, Wolfram-Manfred. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29274-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action