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
Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Preferred Shelf Number
ONLINE(335216.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(331086.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334468.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334469.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
Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334706.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334711.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
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334844.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335003.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:


