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
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
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334034.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334038.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
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
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
Drira, Khalil. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334714.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:
Author
Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334772.1)
Electronic Access
Format:
Availability
Online Library~1
Copies: