Limit Search Results
Author
Language
Publication Date
-
Material Type
Shelf Location
Library
56 Results Found Subscribe to search results
00000000DEFAULT
Print
Author 
Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies: