Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Programming Logics Essays in Memory of Harald Ganzinger
Programming Logics Essays in Memory of Harald Ganzinger
Author 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334468.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Author 
Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330942.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Time for Verification Essays in Memory of Amir Pnueli
Time for Verification Essays in Memory of Amir Pnueli
Author 
Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13754-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematical Methods in Computer Science Essays in Memory of Thomas Beth
Mathematical Methods in Computer Science Essays in Memory of Thomas Beth
Author 
Calmet, Jacques. editor. Geiselmann, Willi. editor. Müller-Quade, Jörn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89994-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Theoretical Computer Science Essays in Memory of Shimon Even
Theoretical Computer Science Essays in Memory of Shimon Even
Author 
Goldreich, Oded. editor. Rosenberg, Arnold L. editor. Selman, Alan L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11685654
Format: 
Availability 
Online Library~1
Available:
Copies: