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 MDA® Effektives Software-Engineering mit UML 2® und Eclipse™
MDA® Effektives Software-Engineering mit UML 2® und Eclipse™
Author 
Gruhn, Volker. author. Pieper, Daniel. author. Röttgers, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28746-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Value-Based Software Engineering
Value-Based Software Engineering
Author 
Biffl, Stefan. editor. Aurum, Aybüke. editor. Boehm, Barry. editor. Erdogmus, Hakan. editor. Grünbacher, Paul. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29263-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Vorlesungen über Informatik Grundlagen und funktionales Programmieren
Vorlesungen über Informatik Grundlagen und funktionales Programmieren
Author 
Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29272-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Informatik kompakt Eine grundlegende Einführung mit Java
Informatik kompakt Eine grundlegende Einführung mit Java
Author 
Morik, Katharina. author. Klingspor, Volker. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29275-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Softwaresysteme und ihre Modellierung Grundlagen, Methoden und Techniken
Softwaresysteme und ihre Modellierung Grundlagen, Methoden und Techniken
Author 
Tabeling, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29276-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logischer Entwurf digitaler Systeme
Logischer Entwurf digitaler Systeme
Author 
Liebig, Hans. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29430-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Cluster Computing Praktische Einführung in das Hochleistungsrechnen auf Linux-Clustern
Cluster Computing Praktische Einführung in das Hochleistungsrechnen auf Linux-Clustern
Author 
Bauke, Heiko. author. Mertens, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29928-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion
Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion
Author 
Lossack, Ralf-Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29947-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings
Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings
Author 
Grass, Werner. editor. Sick, Bernhard. editor. Waldschmidt, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11682127
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
Author 
Bordini, Rafael H. editor. Dastani, Mehdi M. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11678823
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The Seventeen Provers of the World Foreword by Dana S. Scott
The Seventeen Provers of the World Foreword by Dana S. Scott
Author 
Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11542384
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Author 
Bollig, Benedikt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32923-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action