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
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335196.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Sagonas, Kostis. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335204.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334904.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Halpin, Harry. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(331289.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Shankar, A. Udaya. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(331611.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335433.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(331002.1)
Electronic Access
Format:
Availability
Online Library~1
Copies: