Author
Ekštein, Kamil. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Turner, Raymond. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334973.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
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334465.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334564.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332822.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335032.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335644.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action