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
3826 Results Found Subscribe to search results
000000000000DEFAULT
Print
2869. 
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:
2870. 
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:
2871. 
Cover image for Software Architecture
Software Architecture
Author 
Qin, Zheng. author. Zheng, Xiang. author. Xing, Jiankuan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74343-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2872. 
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:
2873. 
Cover image for Echtzeitsysteme Grundlagen der Planung
Echtzeitsysteme Grundlagen der Planung
Author 
Zöbel, Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76396-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2874. 
Cover image for Software Evolution
Software Evolution
Author 
Mens, Tom. author. Demeyer, Serge. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76440-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2875. 
Cover image for Informatikforschung in Deutschland
Informatikforschung in Deutschland
Author 
Reuse, Bernd. editor. Vollmar, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76550-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2876. 
Cover image for Software-Qualität
Software-Qualität
Author 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76323-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2877. 
Cover image for Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
Author 
Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77564-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2878. 
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:
2879. 
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:
2880. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets