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
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335669.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
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334969.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number
ONLINE(334979.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334547.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334552.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334105.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Czerwinski, Robert. author. Kania, Dariusz. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334139.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334673.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334718.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(333558.1)
Electronic Access
Format:
Availability
Online Library~1
Copies: