Limit Search Results
Author
SpringerLink (Online service)
(18)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000000000000000DEFAULT
Print
1. 
Cover image for Empirical Inference Festschrift in Honor of Vladimir N. Vapnik
Empirical Inference Festschrift in Honor of Vladimir N. Vapnik
Author 
Schölkopf, Bernhard. editor. Luo, Zhiyuan. editor. Vovk, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335060.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41136-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Shall We Play the Festschrift Game? Essays on the Occasion of Lauri Carlson's 60th Birthday
Shall We Play the Festschrift Game? Essays on the Occasion of Lauri Carlson's 60th Birthday
Author 
Santos, Diana. editor. Lindén, Krister. editor. Ng’ang’a, Wanjiku. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30773-7
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:
4. 
Cover image for Industrial Engineering and Ergonomics Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczak
Industrial Engineering and Ergonomics Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczak
Author 
Schlick, Christopher M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01293-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75778-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Author 
Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97492-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career
Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career
Author 
Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97274-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Author 
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Author 
Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56222-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
13. 
Cover image for Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Author 
Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50062-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Author 
Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63121-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Author 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68270-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Author 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Author 
Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30936-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Author 
Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27810-0
Format: 
Availability 
Online Library~1
Available:
Copies: