Author
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334913.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
Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action