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
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
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
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
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
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334105.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334264.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334355.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
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: