Advanced Courses
Domain Modeling and the Duration Calculus 2007: Shanghai, China
Chris George, Zhiming Liu, Jim Woodcock (Eds.):
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures.
Lecture Notes in Computer Science 4710 Springer 2007, ISBN 978-3-540-74963-9
Contents 
Advanced Studies in Biometrics 2003
Massimo Tistarelli, Josef Bigün, Enrico Grosso (Eds.):
Advanced Studies in Biometrics, Summer School on Biometrics, Alghero, Italy, June 2-6, 2003, Revised Selected Lectures and Papers.
Lecture Notes in Computer Science 3161 Springer 2005, ISBN 3-540-26204-0
Contents
Advanced Lectures on Machine Learning 2003
Olivier Bousquet, Ulrike von Luxburg, Gunnar Rätsch (Eds.):
Advanced Lectures on Machine Learning, ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures.
Lecture Notes in Computer Science 3176 Springer 2004, ISBN 3-540-23122-6
Contents
Lectures on Concurrency and Petri Nets 2003: Eichstätt, Germany
Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (Eds.):
Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned].
Lecture Notes in Computer Science 3098 Springer 2004, ISBN 3-540-22261-8
Contents
Generic Programming
Roland Carl Backhouse, Jeremy Gibbons (Eds.):
Generic Programming - Advanced Lectures.
Lecture Notes in Computer Science 2793 Springer 2003, ISBN 3-540-20194-7
Contents
Computational Discrete Mathematics
Helmut Alt (Ed.):
Computational Discrete Mathematics, Advanced Lectures.
Lecture Notes in Computer Science 2122 Springer 2001, ISBN 3-540-42775-9
Contents
Machine Learning and Its Applications 2001
Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos (Eds.):
Machine Learning and Its Applications, Advanced Lectures.
Lecture Notes in Computer Science 2049 Springer 2001, ISBN 3-540-42490-3
Contents
APPSEM 2000: Caminha, Portugal
Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva (Eds.):
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures.
Lecture Notes in Computer Science 2395 Springer 2002, ISBN 3-540-44044-5
Contents
Theoretical Aspects of Computer Science 2000
Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Mohammad Amin Shokrollahi (Eds.):
Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000).
Lecture Notes in Computer Science 2292 Springer 2002, ISBN 3-540-43328-7
Contents
Advances in Distributed Systems 1999
Sacha Krakowiak, Santosh K. Shrivastava (Eds.):
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems.
Lecture Notes in Computer Science 1752 Springer 1999, ISBN 3-540-67196-X
Contents
Lectures on Data Security 1998
Ivan Damgård (Ed.):
Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998.
Lecture Notes in Computer Science 1561 Springer 1999, ISBN 3-540-65757-6
Contents
Computer Security and Industrial Cryptograph 1997
Bart Preneel, Vincent Rijmen (Eds.):
State of the Art in Applied Cryptography, Course on Computer Security and Industrial Cryptography, Leuven, Belgium, June 3-6, 1997. Revised Lectures.
Lecture Notes in Computer Science 1528 Springer 1998, ISBN 3-540-65474-7
Contents
The Data Parallel Programming Model 1996
Guy-René Perrin, Alain Darte (Eds.):
The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications.
Lecture Notes in Computer Science 1132 Springer 1996, ISBN 3-540-61736-1
Contents
Petri Nets 1996
Wolfgang Reisig, Grzegorz Rozenberg (Eds.):
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996.
Lecture Notes in Computer Science 1491 Springer 1998, ISBN 3-540-65306-6
Contents
Wolfgang Reisig, Grzegorz Rozenberg (Eds.):
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996.
Lecture Notes in Computer Science 1492 Springer 1998, ISBN 3-540-65307-4
Contents
Mobile Communications 1994
Christoph G. Günther (Ed.):
Mobile Communications: Advanced Systems and Components, 1994 International Zurich Seminar on Digital Communications, Zurich Switzerland, March 8-11, 1994, Proceedings.
Lecture Notes in Computer Science 783 Springer 1994, ISBN 3-540-57856-0
Contents
Term Rewriting 1993
Hubert Comon, Jean-Pierre Jouannaud (Eds.):
Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course.
Lecture Notes in Computer Science 909 Springer 1995, ISBN 3-540-59340-3
Contents
Analysis of Dynamical and Cognitive Systems 1993
Stig I. Andersson (Ed.):
Analysis of Dynamical and Cognitive Systems, Advanced Course, Stockholm, Sweden, August 9-14, 1993, Proceedings.
Lecture Notes in Computer Science 888 Springer 1995, ISBN 3-540-58843-4
Contents
Advanced Topics in Artificial Intelligence 1992
Vladimír Marík, Olga Stepánková, Robert Trappl (Eds.):
Advanced Topics in Artificial Intelligence, International Summer School, Prague, Czechoslovakia, July 6-17, 1992, Proceedings.
Lecture Notes in Computer Science 617 Springer 1992, ISBN 3-540-55681-8
Contents
Advanced Topics in Artificial Intelligence 1987: Oslo, Norway
Rolf Nossum (Ed.):
Advanced Topics in Artificial Intelligence, 2nd Advanced Course, ACAI '87, Oslo, Norway, July 28 - August 7, 1987.
Lecture Notes in Computer Science 345 Springer 1988, ISBN 3-540-50676-4
Contents
Software Reliability Modelling and Identification 1987
Sergio Bittanti (Ed.):
Software Reliability Modelling and Identification (Como, Italy, September 2-4, 1987).
Lecture Notes in Computer Science 341 Springer 1988, ISBN 3-540-50695-0
Contents
Petri Nets 1986
Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg (Eds.):
Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986.
Lecture Notes in Computer Science 254 Springer 1987, ISBN 3-540-17905-4
Contents
Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg (Eds.):
Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986.
Lecture Notes in Computer Science 255 Springer 1987, ISBN 3-540-17906-2
Contents
Embedded Systems 1986
Albert T. Kündig, Richard E. Bührer, Jacques Dähler (Eds.):
Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986.
Lecture Notes in Computer Science 284 Springer 1987, ISBN 3-540-18581-X
Contents
Future Parallel Computers 1986
Philip C. Treleaven, Marco Vanneschi (Eds.):
Future Parallel Computers, An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings.
Lecture Notes in Computer Science 272 Springer 1987, ISBN 3-540-18203-9
Contents
Mathematical Models for the Semantics of Parallelism 1986
Marisa Venturini Zilli (Ed.):
Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings.
Lecture Notes in Computer Science 280 Springer 1987, ISBN 3-540-18419-8
Contents
Fundamentals of Artificial Intelligence 1985
Wolfgang Bibel, Philippe Jorrand (Eds.):
Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985.
Lecture Notes in Computer Science 232 Springer 1986, ISBN 3-540-16782-X
Contents
Distributed Systems 1984
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich.
Lecture Notes in Computer Science 190 Springer 1985, ISBN 3-540-15216-4
Contents
Method and tools for compiler construction 1983
Bernard Lorho (Ed.):
Method and tools for compiler construction, An advanced course, INRIA, 5-16 December 1983.
Cambridge University Press 1983, ISBN 0-521-26843-5
Contents
Local Area Networks 1983
David Hutchison, John A. Mariani, Doug Shepherd (Eds.):
Local Area Networks: An Advanced Course, Glasgow, July 11-22, 1983, Proceedings.
Lecture Notes in Computer Science 184 Springer 1985, ISBN 3-540-15191-5
Contents
Microcomputer System Design 1981: Dublin, Ireland
Michael J. Flynn, Neville Harris, Daniel P. McCarthy (Eds.):
Microcomputer System Design, An Advanced Course, Trinity College Dublin, June 1981.
Lecture Notes in Computer Science 126 Springer 1982, ISBN 3-540-11172-7
Contents
Distributed Systems 1980
Butler W. Lampson, M. Paul, Hans-Jürgen Siegert (Eds.):
Distributed Systems - Architecture and Implementation, An Advanced Course.
Lecture Notes in Computer Science 105 Springer 1981, ISBN 3-540-10571-9
Contents
Abstract Software Specifications 1979: Copenhagen, Denmark
Dines Bjørner (Ed.):
Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings.
Lecture Notes in Computer Science 86 Springer 1980, ISBN 3-540-10007-5
Contents
Operating Systems 1978
Michael J. Flynn, Jim Gray, Anita K. Jones, Klaus Lagally, Holger Opderbeck, Gerald J. Popek, Brian Randell, Jerome H. Saltzer, Hans-Rüdiger Wiehle (Eds.):
Operating Systems, An Advanced Course.
Lecture Notes in Computer Science 60 Springer 1978, ISBN 3-540-08755-9
Contents
Komplexität von Entscheidungsproblemen 1976
Ernst Specker, Volker Strassen (Eds.):
Komplexität von Entscheidungsproblemen, Ein Seminar.
Lecture Notes in Computer Science 43 Springer 1976, ISBN 3-540-07805-3
Contents
Compiler Construction 1976
Friedrich L. Bauer, Jürgen Eickel (Eds.):
Compiler Construction, An Advanced Course, 2nd ed.
Lecture Notes in Computer Science 21 Springer 1976, ISBN 3-540-07542-9
Contents
Language Hierarchies and Interfaces 1975: Marktoberdorf, Germany
Friedrich L. Bauer, Klaus Samelson (Eds.):
Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975.
Lecture Notes in Computer Science 46 Springer 1976, ISBN 3-540-07994-7
Contents
Net Theory and Applications 1975
Wilfried Brauer (Ed.):
Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979.
Lecture Notes in Computer Science 84 Springer 1980, ISBN 3-540-10001-6
Contents
Software Engineering 1972
Friedrich L. Bauer (Ed.):
Software Engineering, An Advanced Course, Reprint of the First Edition (February 21 - March 3, 1972).
Lecture Notes in Computer Science 30 Springer 1975, ISBN 3-540-07168-7
Contents
Copyright © Mon Mar 15 03:05:08 2010
by Michael Ley (ley@uni-trier.de)
