Limit Search Results
Author
SpringerLink (Online service)
(60)
Gavrilova, Marina L. editor.
(4)
Albada, Geert Dick. editor.
(3)
Bubak, Marian. editor.
(3)
Dongarra, Jack. editor.
(3)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
62 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Methoden wissensbasierter Systeme Grundlagen, Algorithmen, Anwendungen
Methoden wissensbasierter Systeme Grundlagen, Algorithmen, Anwendungen
Author 
Beierle, Christoph. author. Kern-Isberner, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9517-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Ordnungen, Verbände und Relationen mit Anwendungen Studium
Ordnungen, Verbände und Relationen mit Anwendungen Studium
Author 
Berghammer, Rudolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9532-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Crashkurs Mathematik für Informatiker
Crashkurs Mathematik für Informatiker
Author 
Jukna, Stasys. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8351-9214-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Deduction, Computation, Experiment Exploring the Effectiveness of Proof
Deduction, Computation, Experiment Exploring the Effectiveness of Proof
Author 
Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-0784-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Network Theorizing Knowledge Work in Telecommunications
Network Theorizing Knowledge Work in Telecommunications
Author 
Spinuzzi, Clay.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Algoritmi Lo spirito dell’informatica
Algoritmi Lo spirito dell’informatica
Author 
Harel, David. author. Feldman, Yishai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-0580-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Principles of the Spin Model Checker
Principles of the Spin Model Checker
Author 
Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
Author 
Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Author 
Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70583-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Author 
Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69937-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Media Theory Interdisciplinary Applied Mathematics
Media Theory Interdisciplinary Applied Mathematics
Author 
Eppstein, David. author. Falmagne, Jean-Claude. author. Ovchinnikov, Sergei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71697-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing
Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing
Author 
Bandyopadhyay, Subir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72875-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action