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 
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
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
Werner Kuich, George Rahonis (Eds.):
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
Dines Bjørner
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
Malgorzata Marciniak, Agnieszka Mykowiecka (Eds.):
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
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
Egon Börger
Jean-Raymond Abrial, Uwe Glässer (Eds.):
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
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
Kai Sachs, Ilia Petrov, Pablo Ezequiel Guerrero (Eds.):
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
Michael J. Dinneen, Bakhadyr Khoussainov, André Nies (Eds.):
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
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
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
Jürgen Dassow
Henning Bordihn, Martin Kutrib, Bianca Truthe (Eds.):
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 (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
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
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
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
Georg Färber
Samarjit Chakraborty, Jörg Eberspächer (Eds.):
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
Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx (Eds.):
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
Roland Traunmüller, Maria Wimmer (Eds.):
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-1
Contents
Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (Eds.):
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
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
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
Ferenc Gécseg
Zoltán Ésik, Zoltán Fülöp (Eds.):
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
Marcello Balduccini, Tran Cao Son (Eds.):
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
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
Marina Lipshteyn, Vadim E. Levit, Ross M. McConnell (Eds.):
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
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
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (Eds.):
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
Günter Haring
Karin Anna Hummel, Helmut Hlavacs, Wilfried N. Gansterer (Eds.):
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
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
Andreas Geyer-Schulz, Alfred Taudes (Eds.):
Informationswirtschaft: Ein Sektor mit Zukunft.
LNI 33 GI 2003, ISBN 3-88579-362-8
Contents
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
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
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
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
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
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
Robert L. Constable, Alexandra Silva (Eds.):
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 (Ed.):
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
Dimitris Karagiannis, Bodo Rieger (Eds.):
Herausforderungen in der Wirtschaftsinformatik - Festschrift für Hermann Krallmann.
Springer 2006, ISBN 978-3-540-28906-7
Contents
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
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
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
Sylvain Pogodalla, Myriam Quatrini, Christian Retoré (Eds.):
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
Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce (Eds.):
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz.
Lecture Notes in Computer Science 7265 Springer 2012, ISBN 978-3-642-30742-3
Contents
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
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âne, Bucuresti 2000, ISBN 973-27-0770-4
Contents
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
Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa (Eds.):
Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday.
Lecture Notes in Computer Science 6570 Springer 2011, ISBN 978-3-642-19390-3
Contents
Susanne Albers, Helmut Alt, Stefan Näher (Eds.):
Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 5760 Springer 2009, ISBN 978-3-642-03455-8
Contents
Sebastian Nanz (Ed.):
The Future of Software Engineering.
Springer 2011, ISBN 978-3-642-15186-6
Contents
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
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
Jens Palsberg (Ed.):
Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 5700 Springer 2009, ISBN 978-3-642-04163-1
Contents
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
Alexander Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. K. Yu (Eds.):
Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos.
Lecture Notes in Computer Science 5600 Springer 2009, ISBN 978-3-642-02462-7
Contents
Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (Eds.):
Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday.
Lecture Notes in Computer Science 5765 Springer 2010, ISBN 978-3-642-17321-9
Contents
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
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
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.):
Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in Honour of Gheorghe Paun.
Kluwer Academic Publishers 2001, ISBN 978-90-481-5607-8
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
Jozef Kelemen, Alica Kelemenová (Eds.):
Computation, Cooperation, and Life - Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 6610 Springer 2011, ISBN 978-3-642-19999-8
Contents
Zohar Manna, Doron Peled (Eds.):
Time for Verification, Essays in Memory of Amir Pnueli.
Lecture Notes in Computer Science 6200 Springer 2010, ISBN 978-3-642-13753-2
Contents
David Naccache (Ed.):
Cryptography and Security: From Theory to Applications - Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday.
Lecture Notes in Computer Science 6805 Springer 2012, ISBN 978-3-642-28367-3
Contents
Cliff B. Jones, John L. Lloyd (Eds.):
Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday.
Lecture Notes in Computer Science 6875 Springer 2011, ISBN 978-3-642-24540-4
Contents
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
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
Dieter Rödding
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
Dennis Dams, Ulrich Hannemann, Martin Steffen (Eds.):
Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever.
Lecture Notes in Computer Science 5930 Springer 2010, ISBN 978-3-642-11511-0
Contents
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
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
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
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
Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis (Eds.):
Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 7360 Springer 2012, ISBN 978-3-642-29413-6
Contents
Jörg H. Siekmann
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
Madhavan Mukund, K. Rangarajan, K. G. Subramanian (Eds.):
Formal Models, Languages and Applications [this volume commemorates the 75th birthday of Prof. Rani Siromoney].
Series in Machine Perception and Artificial Intelligence 66 World Scientific 2007
Contents
Dieter Fensel (Ed.):
Foundations for the Web of Information and Services - A Review of 20 Years of Semantic Web Research.
Springer 2011, ISBN 978-3-642-19796-3
Contents
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
Gul Agha, Olivier Danvy, José Meseguer (Eds.):
Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday.
Lecture Notes in Computer Science 7000 Springer 2011, ISBN 978-3-642-24932-7
Contents
Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe (Eds.):
Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 7260 Springer 2012, ISBN 978-3-642-28278-2
Contents
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
Jörg Flum, Erich Grädel, Thomas Wilke (Eds.):
Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].
Texts in Logic and Games 2 Amsterdam University Press 2008, ISBN 978-90-5356-576-6
Contents
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
- 85th birthday symposium
Tapio Elomaa, Heikki Mannila, Pekka Orponen (Eds.):
Algorithms and Applications, Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 6060 Springer 2010, ISBN 978-3-642-12475-4
Contents
Simon Siegler, Nathan Wasser (Eds.):
Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 6463 Springer 2010, ISBN 978-3-642-17171-0
Contents
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
Andreas Dolzmann, Andreas Seidl, Thomas Sturm (Eds.):
Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning.
Books on Demand 2005, ISBN 3-8334-2669-1
Contents
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
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
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
Last update Wed May 22 22:55:39 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
