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
1. 
Cover image for Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70621-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Author 
Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70930-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Author 
Mohamed, Otmane Ait. editor. Muñoz, César. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71067-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
Author 
Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71070-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Author 
Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Defence Industry Applications of Autonomous Agents and Multi-Agent Systems
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems
Author 
Pěchouček, Michal. editor. Thompson, Simon G. editor. Voos, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8571-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Grundkurs Algorithmen und Datenstrukturen in JAVA Eine Einführung in die praktische Informatik
Grundkurs Algorithmen und Datenstrukturen in JAVA Eine Einführung in die praktische Informatik
Author 
Solymosi, Andreas. author. Grude, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9522-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Object-oriented software engineering
Object-oriented software engineering
Author 
Schach, Stephen R.
Preferred Shelf Number 
QA 76.758 S3 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Software engineering foundations : a software science perspective
Software engineering foundations : a software science perspective
Author 
Wang, Yingxu., author.
Preferred Shelf Number 
QA76.758 .W375 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software engineering
Software engineering
Author 
Sommerville, Ian, 1951-
Preferred Shelf Number 
QA76.6 S66 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
11. 
Cover image for ITIL Das IT-Servicemanagement Framework
ITIL Das IT-Servicemanagement Framework
Author 
Köhler, Peter T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-37973-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Services Computing
Services Computing
Author 
Zhang, Liang-Jie. author. Zhang, Jia. author. Cai, Hong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-38284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action