Author
Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Jones, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bulling, Nils. editor. van der Torre, Leendert. editor. Villata, Serena. editor. (orcid)0000-0003-3495-493X Jamroga, Wojtek. editor. Vasconcelos, Wamberto. editor.
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action