Author
Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334904.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335196.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Sagonas, Kostis. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335204.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335213.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332962.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number
ONLINE(332964.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334278.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334348.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334820.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334821.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Preferred Shelf Number
ONLINE(334822.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334825.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action