Your search returned 37 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday / Juhani Karhumäki [and others].

by Salomaa, Arto | Karhumäki, Juhani.

Series: Serienbezeichnung | Lecture notes in computer science ; 3113. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York, NY : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday / Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).

by Reps, Thomas W. (Thomas William) | Sagiv, Mooly | Bauer, Jörg | Wilhelm, R. (Reinhard), 1946-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4444. | Lecture notes in computer science. Festschrift.Source: Springer e-booksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday / Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.).

by Comon, Hubert | Kirchner, Claude | Kirchner, H. (Hélène).

Series: Serienbezeichnung | LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 4600. | Lecture notes in computer science. Festschrift.Source: Springer e-booksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).

by Bjørner, D. (Dines), 1937- | Zhou, Chaochen, 1937- | Jones, C. B. (Cliff B.), 1944- | Liu, Zhiming, 1961- | Woodcock, Jim.

Series: Serienbezeichnung | Lecture notes in computer science ; 4700. | Lecture notes in computer science. Festschrift. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
50 years of artificial intelligence : essays dedicated to the 50th anniversary of artificial intelligence / Max Lungarella [and others] (eds.).

by Lungarella, Max.

Series: Serienbezeichnung | LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4850. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: Fifty years of artificial intelligence.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Pillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday / Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.).

by Trakhtenbrot, B. A. (Boris Avraamovich) | Avron, Arnon | Dershowitz, Nachum | Rabinovich, Alexander.

Series: Serienbezeichnung | LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 4800. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008Other title: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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 / Matthias Hemmje, Claudia Niederee, Thomas Risse (eds.).

by Neuhold, Erich J | Hemmje, Matthias | Niederee, Claudia | Risse, Thomas, 1969-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3379. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.).

by Siekmann, Jörg H | Hutter, Dieter | Stephan, Werner.

Series: Serienbezeichnung | Lecture notes in computer science ; 2605. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Festschrift.Source: Springer eBooksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday / Hans-Jörg Kreowski [and others] (eds.).

by Ehrig, Hartmut | Kreowski, H.-J. (Hans-Jörg).

Series: Serienbezeichnung | Lecture notes in computer science ; 3393. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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 / Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.).

by Symposium on the Occasion of 25 years of CSP (2004 : London, England) | Abdallah, Ali E, 1957- | Jones, C. B. (Cliff B.), 1944- | Sanders, Jeff W | Hoare, C. A. R. (Charles Antony Richard), 1934-. Communicating sequential processes.

Series: Serienbezeichnung | Lecture notes in computer science ; 3525. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Other title: Symposium on the Occasion of 25 years of CSP.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Data management in a connected world : essays dedicated to Hartmut Wedekind on the occasion of his 70th birthday / Theo Härder, Wolfgang Lehner (eds.).

by Wedekind, Hartmut | Härder, Theo | Lehner, Wolfgang, 1969-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3551. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Other title: Essays dedicated to Hartmut Wedekind on the occasion of his 70th birthday.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp [and others] (eds.).

by Middeldorp, Aart, 1963- | Klop, J. W.

Series: Serienbezeichnung | Lecture notes in computer science ; 3838. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Theoretical computer science : essays in memory of Shimon Even / Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman (eds.).

by Even, Shimon | Goldreich, Oded | Rosenberg, Arnold L, 1941- | Selman, Alan L.

Series: Serienbezeichnung | Lecture notes in computer science ; 3895. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher number: 11685654Publisher: Berlin ; New York : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.).

by Futatsugi, Kokichi | Jouannaud, Jean-Pierre | Meseguer, José | Goguen, Joseph.

Series: Serienbezeichnung | Lecture notes in computer science ; 4060. | Lecture notes in computer science. Festschrift.Source: Springer e-booksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Reasoning, action and interaction in AI theories and systems : essays dedicated to Luigia Carlucci Aiello / Oliviero Stock, Marco Schaerf (eds.).

by Stock, Oliviero | Schaerf, Marco.

Series: Serienbezeichnung | Lecture notes in computer science ; 4155. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday / Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.).

by Montanari, Ugo | Degano, Pierpaolo, 1950- | De Nicola, Rocco | Meseguer, José.

Series: Serienbezeichnung | Lecture notes in computer science ; 5065. | LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science. Festschrift.Source: Springer eBooksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).

by Grumberg, Orna | Veith, Helmut.

Series: Serienbezeichnung | Lecture notes in computer science ; 5000. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher number: 12326419Publication details: Berlin : Springer, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Mathematical methods in computer science : essays in memory of Thomas Beth / Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade (eds.).

by Calmet, Jacques | Geiselmann, Willi | Müller-Quade, Jörn.

Series: Serienbezeichnung | Lecture notes in computer science ; 5393. | Lecture notes in computer science. Festschrift. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin : Springer, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Conceptual modeling, foundations and applications : essays in honor of John Mylopoulos / Alexander T. Borgida [and others] (eds.).

by Borgida, Alexander T | Mylopoulos, John.

Series: Serienbezeichnung | Lecture notes in computer science ; 5600. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Graph theory, computational intelligence and thought : essays dedicated to Martin Charles Golumbic on the occasion of his 60th Birthday / Marina Lipshteyn, Vadim E. Levit, Ross M. McConnell (eds.).

by Golumbic, Martin Charles | Lipshteyn, Marina | Levit, V. E. (Vadim Efimovich) | McConnell, Ross M.

Series: Serienbezeichnung | Lecture notes in computer science ; 5420. | Lecture notes in computer science. Festschrift. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher number: 12684137Publication details: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Pages

Powered by Koha