Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Author 
Siegler, Simon. editor. Wasser, Nathan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17172-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Author 
Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51046-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Solving Large Scale Learning Tasks. Challenges and Algorithms Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday
Solving Large Scale Learning Tasks. Challenges and Algorithms Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday
Author 
Michaelis, Stefan. editor. Piatkowski, Nico. editor. Stolpe, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41706-6
Format: 
Availability 
Online Library~1
Available:
Copies: