Author
Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.
Preferred Shelf Number
XX(519274.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Toumani, Farouk. editor. Pernici, Barbara. editor. Grigori, Daniela. editor. Benslimane, Djamal. editor. Mendling, Jan. editor.
Preferred Shelf Number
XX(519348.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Combemale, Benoit. editor. Cheng, Betty H.C. editor. France, Robert B. editor. Jézéquel, Jean-Marc. editor. Rumpe, Bernhard. editor.
Preferred Shelf Number
XX(518838.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Havelund, Klaus. editor. Holzmann, Gerard. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(518776.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Piterman, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(518849.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Finkbeiner, Bernd. editor. Pu, Geguang. editor. Zhang, Lijun. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(518850.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Gorentla Venkata, Manjunath. editor. Shamis, Pavel. editor. Imam, Neena. editor. Lopez, M. Graham. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(518892.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(518977.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(518922.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(518980.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Feng, Xinyu. editor. Park, Sungwoo. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(518926.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(519006.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action