default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFestschriften
Festschriften: Birthdays, In Memory of ..., In Honor of ...
Samson Abramsky
- Bob Coecke, Luke Ong
, Prakash Panangaden:
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7860, Springer 2013, ISBN 978-3-642-38163-8 [contents]
Rudolf Ahlswede
- Harout K. Aydinian, Ferdinando Cicalese, Christian Deppe:
Information Theory, Combinatorics, and Search Theory - In Memory of Rudolf Ahlswede. Lecture Notes in Computer Science 7777, Springer 2013, ISBN 978-3-642-36898-1 [contents]
Luigia Carlucci Aiello
- Oliviero Stock, Marco Schaerf:
Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello. Lecture Notes in Computer Science 4155, Springer 2006, ISBN 3-540-37901-0 [contents]
Gabriel Altmann
- Peter Grzybek, Reinhard Köhler:
Exact Methods in the Study of Language and Text - Dedicated to Gabriel Altmann on the Occasion of his 75th Birthday. Quantitative Linguistics 62, De Gruyter 2007, ISBN 9783110894219 [contents]
Farhad Arbab
- Frank S. de Boer, Marcello M. Bonsangue, Jan Rutten:
It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. Lecture Notes in Computer Science 10865, Springer 2018, ISBN 978-3-319-90088-9 [contents]
Franz Baader
- Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter:
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11560, Springer 2019, ISBN 978-3-030-22101-0 [contents]
Howard Barringer
- Andrei Voronkov, Margarita V. Korovina:
HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday. EPiC Series in Computing 42, EasyChair 2014 [contents]
Bernd Becker
- Rolf Drechsler:
Aspekte der Technischen Informatik - Festschrift zum 60. Geburtstag von Bernd Becker. MV-Wissenschaft 2014, ISBN 978-3-9564523-5-2 [contents]
Wolfgang Bibel
- Steffen Hölldobler:
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday). Applied Logic Series 19, Kluwer 2000, ISBN 0-7923-6261-6 [contents]
Jacques Berleur
- Philippe Goujon, Sylvain Lavelle, Penny Duquenoy, Kai Kimppa, Véronique Laurent:
The Information Society: Innovation, Legitimacy, Ethics and Democracy In honor of Professor Jacques Berleur s.j. - Proceedings of the Conference "Information Society: Governance, Ethics and Social Consequences", University of Namur, Belgium 22-23 May 2006. IFIP Advances in Information and Communication Technology 233, Springer 2007, ISBN 978-0-387-72380-8 [contents]
Dines Bjørner
- Cliff B. Jones, Zhiming Liu, Jim Woodcock:
Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Lecture Notes in Computer Science 4700, Springer 2007, ISBN 978-3-540-75220-2 [contents]
W. W. Bledsoe
- Robert S. Boyer:
Automated Reasoning: Essays in Honor of Woody Bledsoe. Automated Reasoning Series, Kluwer Academic Publishers 1991, ISBN 0-7923-1409-3 [contents]
Hans L. Bodlaender
- Fedor V. Fomin, Stefan Kratsch, Erik Jan van Leeuwen:
Treewidth, Kernels, and Algorithms - Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 12160, Springer 2020, ISBN 978-3-030-42070-3 [contents]
Leonard Bolc
- Malgorzata Marciniak, Agnieszka Mykowiecka:
Aspects of Natural Language Processing, Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 5070, Springer 2009, ISBN 978-3-642-04734-3 [contents]
Ronald V. Book
- Ding-Zhu Du, Ker-I Ko:
Advances in Algorithms, Languages, and Complexity - In Honor of Ronald V. Book. Kluwer 1997, ISBN 0-7923-4396-4 [contents]
Nikolai D. Botkin
- Varvara L. Turova, Andrey E. Kovtanyuk, Hans Georg Bock, Florian Holzapfel, Ekaterina A. Kostina:
Proceedings of the Workshop on Mathematical Modeling and Scientific Computing: Focus on Complex Processes and Systems - dedicated to the memory of Nikolai Botkin, Munich, Germany, November 19-20, 2020. CEUR Workshop Proceedings 2783, CEUR-WS.org 2020 [contents]
Symeon Bozapalidis
- Werner Kuich, George Rahonis:
Algebraic Foundations in Computer Science - Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement. Lecture Notes in Computer Science 7020, Springer 2011, ISBN 978-3-642-24896-2 [contents]
Egon Börger
- Jean-Raymond Abrial, Uwe Glässer:
Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 5115, Springer 2009, ISBN 978-3-642-11446-5 [contents] - Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe:
Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 12750, Springer 2021, ISBN 978-3-030-76019-9 [contents]
Wilfried Brauer
- Christian Freksa, Matthias Jantzen, Rüdiger Valk:
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday. Lecture Notes in Computer Science 1337, Springer 1997, ISBN 3-540-63746-X [contents]
Emmanuil Braverman
- Lev I. Rozonoer, Boris G. Mirkin, Ilya Muchnik:
Braverman Readings in Machine Learning. Key Ideas from Inception to Current State - International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks. Lecture Notes in Computer Science 11100, Springer 2018, ISBN 978-3-319-99491-8 [contents]
Ed Brinksma
- Joost-Pieter Katoen, Rom Langerak, Arend Rensink:
ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10500, Springer 2017, ISBN 978-3-319-68269-3 [contents]
Gerhard Brewka
- Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran:
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9060, Springer 2015, ISBN 978-3-319-14725-3 [contents]
Janusz A. Brzozowski
- Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Jeffrey O. Shallit:
The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski. World Scientific 2017, ISBN 978-981-3148-19-2 [contents]
Alejandro P. Buchmann
- Kai Sachs, Ilia Petrov, Pablo Ezequiel Guerrero:
From Active Data Management to Event-Based Systems and More - Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 6462, Springer 2010, ISBN 978-3-642-17225-0 [contents]
Johannes Buchmann
- Marc Fischlin, Stefan Katzenbeisser:
Number Theory and Cryptography - Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 8260, Springer 2013, ISBN 978-3-642-42000-9 [contents]
Peter Buneman
- Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael P. Fourman:
In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman. Lecture Notes in Computer Science 8000, Springer 2013, ISBN 978-3-642-41659-0 [contents]
Cristian S. Calude
- Michael J. Dinneen, Bakhadyr Khoussainov, André Nies:
Computation, Physics and Beyond - International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers. Lecture Notes in Computer Science 7160, Springer 2012, ISBN 978-3-642-27653-8 [contents]
Lauri Carlson
- Diana Santos, Krister Lindén, Wanjiku Ng'ang'a:
Shall We Play the Festschrift Game?, Essays on the Occasion of Lauri Carlson's 60th Birthday. Springer 2012, ISBN 978-3-642-30772-0 [contents]
Yaacov Choueka
- Nachum Dershowitz, Ephraim Nissan:
Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I. Lecture Notes in Computer Science 8001, Springer 2014, ISBN 978-3-642-45320-5 [contents] - Nachum Dershowitz, Ephraim Nissan:
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II. Lecture Notes in Computer Science 8002, Springer 2014, ISBN 978-3-642-45323-6 [contents] - Nachum Dershowitz, Ephraim Nissan:
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III. Lecture Notes in Computer Science 8003, Springer 2014, ISBN 978-3-642-45326-7 [contents]
25 Years Communicating Sequential Processes: 2004
- Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders:
Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers. Lecture Notes in Computer Science 3525, Springer 2005, ISBN 3-540-25813-2 [contents]
Essays in Memory of Ole-Johan Dahl
- Olaf Owe, Stein Krogdahl, Tom Lyche:
From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl. Lecture Notes in Computer Science 2635, Springer 2004, ISBN 3-540-21366-X [contents]
Jürgen Dassow
- Henning Bordihn, Martin Kutrib, Bianca Truthe:
Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 7300, Springer 2012, ISBN 978-3-642-31643-2 [contents] - Gheorghe Paun, Arto Salomaa:
New Trends in Formal Languages - Control, Cooperation, and Combinatorics (to Jürgen Dassow on the occasion of his 50th birthday). Lecture Notes in Computer Science 1218, Springer 1997, ISBN 3-540-62844-4 [contents]
Frank S. de Boer
- Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen:
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9660, Springer 2016, ISBN 978-3-319-30733-6 [contents]
Pierpaolo Degano
- Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami:
Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9465, Springer 2015, ISBN 978-3-319-25526-2 [contents]
Rocco De Nicola
- Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese:
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11665, Springer 2019, ISBN 978-3-030-21484-5 [contents]
Rodney G. Downey
- Adam R. Day, Michael R. Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander G. Melnikov, Frances A. Rosamond:
Computability and Complexity - Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10010, Springer 2017, ISBN 978-3-319-50061-4 [contents]
Andrzej Ehrenfeucht
- Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa:
Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Lecture Notes in Computer Science 1261, Springer 1997, ISBN 3-540-63246-8 [contents]
Hartmut Ehrig
- Reiko Heckel, Gabriele Taentzer:
Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig. Lecture Notes in Computer Science 10800, Springer 2018, ISBN 978-3-319-75395-9 [contents] - Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer:
Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 3393, Springer 2005, ISBN 3-540-24936-2 [contents]
Salah E. Elmaghraby
- P. Simin Pulat, Subhash C. Sarin, Reha Uzsoy:
Essays in Production, Project Planning and Scheduling, A Festschrift in Honor of Salah Elmaghraby. International Series in Operations Research & Management Science 200, Springer 2014, ISBN 978-1-4614-9055-5 [contents]
Javier Esparza
- Stefan Kiefer, Jan Kretínský, Antonín Kucera:
Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 14660, Springer 2024, ISBN 978-3-031-56221-1 [contents]
Shimon Even
- Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman:
Theoretical Computer Science, Essays in Memory of Shimon Even. Lecture Notes in Computer Science 3895, Springer 2006, ISBN 3-540-32880-7 [contents]
Georg Färber
- Samarjit Chakraborty, Jörg Eberspächer:
Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years). Springer 2012, ISBN 978-3-642-24348-6 [contents]
Michael R. Fellows
- Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx:
The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7370, Springer 2012, ISBN 978-3-642-30890-1 [contents]
Alfredo Ferro
- Domenico Cantone, Alfredo Pulvirenti:
From Computational Logic to Computational Biology - Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career. Lecture Notes in Computer Science 14070, Springer 2024, ISBN 978-3-031-55247-2 [contents]
Herbert Fiedler
- Roland Traunmüller, Maria Wimmer:
Informatik in Recht und Verwaltung: Gestern - Heute - Morgen. Ehrenband Prof. Dr. Dr. Herbert Fiedler zum Achtzigsten Geburtstag. LNI T-5, GI 2009, ISBN 978-3-88579-424-0 [contents]
Nissim Francez
- Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner:
Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5533, Springer 2009, ISBN 978-3-642-01747-6 [contents]
Kokichi Futatsugi
- Shusaku Iida, José Meseguer, Kazuhiro Ogata:
Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Lecture Notes in Computer Science 8373, Springer 2014, ISBN 978-3-642-54623-5 [contents]
Dov M. Gabbay
- Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods:
We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. College Publications 2005, ISBN 1-904987-25-7 [contents] - Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods:
We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. College Publications 2005, ISBN 1-904987-26-5 [contents]
Maurizio Gabbrielli
- Frank S. de Boer, Jacopo Mauro:
Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy. OASIcs 86, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-171-9 [contents]
Harald Ganzinger
- Andrei Voronkov, Christoph Weidenbach:
Programming Logics - Essays in Memory of Harald Ganzinger. Lecture Notes in Computer Science 7797, Springer 2013, ISBN 978-3-642-37650-4 [contents]
Ferenc Gécseg
- Zoltán Ésik, Zoltán Fülöp:
Automata, Formal Languages, and Related Topics - Dedicated to Ferenc Gécseg on the occasion of his 70th birthday. Institute of Informatics, University of Szeged, Hungary 2009, ISBN 978-963-482-916-4 [contents]
Michael Gelfond
- Marcello Balduccini, Tran Cao Son:
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 6565, Springer 2011, ISBN 978-3-642-20831-7 [contents]
Herman Geuvers
- Venanzio Capretta, Robbert Krebbers, Freek Wiedijk:
Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Lecture Notes in Computer Science 14560, Springer 2024, ISBN 978-3-031-61715-7 [contents]
Seymour Ginsburg
- Jeffrey D. Ullman:
Theoretical Studies in Computer Science, to Seymour Ginsburg on the occasion of his 26. birthday. Academic Press 1992, ISBN 0-12-708240-9 [contents]
Stefania Gnesi
- Maurice H. ter Beek, Alessandro Fantechi, Laura Semini:
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, Springer 2019, ISBN 978-3-030-30984-8 [contents]
Joseph A. Goguen
- Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer:
Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 4060, Springer 2006, ISBN 3-540-35462-X [contents]
Eric Goles Ch.
- Andrew Adamatzky:
Automata and Complexity - Essays Presented to Eric Goles on the Occasion of His 70th Birthday. Springer 2022, ISBN 978-3-030-92550-5 [contents]
Martin Charles Golumbic
- Marina Lipshteyn, Vadim E. Levit, Ross M. McConnell:
Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 5420, Springer 2009, ISBN 978-3-642-02028-5 [contents]
Peter Gorny
- Uli Daldrup:
Menschengerechte Softwaregestaltung, Konzepte und Werkzeuge auf dem Weg in die Praxis, Peter Gorny zum 60. Geburtstag. Berichte des German Chapter of the ACM 46, Teubner 1995, ISBN 3-519-02687-2 [contents]
Jozef Gruska
- Cristian S. Calude, Rusins Freivalds, Kazuo Iwama:
Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 8808, Springer 2014, ISBN 978-3-319-13349-2 [contents]
Nicola Guarino
- Stefano Borgo, Roberta Ferrario, Claudio Masolo, Laure Vieu:
Ontology Makes Sense - Essays in honor of Nicola Guarino. Frontiers in Artificial Intelligence and Applications 316, IOS Press 2019, ISBN 978-1-61499-954-6 [contents]
Yuri Gurevich
- Andreas Blass, Nachum Dershowitz, Wolfgang Reisig:
Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 6300, Springer 2010, ISBN 978-3-642-15024-1 [contents] - Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte:
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 9300, Springer 2015, ISBN 978-3-319-23533-2 [contents] - Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner:
Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 12180, Springer 2020, ISBN 978-3-030-48005-9 [contents]
Joshua D. Guttman
- Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul D. Rowe:
Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Lecture Notes in Computer Science 13066, Springer 2021, ISBN 978-3-030-91630-5 [contents]
Chris Hankin
- Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan:
From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Lecture Notes in Computer Science 12065, Springer 2020, ISBN 978-3-030-41102-2 [contents]
Patrick Hanks
- Gilles-Maurice de Schryver:
A Way with Words - Recent Advances in Lexical Theory and Analysis: A Festschrift for Patrick Hanks. Menha Linguistics Series, Menha Publications 2010, ISBN 978-9970-10-101-6 [contents]
Günter Haring
- Karin Anna Hummel, Helmut Hlavacs, Wilfried N. Gansterer:
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges - IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6821, Springer 2011, ISBN 978-3-642-25574-8 [contents]
Reiner Hähnle
- Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen:
The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13360, Springer 2022, ISBN 978-3-031-08165-1 [contents]
Klaus Havelund
- Ezio Bartocci, Yliès Falcone, Martin Leucker:
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 13065, Springer 2021, ISBN 978-3-030-87347-9 [contents]
Jifeng He
- Zhiming Liu, Jim Woodcock, Huibiao Zhu:
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 8051, Springer 2013, ISBN 978-3-642-39697-7 [contents] - Jonathan P. Bowen, Qin Li, Qiwen Xu:
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 14080, Springer 2023, ISBN 978-3-031-40435-1 [contents]
Tom Head
- Natasa Jonoska, Gheorghe Paun, Grzegorz Rozenberg:
Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 2950, Springer 2004, ISBN 3-540-20781-3 [contents]
Thomas A. Henzinger
- Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar:
Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13660, Springer 2022, ISBN 978-3-031-22336-5 [contents]
Manuel V. Hermenegildo
- Pedro López-García, John P. Gallagher, Roberto Giacobazzi:
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13160, Springer 2023, ISBN 978-3-031-31475-9 [contents]
Günter Hotz
- Johannes Buchmann, Harald Ganzinger, Wolfgang J. Paul:
Informatik, Festschrift zum 60. Geburtstag von Günter Hotz. Teubner-Texte zur Informatik 1, Teubner / Springer 1992, ISBN 978-3-8154-2033-1 [contents]
Juraj Hromkovic
- Hans-Joachim Böckenhauer, Dennis Komm, Walter Unger:
Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11011, Springer 2018, ISBN 978-3-319-98354-7 [contents]
Sushil Jajodia
- Pierangela Samarati, Indrajit Ray, Indrakshi Ray:
From Database to Cyber Security - Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 11170, Springer 2018, ISBN 978-3-030-04833-4 [contents]
Wolfgang Janko
- Andreas Geyer-Schulz, Alfred Taudes:
Informationswirtschaft: Ein Sektor mit Zukunft. LNI P-33, GI 2003, ISBN 3-88579-362-8 [contents]
Neil D. Jones
- Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough:
The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]. Lecture Notes in Computer Science 2566, Springer 2002, ISBN 3-540-00326-6 [contents]
Bengt Jonsson
- Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi:
Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Lecture Notes in Computer Science 13030, Springer 2021, ISBN 978-3-030-91383-0 [contents]
Jean-Pierre Jouannaud
- Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner:
Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 4600, Springer 2007, ISBN 978-3-540-73146-7 [contents]
David Kahn
- Peter Y. A. Ryan, David Naccache, Jean-Jacques Quisquater:
The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday. Lecture Notes in Computer Science 9100, Springer 2016, ISBN 978-3-662-49300-7 [contents]
Paris C. Kanellakis
- Dina Q. Goldin, Alexander A. Shvartsman, Scott A. Smolka, Jeffrey Scott Vitter, Stanley B. Zdonik:
PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003. ACM 2003, ISBN 1-58113-604-8 [contents]
Joost-Pieter Katoen
- Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk:
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I. Lecture Notes in Computer Science 15260, Springer 2025, ISBN 978-3-031-75782-2 [contents] - Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk:
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Lecture Notes in Computer Science 15261, Springer 2025, ISBN 978-3-031-75774-7 [contents] - Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk:
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Lecture Notes in Computer Science 15262, Springer 2025, ISBN 978-3-031-75777-8 [contents]
Gabriele Kern-Isberner
- Christoph Beierle, Gerhard Brewka, Matthias Thimm:
Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday. College Publications 2016, ISBN 978-1-84890-198-8 [contents]
Jan Willem Klop
- Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer:
Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 3838, Springer 2005, ISBN 3-540-30911-X [contents]
Ker-I Ko
- Ding-Zhu Du, Jie Wang:
Complexity and Approximation - In Memory of Ker-I Ko. Lecture Notes in Computer Science 12000, Springer 2020, ISBN 978-3-030-41671-3 [contents]
Reinhard Köhler
- Emmerich Kelih, Róisín Knight, Ján Macutek, Andrew Wilson:
Issues in Quantitative Linguistics 4, Dedicated to Reinhard Köhler on the occasion of his 65th birthday. Studies in Quantitative Linguistics 23, RAM-Verlag 2016, ISBN 978-3-942303-44-6 [contents]
Witold Kosinski
- Piotr Prokopowicz, Jacek M. Czerniak, Dariusz Mikolajewski, Lukasz Apiecionek, Dominik Slezak:
Theory and Applications of Ordered Fuzzy Numbers - A Tribute to Professor Witold Kosiński. Studies in Fuzziness and Soft Computing 356, Springer 2017, ISBN 978-3-319-59613-6 [contents]
Robert A. Kowalski
- Antonis C. Kakas, Fariba Sadri:
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. Lecture Notes in Computer Science 2407, Springer 2002, ISBN 3-540-43959-5 [contents] - Antonis C. Kakas, Fariba Sadri:
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. Lecture Notes in Computer Science 2408, Springer 2002, ISBN 3-540-43960-9 [contents]
Dexter Kozen
- Robert L. Constable, Alexandra Silva:
Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7230, Springer 2012, ISBN 978-3-642-29484-6 [contents]
Bernd J. Krämer
- Maritta Heisel:
Software Service and Application Engineering - Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 7365, Springer 2012, ISBN 978-3-642-30834-5 [contents]
Hermann Krallmann
- Dimitris Karagiannis, Bodo Rieger:
Herausforderungen in der Wirtschaftsinformatik - Festschrift für Hermann Krallmann. Springer 2006, ISBN 978-3-540-28906-7, pp. I-XV, 1-321 [contents]
Jürgen Krause
- Maximilian Eibl, Christian Wolff, Christa Womser-Hacker:
Designing Information Systems: Festschrift für Jürgen Krause zum Anlass seines 60. Geburtstages 2004. Schriften zur Informationswissenschaft 43, UVK 2005, ISBN 3-89669-564-9 [contents]
Rainer Kuhlen
- Rainer Hammwöhner, Marc Rittberger, Wolfgang Semar:
Wissen in Aktion - Der Primat der Pragmatik als Motto der Konstanzer Informationswissenschaft. Festschrift für Rainer Kuhlen. Schriften zur Informationswissenschaft 41, Hochschulverband für Informationswissenschaft 2004, ISBN 3-89669-704-8 [contents]
Joachim Lambek
- Claudia Casadio, Bob Coecke, Michael Moortgat, Philip J. Scott:
Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday. Lecture Notes in Computer Science 8222, Springer 2014, ISBN 978-3-642-54788-1 [contents]
Hans Langmaack
- Ernst-Rüdiger Olderog, Bernhard Steffen:
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel). Lecture Notes in Computer Science 1710, Springer 1999, ISBN 3-540-66624-9 [contents]
Kim Guldstrand Larsen
- Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare:
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10460, Springer 2017, ISBN 978-3-319-63120-2 [contents]
Jean-Louis Lassez
- Michael J. Maher:
Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings. Lecture Notes in Computer Science 3321, Springer 2004, ISBN 3-540-24087-X [contents]
Alain Lecomte
- Sylvain Pogodalla, Myriam Quatrini, Christian Retoré:
Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 6700, Springer 2011, ISBN 978-3-642-21489-9 [contents]