Author
Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334354.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
Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335227.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(333558.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334069.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334077.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334096.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
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334358.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334533.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334547.1)
Electronic Access
Format:
Availability
Online Library~1
Copies: