Author
Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Rusu, Vlad. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action