Author
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332107.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
Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334665.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
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334724.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Gaag, Linda C. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334728.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
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Preferred Shelf Number
ONLINE(334822.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334825.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334840.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
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332962.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action