Advanced Courses / ... Schools

Bidirectional Transformations 2016: Oxford, UK

• 
  Jeremy Gibbons, Perdita Stevens:
  Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Lecture Notes in Computer Science 9715, Springer 2018, ISBN 978-3-319-79107-4 [contents]

Domain Modeling and the Duration Calculus 2007: Shanghai, China

• 
  Chris George, Zhiming Liu, Jim Woodcock:
  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:
  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:
  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:
  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:
  Generic Programming - Advanced Lectures. Lecture Notes in Computer Science 2793, Springer 2003, ISBN 3-540-20194-7 [contents]

Computational Discrete Mathematics

• 
  Helmut Alt:
  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:
  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, Luís Pinto, João Saraiva:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986. Lecture Notes in Computer Science 254, Springer 1987, ISBN 3-540-17905-4 [contents]
• 
  Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg:
  Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 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:
  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:
  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:
  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:
  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

• 
  Mack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider:
  Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany. Lecture Notes in Computer Science 190, Springer 1985, ISBN 3-540-15216-4 [contents]

Method and tools for compiler construction 1983

• 
  Bernard Lorho:
  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:
  Local Area Networks: An Advanced Course, Glasgow, UK, 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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979. Lecture Notes in Computer Science 84, Springer 1980, ISBN 3-540-10001-6 [contents]

Software Engineering 1972

• 
  Friedrich L. Bauer:
  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]