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
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
Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334634.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
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334698.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
Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334772.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334820.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335046.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335072.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335125.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335126.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action