Limit Search Results
Author
SpringerLink (Online service)
(3724)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
Subject
Computer science.
(2980)
Computer Communication Networks.
(1161)
Artificial intelligence.
(977)
Information systems.
(822)
Logic design.
(742)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3826 Results Found Subscribe to search results
000000000000DEFAULT
Print
2881. 
Cover image for Decision Procedures An Algorithmic Point of View
Decision Procedures An Algorithmic Point of View
Author 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74105-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2882. 
Cover image for Logics of Specification Languages
Logics of Specification Languages
Author 
Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74107-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2883. 
Cover image for Open Source Approaches in Spatial Data Handling
Open Source Approaches in Spatial Data Handling
Author 
Hall, G. Brent. editor. Leahy, Michael G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74831-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2884. 
Cover image for Mobilität und Echtzeit Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time) Boppard, 6./7. Dezember 2007
Mobilität und Echtzeit Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time) Boppard, 6./7. Dezember 2007
Author 
Holleczek, Peter. editor. Vogel-Heuser, Birgit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74837-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2885. 
Cover image for Rightshore! Successfully SAP(R) Projects Offshore
Rightshore! Successfully SAP(R) Projects Offshore
Author 
Messner, Wolfgang. editor. Hendel, Anja. editor. Thun, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77288-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2886. 
Cover image for SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
Author 
Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77566-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2887. 
Cover image for Enterprise Information Systems 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers
Enterprise Information Systems 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers
Author 
Manolopoulos, Yannis. editor. Filipe, Joaquim. editor. Constantopoulos, Panos. editor. Cordeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77581-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2888. 
Cover image for Rationale-Based Software Engineering
Rationale-Based Software Engineering
Author 
Burge, Janet E. author. Carroll, John M. author. McCall, Raymond. author. Mistrik, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77583-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2889. 
Cover image for Ajax in Oracle JDeveloper
Ajax in Oracle JDeveloper
Author 
Vohra, Deepak. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77596-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2890. 
Cover image for Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings
Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings
Author 
Verdone, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77690-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2891. 
Cover image for High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
Author 
Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77704-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2892. 
Cover image for Reflections on the Teaching of Programming Methods and Implementations
Reflections on the Teaching of Programming Methods and Implementations
Author 
Bennedsen, Jens. editor. Caspersen, Michael E. editor. Kölling, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77934-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action