Birthday ...
Oliviero Stock, Marco Schaerf (Eds.):
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 BibTeX
Steffen Hölldobler (Ed.):
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 BibTeX
Robert S. Boyer (Ed.):
Automated Reasoning: Essays in Honor of Woody Bledsoe.
Automated Reasoning Series, Kluwer Academic Publishers, 1991,
ISBN 0-7923-1409-3
Contents
Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.):
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 BibTeX
Ding-Zhu Du,
Ker-I Ko (Eds.):
Advances in Algorithms, Languages, and Complexity -
In Honor of Ronald V. Book.
Kluwer, 1997, ISBN 0-7923-4396-4
Contents
Christian Freksa, Matthias Jantzen, Rüdiger Valk (Eds.):
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 BibTeX
25 Years Communicating Sequential Processes: 2004
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (Eds.):
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 BibTeX
Olaf Owe, Stein Krogdahl, Tom Lyche (Eds.):
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 BibTeX
Gheorghe Paun, Arto Salomaa (Eds.):
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 BibTeX
Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (Eds.):
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 BibTeX
Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (Eds.):
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 BibTeX
Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman (Eds.):
Theoretical Computer Science, Essays in Memory of Shimon Even.
Lecture Notes in Computer Science 3895 Springer 2006, ISBN 3-540-32880-7
Contents BibTeX
Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (Eds.):
We Will Show Them! Essays in Honour of Dov Gabbay, Volume One.
College Publications 2005, ISBN 1-904987-25-7
Contents BibTeX
Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (Eds.):
We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two.
College Publications 2005, ISBN 1-904987-26-5
Contents BibTeX
Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (Eds.):
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 BibTeX
Uli Daldrup (Ed.):
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 BibTeX
Natasa Jonoska, Gheorghe Paun, Grzegorz Rozenberg (Eds.):
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 BibTeX
Andreas Geyer-Schulz, Alfred Taudes (Eds.):
Informationswirtschaft: Ein Sektor mit Zukunft.
LNI 33 GI 2003, ISBN 3-88579-362-8
Contents BibTeX
Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough (Eds.):
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 BibTeX
Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (Eds.):
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 BibTeX
Dina Q. Goldin, Alexander A. Shvartsman, Scott A. Smolka, Jeffrey Scott Vitter, Stanley B. Zdonik (Eds.):
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 BibTeX
Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer (Eds.):
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 BibTeX
Antonis C. Kakas, Fariba Sadri (Eds.):
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 BibTeX
Antonis C. Kakas, Fariba Sadri (Eds.):
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 BibTeX
Rainer Hammwöhner, Marc Rittberger, Wolfgang Semar (Eds.):
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 BibTeX
Ernst-Rüdiger Olderog, Bernhard Steffen (Eds.):
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 BibTeX
Michael J. Maher (Ed.):
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 BibTeX
Nachum Dershowitz (Ed.):
Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday.
Lecture Notes in Computer Science 2772 Springer 2003, ISBN 3-540-21002-4
Contents BibTeX
Carlos Martín-Vide, Gheorghe Paun (Eds.):
Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday.
Editura Academiei Româe, Bucuresti 2000, ISBN 973-27-0770-4
Contents BibTeX
Hermann A. Maurer (Ed.):
New Results and New Trends in Computer Science, Graz, Austria, June 20-21, 1991, Proceedings [on occasion of H. Maurer's 50th birthday].
Lecture Notes in Computer Science 555 Springer 1991, ISBN 3-540-54869-6
Contents BibTeX
Gordon D. Plotkin, Colin Stirling, Mads Tofte (Eds.):
Proof, Language, and Interaction, Essays in Honour of Robin Milner.
The MIT Press 2000, ISBN 978-0-262-16188-6
Contents BibTeX
Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.):
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday.
Lecture Notes in Computer Science 5065 Springer 2008, ISBN 978-3-540-68676-7
Contents BibTeX
Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra (Eds.):
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday.
Lecture Notes in Computer Science 4460 Springer 2007, ISBN 978-3-540-75938-6
Contents BibTeX
Matthias Hemmje, Claudia Niederée, Thomas Risse (Eds.):
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments, Essays Dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday.
Lecture Notes in Computer Science 3379 Springer 2005, ISBN 3-540-24551-0
Contents BibTeX
Rolf Klein, Hans-Werner Six, Lutz Michael Wegner (Eds.):
Computer Science in Perspective, Essays Dedicated to Thomas Ottmann.
Lecture Notes in Computer Science 2598 Springer 2003, ISBN 3-540-00579-X
Contents BibTeX
Neil D. Jones, Masami Hagiya, Masahiko Sato (Eds.):
Logic, Language and Computation, Festschrift in Honor of Satoru Takasu.
Lecture Notes in Computer Science 792 Springer 1994
Contents BibTeX
Jeffrey D. Ullman (Ed.):
Theoretical Studies in Computer Science,
to Seymour Ginsburg on the
occasion of his 26. birthday.
Academic Press, 1992, ISBN 0-12-708240-9
Contents
Carlos Martín-Vide, Victor Mitrana (Eds.):
Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back: Essays in Honour of Gheorghe Paun.
Topics in Computer Mathematics 9 Taylor and Francis 2003, ISBN 0415298857
Contents BibTeX
Wolfgang Lenski (Ed.):
Logic versus Approximation, Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday.
Lecture Notes in Computer Science 3075 Springer 2004, ISBN 3-540-22562-5
Contents BibTeX
Alan Robinson
Jean-Louis Lassez,
Gordon D. Plotkin (Eds.):
Computational Logic - Essays in Honor of Alan Robinson.
The MIT Press, 1991, ISBN 0-262-12156-5
Contents
Egon Börger (Ed.):
Computation Theory and Logic, In Memory of Dieter Rödding.
Lecture Notes in Computer Science 270 Springer 1987, ISBN 3-540-18170-9
Contents BibTeX
Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa (Eds.):
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002].
Lecture Notes in Computer Science 2300 Springer 2002, ISBN 3-540-43190-X
Contents BibTeX
Juhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg (Eds.):
Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday.
Lecture Notes in Computer Science 3113 Springer 2004, ISBN 3-540-22393-2
Contents BibTeX
Juhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg (Eds.):
Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa.
Springer 1999, ISBN 3-540-65984-6
Contents BibTeX
Juhani Karhumäki, Hermann A. Maurer, Grzegorz Rozenberg (Eds.):
Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings.
Lecture Notes in Computer Science 812 Springer 1994, ISBN 3-540-58131-6
Contents BibTeX
Dieter Hutter, Werner Stephan (Eds.):
Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 2605 Springer 2005, ISBN 3-540-25051-4
Contents BibTeX
Masami Ito, Gheorghe Paun, Sheng Yu (Eds.):
Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin.
World Scientific 2001, ISBN 981-02-4739-7
Contents BibTeX
Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (Eds.):
Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday.
Lecture Notes in Computer Science 4800 Springer 2008, ISBN 978-3-540-78126-4
Contents BibTeX
- 85th birthday symposium
Theo Härder, Wolfgang Lehner (Eds.):
Data Management in a Connected World, Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday.
Lecture Notes in Computer Science 3551 Springer 2005, ISBN 3-540-26295-4
Contents BibTeX
Thomas W. Reps, Mooly Sagiv, Jörg Bauer (Eds.):
Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 4444 Springer 2007, ISBN 978-3-540-71315-9
Contents BibTeX
László Böszörményi, Jürg Gutknecht, Gustav Pomberger (Eds.):
The School of Niklaus Wirth, "The Art of Simplicity".
dpunkt.verlag/Copublication with Morgan-Kaufmann 2000, ISBN 3-932588-85-1
Contents BibTeX
Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.):
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 BibTeX
Copyright © Sat May 16 22:59:42 2009
by Michael Ley (ley@uni-trier.de)
