Limit Search Results
Author
SpringerLink (Online service)
(541)
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.
(566)
Computer science.
(459)
Computer software.
(260)
Computational complexity.
(181)
Artificial intelligence.
(145)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
868 Results Found Subscribe to search results
000000000000DEFAULT
Print
889. 
Cover image for Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
Author 
Curien, Pierre-Louis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02273-9
Format: 
Availability 
Online Library~1
Available:
Copies:
890. 
Cover image for Principles of Distributed Systems 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings
Principles of Distributed Systems 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings
Author 
Abdelzaher, Tarek. editor. Raynal, Michel. editor. Santoro, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10877-8
Format: 
Availability 
Online Library~1
Available:
Copies:
891. 
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:
892. 
Cover image for VMware certified professional test prep
VMware certified professional test prep
Author 
Ilgenfritz, Merle., author. Ilgenfritz, John. Powell, John. Baca, Steven.
Preferred Shelf Number 
QA76.3 .I56 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
893. 
Cover image for Introduction to data technologies
Introduction to data technologies
Author 
Murrell, Paul., author.
Preferred Shelf Number 
QA76 .M894 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
894. 
Cover image for Get certified : a guide to wireless communication engineering technologies
Get certified : a guide to wireless communication engineering technologies
Author 
Ahson, Syed. Ilyas, Mohammad, 1953- Institute of Electrical and Electronics Engineers.
Preferred Shelf Number 
TK5103.2 .G493 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
895. 
Cover image for Enterprise systems backup and recovery : a corporate insurance policy
Enterprise systems backup and recovery : a corporate insurance policy
Author 
De Guise, Preston., author.
Preferred Shelf Number 
QA76.9 .B32 D45 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
896. 
Cover image for Monitoring Exchange server 2007 with System Center Operations Manager
Monitoring Exchange server 2007 with System Center Operations Manager
Author 
Smith, Michael B., 1963- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
897. 
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:
898. 
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:
899. 
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:
900. 
Cover image for Introduction to scheduling
Introduction to scheduling
Author 
Robert, Yves, 1938- Vivien, Frederic.
Preferred Shelf Number 
QA76.9 .D5 I673 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action