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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX