Author
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334468.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
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
Mogavero, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(336496.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(331002.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Halpin, Harry. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(331289.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
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334073.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: