Limit Search Results
Author
Language
Publication Date
-
Material Type
Shelf Location
Library
25 Results Found Subscribe to search results
000000000000DEFAULT
Print
Author 
Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333076.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332904.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334468.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334772.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335126.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Shankar, A. Udaya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331611.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334069.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334348.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334533.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334673.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334683.1)
Format: 
Availability 
Online Library~1
Available:
Copies: