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. Springer 2007 Lecture Notes in Computer Science 4710 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. Springer 2005 Lecture Notes in Computer Science 3161 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. Springer 2004 Lecture Notes in Computer Science 3176 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]. Springer 2004 Lecture Notes in Computer Science 3098 ISBN 3-540-22261-8 [ contents ]

Generic Programming

• 
  Roland Carl Backhouse, Jeremy Gibbons (Eds.): Generic Programming - Advanced Lectures. Springer 2003 Lecture Notes in Computer Science 2793 ISBN 3-540-20194-7 [ contents ]

Computational Discrete Mathematics

• 
  Helmut Alt (Ed.): Computational Discrete Mathematics, Advanced Lectures. Springer 2001 Lecture Notes in Computer Science 2122 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. Springer 2001 Lecture Notes in Computer Science 2049 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. Springer 2002 Lecture Notes in Computer Science 2395 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). Springer 2002 Lecture Notes in Computer Science 2292 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. Springer 1999 Lecture Notes in Computer Science 1752 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. Springer 1999 Lecture Notes in Computer Science 1561 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. Springer 1998 Lecture Notes in Computer Science 1528 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. Springer 1996 Lecture Notes in Computer Science 1132 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. Springer 1998 Lecture Notes in Computer Science 1491 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. Springer 1998 Lecture Notes in Computer Science 1492 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. Springer 1994 Lecture Notes in Computer Science 783 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. Springer 1995 Lecture Notes in Computer Science 909 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. Springer 1995 Lecture Notes in Computer Science 888 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. Springer 1992 Lecture Notes in Computer Science 617 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. Springer 1988 Lecture Notes in Computer Science 345 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). Springer 1988 Lecture Notes in Computer Science 341 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. Springer 1987 Lecture Notes in Computer Science 254 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. Springer 1987 Lecture Notes in Computer Science 255 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. Springer 1987 Lecture Notes in Computer Science 284 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. Springer 1987 Lecture Notes in Computer Science 272 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. Springer 1987 Lecture Notes in Computer Science 280 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. Springer 1986 Lecture Notes in Computer Science 232 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 (Eds.): Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich. Springer 1985 Lecture Notes in Computer Science 190 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. Springer 1985 Lecture Notes in Computer Science 184 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. Springer 1982 Lecture Notes in Computer Science 126 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. Springer 1981 Lecture Notes in Computer Science 105 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. Springer 1980 Lecture Notes in Computer Science 86 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. Springer 1978 Lecture Notes in Computer Science 60 ISBN 3-540-08755-9 [ contents ]

Komplexität von Entscheidungsproblemen 1976

• 
  Ernst Specker, Volker Strassen (Eds.): Komplexität von Entscheidungsproblemen, Ein Seminar. Springer 1976 Lecture Notes in Computer Science 43 ISBN 3-540-07805-3 [ contents ]

Compiler Construction 1976

• 
  Friedrich L. Bauer, Jürgen Eickel (Eds.): Compiler Construction, An Advanced Course, 2nd ed. Springer 1976 Lecture Notes in Computer Science 21 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. Springer 1976 Lecture Notes in Computer Science 46 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. Springer 1980 Lecture Notes in Computer Science 84 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). Springer 1975 Lecture Notes in Computer Science 30 ISBN 3-540-07168-7 [ contents ]