Limit Search Results
Author
SpringerLink (Online service)
(536)
Dongarra, Jack. editor.
(18)
Gavrilova, Marina L. editor.
(17)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Language
Publication Date
-
Subject
Electronic data processing.
(552)
Computer science.
(457)
Computer software.
(260)
Computational complexity.
(181)
Artificial intelligence.
(143)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
763 Results Found Subscribe to search results
000000000000DEFAULT
Print
361. 
Cover image for Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Author 
Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11447-2
Format: 
Availability 
Online Library~1
Available:
Copies:
362. 
Cover image for One Jump Ahead Computer Perfection at Checkers
One Jump Ahead Computer Perfection at Checkers
Author 
Schaeffer, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76576-1
Format: 
Availability 
Online Library~1
Available:
Copies:
363. 
Cover image for Multi-Agent Programming: Languages, Tools and Applications
Multi-Agent Programming: Languages, Tools and Applications
Author 
El Fallah Seghrouchni, Amal. editor. Dix, Jürgen. editor. Dastani, Mehdi. editor. Bordini, Rafael H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-89299-3
Format: 
Availability 
Online Library~1
Available:
Copies:
364. 
Cover image for Intelligent Engineering Systems and Computational Cybernetics
Intelligent Engineering Systems and Computational Cybernetics
Author 
Machado, J. A. Tenreiro. editor. Pátkai, Béla. editor. Rudas, Imre J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8678-6
Format: 
Availability 
Online Library~1
Available:
Copies:
365. 
Cover image for Distributed source coding theory, algorithms, and applications
Distributed source coding theory, algorithms, and applications
Author 
Dragotti, Pier Luigi. Gastpar, Michael.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123744852
Format: 
Availability 
Online Library~1
Available:
Copies:
366. 
Cover image for Eleventh hour security+ exam SYO-201 study guide
Eleventh hour security+ exam SYO-201 study guide
Author 
Dubrawsky, Ido.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781597494274
Format: 
Availability 
Online Library~1
Available:
Copies:
367. 
Cover image for Electronic design automation synthesis, verification, and test
Electronic design automation synthesis, verification, and test
Author 
Wang, Laung-Terng. Chang, Yao-Wen. Cheng, Kwang-Ting, 1961-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123743640
Format: 
Availability 
Online Library~1
Available:
Copies:
368. 
Cover image for Reactive Search and Intelligent Optimization
Reactive Search and Intelligent Optimization
Author 
Battiti, Roberto. author. Brunato, Mauro. author. Mascia, Franco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09624-7
Format: 
Availability 
Online Library~1
Available:
Copies:
369. 
Cover image for Parallel Scientific Computing and Optimization Advances and Applications
Parallel Scientific Computing and Optimization Advances and Applications
Author 
Čiegis, Raimondas. author. Henty, David. author. Kågström, Bo. author. Žilinskas, Julius. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09707-7
Format: 
Availability 
Online Library~1
Available:
Copies:
370. 
Cover image for Computing for Comparative Microbial Genomics Bioinformatics for Microbiologists
Computing for Comparative Microbial Genomics Bioinformatics for Microbiologists
Author 
Ussery, David W. editor. Wassenaar, Trudy M. editor. Borini, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-255-5
Format: 
Availability 
Online Library~1
Available:
Copies:
371. 
Cover image for Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
Author 
Gomes, Abel J. P. editor. Voiculescu, Irina. editor. Jorge, Joaquim. editor. Wyvill, Brian. editor. Galbraith, Callum. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-406-5
Format: 
Availability 
Online Library~1
Available:
Copies:
372. 
Cover image for Parallel Computing Numerics, Applications, and Trends
Parallel Computing Numerics, Applications, and Trends
Author 
Trobec, Roman. editor. Vajteršic, Marián. editor. Zinterhof, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-409-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action