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
Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332934.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
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
Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334980.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334946.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:
Author
Shan, Chung-chieh. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332981.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332982.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334069.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334034.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number
ONLINE(334041.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action