Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss
Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss
Author 
Biedermann, Alexander. editor. Molter, H. Gregor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16767-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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: