Author
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335003.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
Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334673.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334698.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334711.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334715.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
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334014.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
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
Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334348.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334683.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334772.1)
Electronic Access
Format:
Availability
Online Library~1
Copies: