- (Lecture Notes in Computer Science).

The multivariate algorithmic revolution and beyond: essays dedicated to Michael R. Fellows on the occasion of his 60th birthday.
- Springer Verlag, 2012.
- (Lecture Notes in Computer Science; **7370**).

Jeannot, Emmanuel (ed) & Namyst, Raymond (ed) & Roman, Jean (ed)

**Euro-Par
, 2011**

17th international conference Euro-Par 2011. Parallel processing. Bordeaux, France August/september 2011. Proceedings Part 2.
- Springer Verlag, 2011.
- (Lecture Notes in Computer Science; **6853**).

Jeannot, Emmanuel (ed) & Namyst, Raymond (ed) & Roman, Jean (ed)

**Euro-Par
, 2011**

17th international conference Euro-Par 2011. Parallel processing. Bordeaux, France August/september 2011. Proceedings Part 1.
- Springer Verlag, 2011.
- (Lecture Notes in Computer Science; **6852**).

Winkler, Franz (ed)

**Conference on Algebraic Informatics
, 2011**

Algebraic informatics. 4th international conference CAI, Linz, Austria, June 21-24, 2011. Proceedings.
- Springer Verlag, 2011.
- (Lecture Notes in Computer Science; **6742**).

Principles of distributed systems. 14th international conference, OPODIS 2010, Tozeur, Tunisia, december 14-17, 2010. Proceedings.
- Springer Verlag, 2010.
- (Lecture Notes in Computer Science; **6490**).

Iliopoulos, Costas S. (ed) & Smyth, William F. (ed)

**Int. Workshop on Combinatorial Algorithms
, 2010**

Combinatorial algorithms. 21st international workshop, held in London, UK, July 26-28, 2010. Revised selected papers.
- Springer Verlag, 2011.
- (Lecture Notes in Computer Science; **6460**).

Hlineny, Petr (ed) & Kucera, Antonin (ed)

**Mathematical Foundations of Computer Science
, 2010**

35th international symposium on mathematical foundations of computer science 2010, held in Brno, Czech Republic, August 23-27, 2010. Proceedings.
- Springer Verlag, 2010.
- (Lecture Notes in Computer Science; **6281**).

Gastin, Paul (ed) & Laroussinie, François

**Concurrency theory
, 2010**

21st international conference, Concurrency theory held in Paris, France August 31 - september 3 2010. Proceedings.
- Springer Verlag, 2010.
- (Lecture Notes in Computer Science; **6269**).

Dawar, Anuj (ed) & Veith, Helmut (ed)

**Computer Science Logic - congrés
, 2010**

24th international workshop on Computer science logic and 19th annual conference of the EACSL, held in Brno, Czech Republic, August 23-27, 2010. Proceedings.
- Springer Verlag, 2010.
- (Lecture Notes in Computer Science; **6247**).

Hanrot, G. (ed) & Morain, F. (ed) & Thomé, E. (ed)

**Algorithmic Number Theory Symposium
, 2010**

Algorithmic number theory. 9th international symposium, Nancy, France, july 19-23, 2010. Proceedings.
- Springer Verlag, 2010.
- (Lecture Notes in Computer Science; **6197**).

Bozapalidis, Symeon (ed) & Rahonis, George (ed)

**Conference on Algebraic Informatics
, 2009**

Algebraic Informatics. Third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009. Proceedings.
- Springer Verlag, 2009.
- (Lecture Notes in Computer Science; **5725**).

Algorithmics of large and complex networks - design, analysis, and simulation.
- Springer Verlag, 2009.
- (Lecture Notes in Computer Science; **5515**).

Dediu, A.H. (ed) & Ionescu, A.M. (ed) & Martin-Vide, C. (ed)

**Language and Automata Theory and Applications
, 2009**

Language and automata theory and applications. Third international conference, LATA 2009, held in Tarragona, Spain, April 2-8, 2009. Proceedings.
- Springer Verlag, 2009.
- (Lecture Notes in Computer Science; **5457**).

Baker, Theodore P. (ed) & Bui, Alain (ed) & Tixeuil, Ségastien (ed)

**Int. conf. on Principles of Distributed Systems
, 2008**

Principles of distributed systems 12th international conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings.
- Springer Verlag, 2008.
- (Lecture Notes in Computer Science; **5401**).

Taubenfeld, Gadi (ed)

**int. symp. on DIStributed Computing
, 2008**

Distributed computing. 22nd international symposium, DISC 2008, held at Arcachon, France September 22-24, 2008. Proceedings.
- Springer Verlag, 2008.
- (Lecture Notes in Computer Science; **5218**).

Aceto, L. (ed) & Damgard, I. (ed) & Goldberg, L.A. (ed) & al.

**Int. Coll. on Automata, Languages and Programming
, 2008**

Automata, languages and programming. 35th international colloquium, ICALP 2008, held in Reykjavik, Iceland, July 7-11, 2008. Part 2. Proceedings.
- Springer Verlag, 2008.
- (Lecture Notes in Computer Science; **5126**).

Aceto, L. (ed) & Damgard, I. (ed) & Goldberg, L.A. (ed) et al.

**Int. Coll. on Automata, Languages and Programming
, 2008**

Automata, languages and programming. 35th international colloquium, ICALP 2008, held in Reykjavik, Iceland, July 7-11, 2008. Part 1. Proceedings.
- Springer Verlag, 2008.
- (Lecture Notes in Computer Science; **5125**).

Preparata, F.P. (ed) & Wu, W. (ed) & Yin, J. (ed)

**Frontiers in Algorithmics
, 2008**

Frontiers in algorithmics. Second international worshop, FAW 2008, Changsha, China, June 19-21. Proceedings.
- Springer Verlag, 2008.
- (Lecture Notes in Computer Science; **5059**).

Grohe, Martin (ed) & Niedermeier, Rolf (ed)

**Int. Workshop on Parameterized and Exact Computation
, 2008**

Parameterized and exact computation. Third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings.
- Springer Verlag, 2008.
- (Lecture Notes in Computer Science; **5018**).

Van Der Poorten, Alf Jacobus (ed) & Stein, Andreas (ed)

**Algorithmic Number Theory Symposium
, 2008**

Algorithmic number theory: 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings.
- Springer Verlag, 2008.
- (Lecture Notes in Computer Science; **5011**).

Bougé, Luc (ed) & Forsell, Martti (ed) & Larsson Träff, Jesper (ed) & al

**Euro-Par
, 2007**

Euro-Par 2007. Workshops parallel processing. HPPC 2007, UNICORE summit 2007, and VHPC 2007. Conference held in Rennes, France, on august 28-31, 2007. Revised selected papers.
- Springer Verlag, 2007.
- (Lecture Notes in Computer Science; **4854**).

Brandstädt, Andreas (ed) & Kratsch, Dieter (ed) & Müller, Haiko (ed)

**Workshop WG Graph theoretic concepts in computer science
, 2007**

Graph-theoretic concepts in computer science: 33rd international workshop, WG 2007, Dornburg, Germany, June 21-23, 2007 : revised papers.
- Springer Verlag, 2007.
- (Lecture Notes in Computer Science; **4769**).

Kermarrec, Anne-Marie (ed) & Bougé, Luc (ed) & Priol, Thierry (ed)

**Euro-Par
, 2007**

13th Euro-Par 2007, on parallel processing. Conference hel in Rennes, France, on august 28-31, 2007. Proceedings.
- Springer Verlag, 2007.
- (Lecture Notes in Computer Science; **4641**).

Agorithms for sensor and ad hoc networks: advanced lectures.
- Springer Verlag, 2007.
- (Lecture Notes in Computer Science; **4621**).

Gagalowicz, André (ed) & Philipps, Wilfried (ed)

**Mirage Conferences
, 2007**

Computer vision - computer graphics collaboration techniques. Third international conference, MIRAGE 2007. Rocquencourt, Freance, March 28-30, 2007. Proceedings.
- Springer Verlag, 2007.
- (Lecture Notes in Computer Science; **4418**).

Shvartsman, Alexander A. (ed)

**Int. conf. on Principles of Distributed Systems
, 2006**

Principles of distributed systems. 10th international conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings.
- Springer Verlag, 2006.
- (Lecture Notes in Computer Science; **4305**).

Computer science logic. 20th international workshop, CSL 2006. 15th annual conference of the EACSL, Szeged, Hungary, 25-29, 2006. Proceedings.
- Springer Verlag, 2006.
- (Lecture Notes in Computer Science; **4207**).

Hess, Florian (ed) & Pauli, Sebastian (ed) & Pohst, Michael (ed)

**Algorithmic Number Theory Symposium
, 2006**

Algorithmic number theory. 7th international symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings.
- Springer Verlag, 2006.
- (Lecture Notes in Computer Science; **4076**).

Bugliesi, Michele (ed) & Preneel, Bart (ed) & Sassone, Vladimiro (ed) & Wegener, Ingo (ed)

**Int. Coll. on Automata, Languages and Programming
, 2006**

Automata, languages and Programming, 33rd International Colloquium ICALP '2006, held in Venice, Italy, July 10-14, 2006. Proceedings, Part II.
- Springer Verlag, 2006.
- (Lecture Notes in Computer Science; **4052**).

Bugliesi, Michele (ed) & Preneel, Bart (ed) & Sassone, Vladimiro (ed) & Wegener, Ingo (ed)

**Int. Coll. on Automata, Languages and Programming
, 2006**

Automata, languages and Programming, 33rd International Colloquium ICALP '2006, held in Venice, Italy, July 10-14, 2006. Proceedings, Part I.
- Springer Verlag, 2006.
- (Lecture Notes in Computer Science; **4051**).

Durand, Bruno (ed) & Thomas, Wolfgang (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 2006**

STACS 2006: 23rd annual symposium on theoretical aspects of computer science, held in Marseille, France, on february 23-25, 2006. Proceedings.
- Springer Verlag, 2006.
- (Lecture Notes in Computer Science; **3884**).

Healy, Patrick (ed) & Nikolov, Nikola S. (ed)

**Symposium on Graph Drawing
, 2005**

13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised papers.
- Springer Verlag, 2006.
- (Lecture Notes in Computer Science; **3843**).

Gagalowicz, André (ed) & Philips, Wilfried (ed)

**Computer Analysis of Images and Paterns
, 2005**

Computer analysis of images and patterns. 11th international conference, CAIP 2005. Versailles, France, september 5-8, 2005. Proceedings.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3691**).

Ong, Luke (ed)

**Computer Science Logic - congrés
, 2005**

Computer science logic. 19th internatioanl workshop, CSL 2005 and 14th annual conference of the EACSL, held in Oxfod, UK, August 22-25, 2005. Proceedings.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3634**).

Shoup, Victor (ed)

**Colloque CRYPTO
, 2005**

Advances in Cryptology - CRYPTO 2005. 25th annual cryptology conference, held in Santal Barbara, California, USA, August 14-18, 2005. Proceedings.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3621**).

Jedrzejowicz, Joanna (ed) & Szepietowski, Andrzej (ed)

**Mathematical Foundations of Computer Science
, 2005**

Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, held in Gdansk, Poland, on august 29-september 2, 2005. Proceedings.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3618**).

Caires, Luis (ed) & Italiano, Giuseppe F. (ed) & Monteiro, Luis (ed) & Palamidessi, Catuscia (ed)

**Int. Coll. on Automata, Languages and Programming
, 2005**

Automata, languages and Programming, 32nd International Colloquium ICALP '2005, held in Lisbon, Portugal, July 11-15, 2005.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3580**).

Cramer, Ronald (ed)

**Eurocrypt
, 2005**

Advances in cryptology - Colloque EUROCRYPT 2005. 24th annual international conference on the thoery and applications of cryptographic techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3494**).

Efficient approximation and online algorithms: recent progress on classical combinatorial optimization problems and new applications.
- Springer Verlag, 2006.
- (Lecture Notes in Computer Science; **3484**).

Trust management. Third international conference, iTrust 2005. Paris, France, may 23-26, 2005. Proceedings.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3477**).

Andres, Eric (ed) & Damiand, Guillaume (ed) & Lienhardt, Pascal (ed)

**Discrete Geometry for Computer Imagery
, 2005**

Discrete geometry for computer imagery: 12th international conference, DGCI 2005, Poitiers, France, April 11-13, 2005: proceedings.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3429**).

Knowledge and information visualization - searching for synergies.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3426**).

Diekert, Volker (ed) & Durant, Bruno (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 2005**

STACS 2005: 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005: Proceedings.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3404**).

Pach, Janos (ed)

**Symposium on Graph Drawing
, 2004**

12th international symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004. Revised selected papers.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3383**).

SOFSEM 2005: theory and practice of computer science: 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3381**).

Margenstern, Maurice (ed)

**Machines, Computations, and Universality
, 2004**

Machines, computations, and universality: 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004: revised selected papers.
- Springer Verlag, 2005.
- (Lecture Notes in Computer Science; **3354**).

Ehrig, Hartmut (ed) & Engels, Gregor (ed) & Parisi-Presicce, Francesco (ed) & Rozenberg, G. (ed)

**International Conference on Graph Transformations
, 2004**

Graph transformations. Second international conference ICGT 2004, held in Rome, Italy, September 28 - october 2, 2004 : proceedings.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **3256**).

Gardner, Philippa (ed) & Yoshida, Nobuko (ed)

**Concurrency theory
, 2004**

CONCUR 2004 - Concurrency theory : 15th international conference, London, UK, August 31-September 3, 2004 : proceedings.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **3170**).

Nikolaidis, Ioanis (ed) & Barbeau, Michel (ed) & Kranakis, Evangelos (ed)

**ADHOC-NOW
, 2004**

Ad-hoc, mobile, and wireless networks. Third international conference ADHOC-NOW 2004, held in Vancouver, Canada, in July 2004 : proceedings.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **3158**).

Fiala, Jiri (ed) & Koubek, Vaclav (ed) & Kratochvil (ed)

**Mathematical Foundations of Computer Science
, 2004**

Mathematical foundations of computer science 2004. 29th international symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : Proceedings.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **3153**).

Franklin, Matt (ed)

**Colloque CRYPTO
, 2004**

Advances in cryptology, CRYPTO 2004. 24th annual cryptology conference, held in Santa Barbara, California, USA, august 15-19, 2004. Proceedings.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **3152**).

Papatriantafilou, Marina (ed) & Hunel, philippe (ed)

**Int. conf. on Principles of Distributed Systems
, 2003**

Principles of distributed systems : 7th international conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003 : revised selected papers.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **3144**).

Diaz, Josep (ed) & Karhumäki, Juhani (ed) & Lepistö, Arto (ed) & Sannella, Donald (ed)

**Int. Coll. on Automata, Languages and Programming
, 2004**

Automata, languages and programming : 31st international colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **3142**).

Applied cryptography and network security. Second international conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004. Proceedings.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **3089**).

Cachin, Christian (ed) & Camenisch, Jan (ed)

**Eurocrypt
, 2004**

Advances in cryptogogy - EUROCRYPT 2004, 23th international conference on the theory and applications of cryptographic techniques, held in Interlaken, Switzerland, on May 2-6 2004. Proceedings.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **3027**).

Pajdla, Tomas (ed) & Matas, Jiri (ed)

**European Conference on Computer Vision
, 2004**

8th European Conference on Computer Vision, ECCV 2004, held in Prague, Szech Republic, May 11-14, 2004. Proceedings, Part 3.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **3023**).

Pajdla, Tomas (ed) & Matas, Jiri (ed)

**European Conference on Computer Vision
, 2004**

8th European Conference on Computer Vision, ECCV 2004, held in Prague, Szech Republic, May 11-14, 2004. Proceedings, Part 2.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **3022**).

Pajdla, Tomas (ed) & Matas, Jiri (ed)

**European Conference on Computer Vision
, 2004**

8th European Conference on Computer Vision, ECCV 2004, held in Prague, Szech Republic, May 11-14, 2004. Proceedings, Part 1.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **3021**).

Diekert, Volker (ed) & Habib, Michel (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 2004**

21st annual symposium on Theoretical aspects of computer Science - STACS 2004. Held in Montpellier, France, on March 25-27, 2004.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **2996**).

Walukiewicz, Igor (ed)

**Conf.Foundations of Software Science & Computation Struct.
, 2004**

7th international conference, FOSSACS 2004, held as part of the joint European Conferences on Thzory and Practice of Software, ETAPS 2004, in Barcelona, Spain, on March 29 - April 2, 2004. proceedings.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **2987**).

Finite fields and applications. 7th international conference, Fq7, Toulouse, France, May 5-9, 2003. Revised papers.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **2948**).

Liotta, Giuseppe (ed)

**Symposium on Graph Drawing
, 2003**

11th international symposium, GD 2003, Perugia, Italy, September 21-24, 2003. Revised papers.
- Springer Verlag, 2004.
- (Lecture Notes in Computer Science; **2912**).

Nyström, Ingela (ed) & Sanniti di Baja, Gabriella (ed) & Svensson, Stina (ed)

**Discrete Geometry for Computer Imagery
, 2003**

Proceedings of 11th international conference on Discrete Geometry for Computer Imagery, DGCI 2003, held in Naples, Italy on november 19-21, 2003. Proceedings.
- Springer Verlag, 2003.
- (Lecture Notes in Computer Science; **2886**).

Amadio, Roberto (ed) & Lugiez, Denis (ed)

**Concurrency theory
, 2003**

CONCUR 2003. Concurrency theory. 14th international conference, held in Marseille, France, on september 3-5, 2003. Proceedings.
- Springer Verlag, 2003.
- (Lecture Notes in Computer Science; **2761**).

Boneh, Dan (ed)

**Colloque CRYPTO
, 2003**

Advances in cryptology - CRYPTO 2003. 23d annual international cryptology conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings.
- Springer Verlag, 2003.
- (Lecture Notes in Computer Science; **2729**).

Baeten, J.C.M. (ed) & Lenstra, J.K. (ed) & al

**Int. Coll. on Automata, Languages and Programming
, 2003**

Automata, languages and programming. 30th international colloquium ICALP 2003, Eindhoven, Tne Netherlands, June 30 - July 4, 2003. Proceedings.
- Springer Verlag, 2003.
- (Lecture Notes in Computer Science; **2719**).

Biham, Eli (ed)

**Eurocrypt
, 2003**

Advances in cryptology - EUROCRYPT 2003. International conference on the theory and applications of cryptographic techniques, Warsaw, Poland on May 4-8, 2003. Proceedings.
- Springer Verlag, 2003.
- (Lecture Notes in Computer Science; **2656**).

Gordon, Andrew D. (ed)

**Conf.Foundations of Software Science & Computation Struct.
, 2003**

Foundations of software science and computation structures. 6th international conference, FOSSACS 2003, held as part of the joint european conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11. Proceedings.
- Springer Verlag, 2003.
- (Lecture Notes in Computer Science; **2620**).

Alt, Helmut (ed) & Habib, Michel (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 2003**

Proceedings of the 20th annual symposium on theoretical aspects of computer science, held in Berlin, Germany, February 27 - March 1, 2003. Proceedings.
- Springer Verlag, 2003.
- (Lecture Notes in Computer Science; **2607**).

Future directions in distributed computing : research and position papers.
- Springer Verlag, 2003.
- (Lecture Notes in Computer Science; **2584**).

Kucera, Ludek (ed)

**Workshop WG Graph theoretic concepts in computer science
, 2002**

Graph-theoretic concepts in computer science. 28th international workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002. Revised papers.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2573**).

Combinatorial Optimization - Eureka, You Shrink! Papers dedicated to Jack Edmonds 5th international workshop, Aussois, France, March 5-9, 2001, revised papers.
- Springer Verlag, 2003.
- (Lecture Notes in Computer Science; **2570**).

Goodrich, Michael T. (ed) & Kobourov, Stephen G. (ed)

**Symposium on Graph Drawing
, 2002**

10th international symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002. Revised papers.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2528**).

Automata logics, and infinite gamess. A guide to current research..
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2500**).

Yung, Moti (ed)

**Colloque CRYPTO
, 2002**

Advances in cryptology - CRYPTO 2002. 22nd annual international cryptology conference, Santa Barbara, California, USA, August 18-22, 2002. Proceedings.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2442**).

Diks, Krzysztof (ed) & Rytter, Wojciech (ed)

**Mathematical Foundations of Computer Science
, 2002**

Mathematical foundations of computer science 2002. 27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2420**).

Widmayer, Peter (ed) & Triguero, Francisco (ed) & Morales, Rafael (ed) & al

**Int. Coll. on Automata, Languages and Programming
, 2002**

Automata, languages and programming. 29th international colloquium, ICALP 2002, Palaga, Sapin, Jyly 8-13, 2002. Proceedings.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2380**).

Fieker, Claus (ed) & Kohel, David R. (ed)

**Algorithmic Number Theory Symposium
, 2002**

Algebraic number theory. 5th international symposium, ANTS V, Sydney, Australia, July 7-12, 2002. Proceedings.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2369**).

Heyden, Anders (ed) & Sparr, Gunnar (ed) & Nielsen, Mads (ed) & Johansen, Peter (ed)

**European Conference on Computer Vision
, 2002**

Proceedings of the 7th European Conference on Computer Vision, ECCV 2002, held in Copenhagen, Denmark, on may 28-31, 2002. part 4.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2353**).

Heyden, Anders (ed) & Sparr, Gunnar (ed) & Nielsen, Mads (ed) & Johansen, Peter (ed)

**European Conference on Computer Vision
, 2002**

Proceedings of the 7th European Conference on Computer Vision, ECCV 2002, held in Copenhagen, Denmark, on may 28-31, 2002. part 3.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2352**).

Heyden, Anders (ed) & Sparr, Gunnar (ed) & Nielsen, Mads (ed) & Johansen, Peter (ed)

**European Conference on Computer Vision
, 2002**

Proceedings of the 7th European Conference on Computer Vision, ECCV 2002, held in Copenhagen, Denmark, on may 28-31, 2002. part 2.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2351**).

Heyden, Anders (ed) & Sparr, Gunnar (ed) & Nielsen, Mads (ed) & Johansen, Peter (ed)

**European Conference on Computer Vision
, 2002**

Proceedings of the 7th European Conference on Computer Vision, ECCV 2002, held in Copenhagen, Denmark, on may 28-31, 2002. part 1.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2350**).

Knudsen, Lars (ed)

**Eurocrypt
, 2002**

Advances in cryptology - EUROCRYPT 2002. International 21st conference on the theory and applications of cryptographic techniques, Amsterdam, The Netherlands, April 28 - May 2, 2002. Proceedings.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2332**).

Kutsche, Ralf-Detlef (ed) & Weber, Herbert (ed)

**Conf.Fundamental Appraches to software engineering
, 2002**

Fundamental approaches to software engineering. Proceedings of the 5th international conference FASE 2002, held as part of the joint european conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 2002.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2306**).

Le Métayer, Daniel (ed)

**European Symposium on Programming
, 2002**

Programming languages and sytems. Proceedings of the 11th european symposium on programming, ESOP 2002, held as part of the joint european conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2305**).

Horspool, Nigel (ed)

**Conf. on Compiler Construction
, 2002**

Compiler construction. Proceedings of the 11th international Conference CC 2002, held as part of the joint european conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2304**).

Nielsen, Mogens (ed) & engberg, Uffe (ed)

**Conf.Foundations of Software Science & Computation Struct.
, 2002**

Foundations of software science and computation structures. Proceedings 5th int. conference, FOSSACS 2002, held as part of the joint european conference on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2303**).

Nielsen, Mogens (ed) & Engberg, Uffe (ed)

**Conf.Foundations of Software Science & Computation Struct.
, 2002**

Foundations of software science and computation structures. 5th international conference, FOSSACS 2002, held as part of the joint european conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12. Proceedings.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2303**).

Braquelaire, Achille (ed) & Lachaud, Jacques-Olivier (ed) & Vialard, Anne (ed)

**Discrete Geometry for Computer Imagery
, 2002**

Proceedings of 10th international conference on Discrete Geometry for Computer Imagery, DGCI 2002, held in Bordeaux, France on April 3-5, 2002.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2301**).

Alt, Helmut (ed) & Ferreira, Afonso (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 2002**

Proceedings of the 19th annual symposium on theoretical aspects of computer science, held in Antibes-Juan les Pins, France, on March 14-16, 2002.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2285**).

Katoen, Joost-Peter (ed) & Stevens, Perdita (ed)

**Conf.Tools & Algorithms for the Construction & Anal. System
, 2002**

Tools and algorithms for the construction and analysis of systems. Proceedings of the 8th int. conference, TACAS 2002, held as part of the joint european conferences on theory and practice of software, ETAPS 2002, Grenoble, April 8-12, 2002.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2280**).

Mutzel, Petra (ed) & Jünger, Michael (ed) & Leipert, Sebastian (ed)

**Symposium on Graph Drawing
, 2001**

9th international symposium, GD 2001, Vienna, Austria, september 23-26, 2001. Revised papers.
- Springer Verlag, 2002.
- (Lecture Notes in Computer Science; **2265**).

Digital and image geometry. Advanced lectures.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **2243**).

Computational combinatorial optimization. Optimal or probably near-optimal solutions. Spring school schloss Dagstuhl, Germany, 15-19 May 2000.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **2241**).

Discrete and computational geometry. Proceedings of the 11th conference, 2000. Japanese conference, JCDCG, Tokyo, Japan, november 2000. Revised papers.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **2098**).

Orejas, Fernando (ed) & Spirakis, Paul G. (ed) & Leeuwen, J. van (ed)

**Int. Coll. on Automata, Languages and Programming
, 2001**

Automata, languages and programming. Proceedings of the 28th international colloquium, ICALP 2001. Crete, Greece, july 8-12, 2001.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **2076**).

Margenstern, Maurice (ed) & Rogzhin, Yurii (ed)

**Machines, Computations, and Universality
, 2001**

Machines, computations, and universality. Third international conference, MCU 2001, Chisinau, Moldova, May 23-27, 2001. Proceedings.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **2055**).

Middeldorp, Aart (ed)

**Rewriting techniques and applications
, 2001**

Rewriting techniques and applications. XIIth international conference, RTA 2001, Utrecht, The Netherlands, may 2001. Proceedings.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **2051**).

Margaria, Tiziana (ed) & Yi, Wang (ed)

**Conf.Tools & Algorithms for the Construction & Anal. System
, 2001**

Tools and algorithms for the construction and analysis of systems. 7th international conferenc e, TACAS 2001. Held as part of the joint european conferences on theory and practice of software, ETAPS 2001. Genova, Italy 2-6. Proceedings.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **2031**).

Hussmann, Heinrich (ed)

**Conf.Fundamental Appraches to software engineering
, 2001**

Fundamental approaches to software engineering. 4th international conference, FASE 2004, held as part of the joint european conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, Proceedings.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **2029**).

Sands, David (ed)

**European Symposium on Programming
, 2001**

Programming languages and systems. 10th european symposium on programming, ESOP 2001 held as part of the joint european conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **2028**).

Wilhelm, Reinhard (ed)

**Conf. on Compiler Construction
, 2001**

Compiler construction. 10th international conference, CC 2001, held as part of the joint european conferences on theory and practice of software, ETAPS 2001, in Genova Italy, on April 2-6, 2001. Proceedings.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **2027**).

Drawing graphs - methods and models.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **2025**).

Ferreira, Alfonso (ed) & Reichel, Horst (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 2001**

18th annual symposium on Theoretical aspects of computer science, STACS'01, Dresden, Germany, February 15-17, 2001. Proceedings.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **2010**).

Marks, Joe (ed)

**Symposium on Graph Drawing
, 2000**

8th international symposium GD 2000, Colonial Williamsburg, Va, USA, september 20-23, 2000. Proceedings.
- Springer Verlag, 2001.
- (Lecture Notes in Computer Science; **1984**).

Roy, Bimal (ed) & Okamoto, Eiji (ed)

**INDOCRYPT
, 2000**

Progress in cropytology, INDOCRYPT 2000. First international conference in criptology in India, Calcutta, India, december 10-13, 2000. Proceedings.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1977**).

Foundations of software technology and theoretical computer science. Proceedings of the 20th conference, New Delhi, India, december 13-15, 2000. Proceedings.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1974**).

Borgefors, G. (ed) & Nyström, I. & Sanniti di Baja, G. (ed)

**Discrete Geometry for Computer Imagery
, 2000**

Discrete Geometry for Computer Imagery. Proceedings of the 9th international conference DGCI 2000, held in Uppsala, Sweden, December 2000.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1953**).

Brandes, Ulrik (ed) & Wagner, Dorothea (ed)

**Workshop WG Graph theoretic concepts in computer science
, 2000**

Graph-theoretic concepts in computer science. Proceedings of the 26th international workshop, WG 2000, Konstanz, Germany, June 15-17, 2000.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1928**).

Halldorsson, Magnus M. (ed)

**Scandinavian Workshop on Algorithm Theory
, 2000**

Algorithm theory. Proceedings of the 7th scandinavian workshop on algorithm theory - SWAT '2000, held in Bergen, Norway, July 5-7, 2000.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1851**).

Vernon, David (ed)

**European Conference on Computer Vision
, 2000**

Computer vision, ECCV 2000. Proceedings of the European Conference on Computer Vision, held in Dublin, Ireland, June 26 - July 1, 2000. Part 2.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1843**).

Vernon, David (ed)

**European Conference on Computer Vision
, 2000**

Computer vision, ECCV 2000. Proceedings of the European Conference on Computer Vision, held in Dublin, Ireland, June 26 - July 1, 2000. Part 1.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1842**).

Bosma, Wieb (ed)

**Algorithmic Number Theory Symposium
, 2000**

Algorithmic number theory. 4th international symposium, ANTS-IV, Leiden, The Netherlands, July 2-7, 2000. Proceedings.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1838**).

Rus, Teodor (ed)

**Algebraic Methodology and Software Technology - int. Conf.
, 2000**

Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1816**).

Preneel, Bart (ed)

**Eurocrypt
, 2000**

Advances in cryptology - EUROCRYPT 2000. International 19th conference on the theory and application of cryptographic techniques, held in Bruges, Belgium on May 14-18, 2000. Proceedings.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1807**).

LATIN 2000. 4th Latin american symposium on theoretical informatics. Punta del Este, Uruguay, April 2000.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1776**).

Reichel, Horst (ed) & Tison, Sophie (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 2000**

STACS 2000. 17th annual symposium on theoretical aspects of computer science. Lille, France, February 2000. Proceedings.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1770**).

Bongiovanni, G. (ed) & Gambosi, G. (ed) & Petreschi, R. (ed)

**Conference on Algorithms and Complexity
, 2000**

Algorithms and complexity. Proceeedings of the 4th italian conference - CIAC '2000, held in Rome, Italie on march 2000.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1767**).

TAGT'98. Theory and application to graph transformations. 6th international workshop. Paderborn, Germany, November 1998. Selected papers.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1764**).

Akiyama, Jin (ed) & Kano, Mikio (ed) & Urabe, Masatsugu (ed)

**Japanese Conference on Discrete & Computational Geometry
, 1998**

Discrete and computational geometry. Japanese conference, JCDCG '98, held in Tokyo, Japan, December 9-12, 1998 at Tokai University. Revised papers.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1763**).

. Advanced distributed computing : from algorithms to systems.
- Springer Verlag, 2000.
- (Lecture Notes in Computer Science; **1752**).

Advances in computing science - ASIAN '99. Proceedings of the 5th asian computing science conference held in Phuket, Thailand, on december 10-12, 1999.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1742**).

Aggarwal, Alok (ed) & Rangan, Pandu C. (ed)

**Intern. Symposium on Algorithms & Computation
, 1999**

Algorithms and computations. Proceedings of the 10th international symposium, ISAAC '99. Held in Chennai, India, december 16-18, 1999.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1741**).

Foundations of software technology and theoretical computer science. Proceedings of the 19th conference held in Chennai, India on december 13-15, 1999.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1738**).

Kratochvil, Jan (ed)

**Symposium on Graph Drawing
, 1999**

7th international symposium on graph drawing, GD '99, held in Stirin Castle, Czech Republic on september 15-19, 1999. Proceedings.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1731**).

Ciobanu, Gabriel (ed) & Paun, Gheorghe (ed)

**FCT: Fundamentals of Computation Theory
, 1999**

Fundamentals of computation theory. 12th international symposium, FCT '99, held in Iasi, Romania, August 30- septembre 3 1999. Proceedings.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1684**).

Kutylowski, M. (ed) & Pacholski, L. (ed) & Wierzbicki, T. (ed)

**Mathematical Foundations of Computer Science
, 1999**

Mathematical foundations of computer science 1999. 24th international sympôsium, MFCS '99 held in Szklarska Poreba, Poland, september 6-10, 19999. Proceedings.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1672**).

Graph-theoretic concepts in computer science. 25th international workshop, WG'1999. Ascona, Switezerland, june 17-19, 1999. Proceedings.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1665**).

Baeten, Jos C.M. (ed) & Mauw, Sjouke (ed)

**Concurrency theory
, 1999**

CONCUR '99. Concurrency theory. 10th international conference, held in Eindhoven, The Netherlands, August 24-27, 1999. proceedings.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1664**).

Wiedermann, Jiri (ed) & Emde Boas, Peter van (ed) & Nielsen, Mogens (ed)

**Int. Coll. on Automata, Languages and Programming
, 1999**

Automata, languages and programming. 26th international colloquium, ICALP '99, held in Prague, Czech Republic, July 11-15 1999. proceedings.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1644**).

Nesetril, Jaroslav (ed)

**Economie et Statistiques Avancées
, 1999**

Algorithms - ESA '99. 7th annual european symposium held in Prague, Czech Republic, July 16-18, 1999.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1643**).

Narendran, Paliath (ed) & Rusinovitch, Michael (ed)

**Rewriting techniques and applications
, 1999**

Rewriting techniques and applications. 10th international conference, RTA '99, held in Trento, Italy, july 2-4, 1999. Proceedings.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1631**).

Asano, Takao (ed) & Imai, Hiroshi (ed) & Lee, D-T. (ed) & al

**COCOON Computing and Combinatorics conference
, 1999**

Computing and combinatorics. 5th annual international conference, COCOON '99, held in Tokyo, Japan, july 26-28, 1999. Proceedings.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1627**).

Bertrand, Gilles (ed) & Couprie, Michel (ed) & Perroton, Laurent (ed)

**Discrete Geometry for Computer Imagery
, 1998**

Discrete Geometry for Computer Imagery. Proceedings of the 8th conference, DGCI '99, Marne-la-Vallée, France March 17-19, 1999.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1598**).

Meinel, Christoph (ed) & Tison, Sophie (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1999**

STACS'99. 16th annual symposium on theoretical aspects of computer science, held at Trier, Germany, March 4-6, 1999. Proceedings.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1563**).

Letures on data security. Modern cryptology in theory and practice. Summer school organized in july 1998 at the computer science department of Aarhus university, Denmark.
- Springer Verlag, 1999.
- (Lecture Notes in Computer Science; **1561**).

Whitesides, S.H. (ed)

**Symposium on Graph Drawing
, 1998**

6th international symposium on graph drawing, GD'98, Montréal, Canada, August 13-15, 1998. Proceedings.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1547**).

Chwa, Kyung-Yong (ed) & Ibarra, Oscar H. (ed)

**Intern. Symposium on Algorithms & Computation
, 1998**

Algorithms and computation. 9th international symposium, ISAAC '98, held in Taejon, Korea, December 14-16, 1998. Proceedings.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1533**).

State of the art in applied cryptography. Course on computer security and industrial cryptography, Leuven, Belgium, june 3-6, 1997. Revised lectures.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1528**).

Luby, Michael (ed) & Rolim, José (ed) & Serna, Maria (ed)

**Symp. Randomization & Approx. Tech. in Comp. Sci.
, 1998**

Second international workshop on randomization and approximation techniques in computer science, RANDOM '98 Barcelona, Spain, October 8-10, 1998. Proceedings.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1518**).

Hromkovic, Juraj (ed) & Sykora, Ondrej (ed)

**Workshop WG Graph theoretic concepts in computer science
, 1998**

Graph-theoretic concepts in computer science, 24th international workshop, WG'98, held in Smolenice Castle, Slovak Republic, june 18-20. Proceedings.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1517**).

Advances on cryptology ASIACRYPT '98. International conference on the thoery and applications of cryptology and information security, Beijing, China, October 18-22, 1998. Proceedings.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1514**).

Kutten, Shay (ed)

**int. symp. on DIStributed Computing
, 1998**

Distributed computing. 12th international symposium, DISC '98, held at Andros, Greece, september 24-26, 1998. Proceedings.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1499**).

Bilardi, Gianfranco (ed) & Italiano, Giuseppe F. (ed) & Pietracaprina, Andrea (ed) & Pucci, G. (ed)

**Economie et Statistiques Avancées
, 1998**

6th annual european symposium on algorithms, ESA '98, held in Venice, Italy, August 24-26, 1998. Proceedings.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1461**).

Brim, Lubos (ed) & Gruska, Jozef (ed) & Zlatuska, Jiri (ed)

**Mathematical Foundations of Computer Science
, 1998**

Mathematical Foundations of Computer Science 1998. Proceedings fo the 23rd international symposium, MFCS' 98, Brno, Czech Republic, august 24-26, 1998.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1450**).

Hsu, Wen-Lian (ed) & Kao, Ming-Yuang (ed)

**COCOON Computing and Combinatorics conference
, 1998**

Computing and combinatorics. 4th annual international conference, COCOON '98, Taipei, Taiwan, August 12-14, 1998. Proceedings.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1449**).

Larsen, Kim G. (ed) & Kkyum, Sven (ed) & Winskel, Glynn (ed)

**Int. Coll. on Automata, Languages and Programming
, 1998**

Automata, Languages and Programming. ICALP'98. Proceedings of 25th international colloquium, Aalborg, Denmark, july 13-18, 1998.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1443**).

Online algorithms, the state of the art.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1442**).

Buhler, J.P. (ed)

**Algorithmic Number Theory Symposium
, 1998**

Algorithmic number theory. Third international symposium, ANTS III, Portland, Oregon, USA, June 21-25, 1998. Proceedings.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1423**).

Desel, Jörg (ed) & Silva, Manuel (ed)

**Int. Conference on Application and Theory of Petri Nets
, 1998**

Application and theory of Petri nets 1998. 19th international conference, ICATPN '98, Lisbon, portugal, June 22-26, 1998. Proceedings.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1420**).

Computer science logic. 11th international workshop, CSL '97. Annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997. Selected papers.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1414**).

Lucchesi, Claudio L. (ed) & Moura, Arnaldo V. (ed)

**Latin American Theoretical INformatics
, 1998**

LATIN'98. 3rd Latin American Symposium, held in Campinas, Brazil, april 20-24, 1998. LATIN: Latin American Theoretical INformatics.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1380**).

Nipkov, Tobias (ed)

**Rewriting techniques and applications
, 1998**

Rewriting techniques and applications. Proceedings of 9th international conference, RTA-98. Tsukuba, Japan, march/april 1998.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1379**).

Foundations of software science and computation structures. 1st international conference, FoSSaCS'98 and ETAPS'98, held in Lisbon, Portugal, march 28-april 4, 1998. Proceedings.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1378**).

Morvan, Michel (ed) & Meinel, Christophe (ed) & Krob, Daniel (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1998**

STACS'98. 15th annual symposium on Theoretical Aspects of Computer Science. Held in Paris, France, 25-27 february, 1998.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1373**).

DiBattista, Giuseppe (ed)

**Symposium on Graph Drawing
, 1997**

5th international symposium, on graph drawing, GD'97, Rome, Italy, september 18-20, 1997. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1353**).

Foundations of computer science. Potential - Theory - Cognition.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1337**).

Möhring, Rolf H. (ed)

**Workshop WG Graph theoretic concepts in computer science
, 1997**

Graph-theoretic concepts in computer science. 23rd international workshop, WG '97, held in Berlin, Germany, on june 18-20, 1997. Proceeings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1335**).

Han, Yongfei (ed) & Okamoto, Tatsuaki (ed) & Qing, Sihan (ed)

**Int.Conf. Information and Communications Security
, 1997**

Information and communications security. First international conference, ICICS '97, Beijing, China, november 11-14, 1997. Proceedings.
- Springer Verlag, 1998.
- (Lecture Notes in Computer Science; **1334**).

Fitzgerald, John (ed) & Jones, Cliff B. (ed) & Lucas, Peter (ed)

**international symposium of Formal Methods Europe
, 1997**

FME '97: industrial applications and strengthened foundations of formal methods. 4th international symposium on Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1313**).

Burkard, Rainer (ed) & Woeginger, Gerhard (ed)

**Economie et Statistiques Avancées
, 1997**

5th annual european symposium on algorithms, ESA '97, held in Graz, Austria, september 15-17, 1997. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1284**).

Chlebus, Bogdan S. (ed) & Czaja, Ludwik (ed)

**FCT: Fundamentals of Computation Theory
, 1997**

Fundamentals of computation theory. 11th international symposium, FCT'97, Krakow, Poland, september 1997. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1279**).

Rolim, José (ed)

**Symp. Randomization & Approx. Tech. in Comp. Sci.
, 1997**

International workshop on Randomization and approximation techniques in computer science, RANDOM'97, Bologna, Italy July 11-12, 1997. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1269**).

Raymond, D. (ed) & Wood, D. (ed) & Yu, S. (ed)

**Workshop on Implementation Automata
, 1996**

Automata implementation. First international workshop on implementing automata, WIA '96, London, Ontario, Canada, august 1996. Revised papers.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1260**).

Degano, P. (ed) & Gorrieri, R. (ed) & Marchetti-Spaccamela, A. (ed)

**Int. Coll. on Automata, Languages and Programming
, 1997**

Automata, languages and programming. Proceedings of the 24th international colloquium, ICALP '97, held in Bologna, Italy, July 7-11, 1997.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1256**).

Mazurkiewicz, Antoni (ed) & Winkiowski, Jozef, (ed)

**Concurrency theory
, 1997**

CONCUR '97: Concurrency theory. 8th international conference held in Warsaw, Poland, on July 1-4, 1997. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1243**).

Adian, Sergei (ed) & Nerode, Anil(ed)

**Logical Foundations of Computer Science symposium
, 1997**

Logical fundations of computer science. 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1234**).

Comon, Hubert (ed)

**Rewriting techniques and applications
, 1997**

Rewriting techniques and applications. 8th international conference, RTA-97, held in Sitges, Spain, June 2-5, 1997. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1232**).

Bidoit, Michel (ed) & Dauchet, Max (ed)

**Theory and Practice of Software Developement conference
, 1997**

TAPSOFT '97: theory and practice of software development. 7th international joint conference CAAP-FASE, Lille, France, April 14-18, 1997. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1214**).

Bongiovanni, G. (ed) & Bovet, D.P. (ed) & Battista, G. di (ed)

**Conference on Algorithms and Complexity
, 1997**

Algorithms and complexity. Third italian conference, CIAC '97. Rome, Italy, march 1997. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1203**).

Reischuk, Rüdiger (ed) & Morvan, Michel (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1997**

STACS'97. 14th annual symposium on Theoretical Aspects of Computer Science. Lübeck, Germany, february/march 1997. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1200**).

Amore, F. d' (ed) & Franciosa, P.G. (ed) & Marchetti-Spaccamela, A. (ed)

**Workshop WG Graph theoretic concepts in computer science
, 1996**

Graph-theoretic concepts in computer science. 22nd international workshop, WG '96. Cadenabbia, Italy, June 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1197**).

North, Stephen (ed)

**Symposium on Graph Drawing
, 1996**

Symposium on Graph Drawing, GD'96 held in Berkeley, California, USA, September 18-20, 1996. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1190**).

Asano, T. (ed) & Igarashi, Y. (ed) & Nagamochi, H. (ed) & Miyano, S. (ed) & Suri, S. (ed)

**Intern. Symposium on Algorithms & Computation
, 1996**

Algorithms and computation. 7th international symposium, ISAAC '96. Osaka, Japan, december 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1178**).

Miguet, Serge (ed) & Montanvert, Annick (ed) & Ubéda, Stéphane (ed)

**Discrete Geometry for Computer Imagery
, 1996**

Discrete geometry for computer imagery. 6th international worshop, DGCI'96, Lyon, France, november 13-15, 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1176**).

Building tightly integrated software development environments: the IPSEN approach.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1170**).

Trends in distributed systems. CORBA and beyond. International workshop TreDS '96. Aachen, Germany, October 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1161**).

Logic in databases. International workshop LID '96, San Miniato, Italy, July 1-2, 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1154**).

Babaoglu, Ozalp (ed) & Marzullo, Keith (ed)

**Workshop on Distributed Algorithms
, 1996**

Distributed algorithms. 10th international workshop, WDAG'96. Bologna, Italy, october 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1151**).

Diaz, Josep (ed) & Serna, Maria (ed)

**Economie et Statistiques Avancées
, 1996**

Algorithms - ESA '96. Fourth annual european symposium. Barcelona, Spain, september 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1136**).

Cohen, Henri (ed)

**Algorithmic Number Theory Symposium
, 1996**

Algorithmic number theory. Second International Symposium, ANTS-II, Talence, France, May 18-23, 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1122**).

Deza, Michel (ed) & Euler, Reinhardt (ed) & Manoussakis, Ioannis (ed)

**Combinatorics & computer science
, 1995**

Combinatorics and computer science. 8th franco-japanese and 4th franco-chinese conference. Brest, France, july 3-5, 1995. Selected papers of CCS'95.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1120**).

Mathematical foundation of computer science 1996. 21st international symposium, MFCS '96, Cracow, Poland, September 2-6, 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1113**).

Rewriting techniques and applications. 7th international conference, RTA-96, New Brunswick, NJ, USA, June 27-30, 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1103**).

Wirsing, Martin (ed) & Nivat, Maurice (ed)

**Algebraic Methodology and Software Technology - int. Conf.
, 1996**

Algebraic methodology and software technology. 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1101**).

Meyer auf der Heide, Friedhelm (ed) & Monien, Burkhard (ed)

**Int. Coll. on Automata, Languages and Programming
, 1996**

Automata, languages and programming. 23rd international colloquium, ICALP'96, Paderborn, Germany, July 8-12, 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1099**).

Computer science logic. 9th international workshop, CSL '95. Annual conference of the EACSL Paderborn, Germany, september 22-29, 1995. Selected papers.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1092**).

Cai, Jin-Yi (ed) & Wong, Chak Kuen (ed)

**COCOON Computing and Combinatorics conference
, 1996**

Computing and combinatorics. COCOON '96. Hong Kong, June 17-19, 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1090**).

Graph grammars and their application to computer science. 5th international workshop, Williamsburg, VA, USA, November 13-18, 1994. Selected papers.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1073**).

Maurer, Ueli (ed)

**Eurocrypt
, 1996**

Advances in cryptology. EUROCRYPT'96. Proceedings of the international conference on the theory and application of cryptographic techniques, Saragossa, Spain, may 1996.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1070**).

Kirchner, Hélène (ed)

**Colloquium on Trees in Algebra and Programming
, 1996**

Trees in algebra and programming. CAAP '96. 21st international colloquium in Linköping, Sweden, April 1996. proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1059**).

Puech, Claude (ed) & Reischuk, Rüdiger (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1996**

STACS'96. 13th annual symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1046**).

Fast software encryption. Proceedings of the 3rd workshop, Cambridge, UK, february 21-23, 1996.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1039**).

Cryptography : policy and algorithms. Proceedings of international conference, Brisbane, Queensland, Australia, july, 1995.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1029**).

Brandenburg, Franz J. (ed)

**Symposium on Graph Drawing
, 1995**

Symposium on Graph Drawing, GD'95 held in Passau, Germany, September 20-22, 1995. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **1027**).

Cryptography and coding. Proceedings of the 5th IMA conference, Cirencester, UK, december 1995.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **1025**).

Nagl, Manfred (ed)

**Workshop WG Graph theoretic concepts in computer science
, 1995**

Graph-Theoretic concepts in computer science. 21st international workshop, WG '95, Aachen, Germany, June 20-22, 1995. Proceedings.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **1017**).

Bartosek, Miroslav (ed) & Staudek, Jan (ed) & Wiedermann, Jiri (ed)

**SOFtware SEMinar, Bratislava and Brno
**

SOFSEM'95: Theory and practice of informatics. 22nd seminar on current trends in theory and practice of informatics. Milovy, Czech Republic, november/december, 1995. Proceedings.
- Springer Verlag, 1997.
- (Lecture Notes in Computer Science; **1012**).

Staples, John (ed) & Eades, Peter (ed) & Katoh, Naoki (ed) & Moffat, Alistair (ed)

**Intern. Symposium on Algorithms & Computation
, 1995**

Algorithms and computation. 6th international symposium, ISAAC '95, Cairns, Australia, December 4-6, 1995 proceedings.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **1004**).

Computer science today. Recent trends and developments.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **1000**).

Spirakis, Paul

**Economie et Statistiques Avancées
, 1995**

Algorithmas. ESA '95. 3rd annual european symposium held at Corfu, Greece, september 25-27, 1995. Proceedings.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **979**).

Hélary, Jean-Michel (ed) & Raynal, Michel (ed)

**Workshop on Distributed Algorithms
, 1995**

Distributed algorithms. 9th international workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13-15, 1995. Proceedings.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **972**).

Wiedermann, Jiri & Hajek, Petr

**Mathematical Foundations of Computer Science
, 1995**

Mathematical foundations of computer science 1995. 20th international symposium, Prague, August 28-september 1, 1995. Proceedings.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **969**).

Reichel, Horst (ed)

**FCT: Fundamentals of Computation Theory
, 1995**

Fundamentals of computation theory. 10th international conference, FCT'95, Dresden, Germany, august 1995. Proceedings.
- Springer Verlag, 1996.
- (Lecture Notes in Computer Science; **965**).

Du, Ding-Zhu (ed) & Li, Ming (ed)

**COCOON Computing and Combinatorics conference
, 1995**

Computing and combinatorics. First annual international conference, COCOON'95, held at Xi'an, Cina, august 24-26, 1995. Proceedings.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **959**).

Algorithms and data structures. 4th international workshop, WADS'95, held at Kingston, Canada, august 16-18, 1995. Proceedings.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **955**).

Cohen, Gérard & Giusti, Marc & Mora, Teo (eds)

**Algebraic Algorithms and Error-Correcting Codes
**

Applied algebra, algebraic algorithms and error-correcting codes. 11th international symposium, AAECC-11, Paris, France, july 1995. Proceedings.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **948**).

Fülöp, Zoltan (ed) & Gécseg, Ferenc (ed)

**Int. Coll. on Automata, Languages and Programming
, 1995**

Automata, languages and programming. 22nd international colloquium, ICALP'95 held at Szeged, Hungary, july 10-14, 1995. Proceedings.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **944**).

Computer science logic. 8th workshop, CSL'94, held at Kazimierz, Poland, september 25-30, 1994. Selected papers.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **933**).

TAPSOFT'95: Theory ans practice of software development. Proceedings of 6th international joint conference CAAP/FASE, Aarhus, Denmark, may 1995.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **915**).

Rewriting techniques and applications. 6th international conference , RTA-95, held in Kaiserslautern, Germany, April 5-7, 1995. Proceedings.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **914**).

Term rewriting. French spring school of theoretical computer science, held in Font Romeux, France, May 17-21, 1993. Advanced course.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **909**).

Mayr, Ernst W. & Schmidt, Gunther & Tinhofer, Gottfried (eds)

**Workshop WG Graph theoretic concepts in computer science
, 1994**

Graph theoretic concepts in computer science. 20th international workshop, WG'94, Herrsching, Germany, june 1994. Proceedings.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **903**).

Tamassia, Roberto (ed) & Tollis, Ioannis G. (ed)

**Symposium on Graph Drawing
, 1994**

Graph drawing'94. Proceedings of DIMACS International Workshop, GD'94, Princeton, New Jersey, USA, october 10-12, 1994.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **894**).

Pingali, K. (ed) & Banerjee, U. (ed) & Gelernter, D. (ed) & Nicolau, A. (ed) & Padua, D. (ed)

**Languages & Compilers for Parallel Computing
, 1994**

Languages and compilers for parallel computing. 7th international workshop, Ithaca, NY, USA, august 8-10, 1994. Proceedings.
- Springer Verlag, 1994.
- (Lecture Notes in Computer Science; **892**).

Leeuwen, Jan van (ed)

**Economie et Statistiques Avancées
, 1994**

Algorithms, ESA'94. Second annual european symposium, Utrecht, The Netherlands, september 1994. Proceedings.
- Springer Verlag, 1995.
- (Lecture Notes in Computer Science; **855**).

Treewidth computations and approximations.
- Springer Verlag, 1994.
- (Lecture Notes in Computer Science; **842**).

Privara, Igor (ed) & Rovan, Branislav (ed) & Ruzicka, Peter (ed)

**Mathematical Foundations of Computer Science
, 1994**

Mathematical foundations of computer science 1994. 19h international symposium, Kosice, Slovakia, august 1994. Proceedings.
- Springer Verlag, 1994.
- (Lecture Notes in Computer Science; **841**).

Börger, E. (ed) & Gurevich, Y. (ed) & Meinke, K. (ed)

**Computer Science Logic - congrés
, 1993**

Computer science logic. 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993. Selected papers.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **832**).

Orders, algorithms and applications. International workshop ORDAL '94, Lyon, France July 4-8, 1994. Proceedings.
- Springer Verlag, 1994.
- (Lecture Notes in Computer Science; **831**).

Abiteboul, S. (ed) & Shamir, E. (ed)

**Int. Coll. on Automata, Languages and Programming
, 1994**

Automata, languages and programming. 21st international colloquium, ICALP '94, Jerusalem, Israel, july 11-14, 1994. Proceedings.
- Springer Verlag, 1994.
- (Lecture Notes in Computer Science; **820**).

Higher-order algebra, logic and term rewriting. 1st international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24 1993. Selected papers.
- Springer Verlag, 1994.
- (Lecture Notes in Computer Science; **816**).

Logical foundations of computer science. 3rd international symposium, LFCS '94, Saint Petersburg, Russia, July 11-14, 1994. Proceedings.
- Springer Verlag, 1994.
- (Lecture Notes in Computer Science; **813**).

Results and Trends in theoretical computer science. Colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994. Proceedings.
- Springer Verlag, 1994.
- (Lecture Notes in Computer Science; **812**).

Tison, S. (ed)

**Colloquium on Trees in Algebra and Programming
, 1994**

Trees in algebra and programming, CAAP '94, Proceedings. 19th international colloquium, Edinburgh, U.K., april 1994.
- Springer Verlag, 1994.
- (Lecture Notes in Computer Science; **787**).

Graph transformations in computer science. International workshop held in Dagstuhl Castle, Germany, January 4-8, 1993. Proceedings.
- Springer Verlag, 1994.
- (Lecture Notes in Computer Science; **776**).

Enjalbert, P. (ed) & Mayr, E.W. (ed) & Wagner, K.W. (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1994**

STACS'94. Proceedings of the 11th annual symposium on theoretical aspects of computer science, Caen, France, february 24-26, 1994.
- Springer Verlag, 1994.
- (Lecture Notes in Computer Science; **775**).

Ng, K.W. (ed) & Raghavan, P. (ed) & Balasubramanian, N.V. & Chin, F.Y.L. (ed)

**Intern. Symposium on Algorithms & Computation
, 1993**

Algorithms and computation. Proceedings of the 4th international symposium, ISAAC'93, Hong Kong, december 15-17, 1993.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **762**).

Hybrid systems. Workshop on the theory of hybrid systems held October 19-21, 1992 at the Technical University, Lyngby, Denmark, and by a prior Hybrid Systems Workshop, June 10-12, 1991 at the mathem. sci. Inst., Cornell University, USA.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **736**).

Lengauer, Thomas (ed)

**Economie et Statistiques Avancées
, 1993**

Algorithms. ESA '93. First annual european symposium, Bad Honnef, Germany, september 30-october 2, 1993. Proceedings.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **726**).

Schiper, André (ed)

**Workshop on Distributed Algorithms
, 1993**

Distributed algorithms. Proceedings of the 7th international workshop, WDAG'93, Lausanne, Switzerland, september 27-29, 1993.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **725**).

Borzyszkowski, A.M. (ed) & Sokolowski, S. (ed)

**Mathematical Foundations of Computer Science
, 1993**

Mathematical foundations of computer science 1993. Proceedings of the 18th international symposium, MFCS'93, Gdansk, Poland, august 30-september 3, 1993.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **711**).

Esik, Zoltàn (ed)

**FCT: Fundamentals of Computation Theory
, 1993**

Fundamentals of Computation Theory. 9th international conference, FCT '93, Szeged, Hungary, august 23-27, 1993, proceedings.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **710**).

Börger, E. & Jäger, G. & Kleine Büning, H. & Martini, S. & Richter, M.M. (eds)

**Computer Science Logic - congrés
, 1992**

Computer science logic. 6th workshop, CSL'92. San Miniato, Italy, september/october 1992. Selected papers.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **702**).

Lingas, A. & Karlsson, R. & Carlsson, S. (eds)

**Int. Coll. on Automata, Languages and Programming
, 1993**

Automata, languages and programming. 20th international colloquium, ICALP'93. Lund, Sweden, july 5-9, 1993. Proceedings.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **700**).

Kirchner, Claude (ed)

**Rewriting techniques and applications
, 1993**

Rewriting techniques and applications. 5th international conference. RTA-93 Montréal, Canada, june 16-18, 1993. Proceedings.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **690**).

Word equations and related topics. 2nd international workshop, IWWERT'91. Rouen, France, october 7-9, 1991. Proceedings.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **677**).

Enjalbert (ed) & Finkel (ed) & Wagner (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1993**

STACS'93. Proceedings of the 10th annual symposium on theoretical aspects of computer science, Würzburg, Germany, february 25-27, 1993.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **665**).

Typed Lambda Calculi and applications. International conference on Typed Lambda Calculi and applications, TLCS '93, March 16-18, 1993, Utrecht, The Neherlands. Proceedings.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **664**).

Computer aided verification. Fourth international workshop, CAV '92, Montreal, Canada, june 29 - july 1, 1992. Proceedings.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **663**).

Mayr, E.W. (ed)

**Workshop WG Graph theoretic concepts in computer science
, 1992**

Graph-Theoretic Concepts in Computer Science. 18th international workshop, WG '92, Weisbaden-Naurod, Germany, june 18-20, 1992. Proceedings.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **657**).

Conditional term rewriting systems. Third international workshop, CTRS-92, Pont-à-Mousson, France, July 8-10 1992. Proceedings.
- Springer Verlag, 1993.
- (Lecture Notes in Computer Science; **656**).

Ibaraki, T. (ed) & Inagaki, Y. (ed) & Iwama, K. (ed) & Nishizeki, T. (ed) & Yamashita, M. (ed)

**Intern. Symposium on Algorithms & Computation
, 1992**

Algorithms and computation. Third international symposium, ISAAC '92, Nayoya, Japan, december 16-18, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **650**).

Segall, A. (ed) & Zaks, S. (ed)

**Workshop on Distributed Algorithms
, 1992**

Distributed algorithms. 6th international workshop, WDAG '92, Haifa, Israel, November 2-4, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **647**).

Biskup, J. (ed) & Hull, R. (ed)

**International Conference in Database Theory
, 1992**

Database theory - ICDT '92. 4th international conference, Berlin, Germany, October 14-16, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **646**).

Pernul, G. (ed) & Tjoa, A.M. (ed)

**Entity-Relationship Approach
, 1992**

Entity-Relationship approach - ER '92. 11th international conference on the Entity-Relationship Approach, Karlsruhe, Germany, october 7-9, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **645**).

Apostolico, A. (ed) & Crochemore, M. (ed) & Galil, Z. (ed) & Manber, U. (ed)

**Combinatorial Patern Matching Symposium
, 1992**

Combinatorial pattern matching. Third annual symposium, Tucson, Arizona, USA, April 29-May 1, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **644**).

Hyperedge replacement : grammars and languages.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **643**).

Kirchner, H. (ed) & Levi, G. (ed)

**Algebraic and Logic Programming
, 1992**

Algebraic and logic programming. Third international conference Volterra, Italy, September 2-4, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **632**).

CONCUR '92. 3rd international conference on concurrency theory. Stony Brook, N.Y. USA, august 24-27, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **630**).

Havel, Ivan M. (ed) & Koubek, Vàclav

**Mathematical Foundations of Computer Science
, 1992**

Mathematical Foundations of Computer Science, 1992. 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **629**).

Modular construction and partial order semantics of Petri nets.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **625**).

Kuich, Werner (ed)

**Int. Coll. on Automata, Languages and Programming
, 1992**

Automata, languages and programming. 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **623**).

Nurmi, O. (ed) & Ukkonen, E. (ed)

**Scandinavian Workshop on Algorithm Theory
, 1992**

Algorithm theory. SWAT '92. Third scandinavian workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **621**).

TVER '92 Logical foundations of computer science. Second international symposium Tver, Russia, July 20-24, 1992, Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **620**).

Constructivity in computer science. Summer symposium, san Antonio, TX, June 19-22, 1991. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **613**).

Axioms and hulls.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **606**).

PARLE '92 Parallel architectures and languages Europe. 4th international PARLE conference Paris, France June 15-18, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **605**).

Theory of computing and systems. ISTCS '92, Israel symposium, Haifa, Israel, may 27-28, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **601**).

Real-time: Theory in practice. REX Workshop, Mook, Netherlands, june 3-7, 1991. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **600**).

Mathematical foundations of programming semantics. 7th international conference Pittsburgh, USA, march 25-28, 1991 proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **598**).

LATIN '92. 1st Latin American Symposium on Theoretical Informatics. Sao Paulo, Brazil, April 6-10, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **583**).

Krieg-Brückner, B. (ed)

**European Symposium on Programming
, 1992**

ESOP '92. 4th european symposium on programming, Rennes, France, February 26-28, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **582**).

Raoult, J.C. (ed)

**Colloquium on Trees in Algebra and Programming
, 1992**

CAAP '92. 17th colloquium on Trees in Algebra and programming, Rennes, France, February 26-28, 1992, Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **581**).

Finkel, A. (ed) & Jantzen, M. (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1992**

STACS'92. 9th annual symposium on theoretical aspects of computer science, Cachan, France, February 13-15, 1992. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **577**).

Computer Aided Verification. 3rd international workshop, CAV'91, Aalborg, Denmark, july 1-4, 1991. Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **575**).

Schulz, K.U. (ed)

**International Word Equations & Related Topics
, 1990**

Word equations and related topics. First Internatinal Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **572**).

Schmidt, G. (ed) & Berghammer, R. (ed)

**Workshop WG Graph theoretic concepts in computer science
, 1991**

Graph-theoretic concepts in computer science. 17th international workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings.
- Springer Verlag, 1992.
- (Lecture Notes in Computer Science; **570**).

Fundamental algorithms for permutation groups.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **559**).

Conclog : a methodological approach to concurrent logic programming.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **556**).

New results and new trends in computer science, Graz, Austria, June 20-21, 1991. Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **555**).

VDM'91. Formal software development methods. 4th international symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings. Volume 2 : Tutorials.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **552**).

Börger, E. (ed) & Kleine Büning, H. (ed) & Richter, M.M. (ed) & Schönfeld, W. (ed)

**Computer Science Logic - congrés
, 1990**

Computer science logic. 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **533**).

Ehrig, H. (ed) & Kreowski, H.-J. (ed) & Rozenberg, G. (ed)

**Graph Grammars and their Application to Computer Science
, 1990**

Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **532**).

Budach, L. (ed)

**FCT: Fundamentals of Computation Theory
, 1991**

Fundamentals of computation theory. 8th International conference FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings;.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **529**).

CONCUR '91. Proceedings. Amsterdam, The Netherlands, august 26-29, 1991.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **527**).

Ito, T. (ed) & Meyer, A.R. (ed)

**Theoretical Aspects of Computer Software
, 1991**

Theoretical aspects of computer software. International conferene TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **526**).

Tarlecki, Andrzej (ed)

**Mathematical Foundations of Computer Science
, 1991**

Mathematical foundations of computer science 1991. 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **520**).

Kaplan, S. (ed) & Okada, M. (ed)

**Conditional and Typed Rewriting Systems
, 1990**

Conditional and typed rewriting systems. 2nd intenational CTRS workshop, Montréal, Canada, June 11-14, 1990, Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **516**).

Leach Albert, Javier (ed) & Monien, B. (ed) & Rodriguez Artalejo, M. (ed)

**Int. Coll. on Automata, Languages and Programming
, 1991**

Proceedings ICALP'91. Automata, Languages and Programming. 18th international colloquium , Madrid, Spain, july 8-12, 1991.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **510**).

Aarts, E.H.L. (ed) & Leeuwen, J. van (ed) & Rem, M. (ed)

**Parallel Architectures and Languages Europe
, 1991**

PARLE '91. Parallel architectures and languages Europe. Volume 2 : Parallel languages, Eindhoven, The Netherlands, June 10-13, 1991. Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **506**).

Aarts, E.H.L. (ed) & Leeuwen, J. van (ed) & Rem, M. (ed)

**Parallel Architectures and Languages Europe
, 1991**

PARLE '91. Parallel architectures and languages Europe. Volume 1 : Parallel Architectures and algorithms, Eindhoven, The Netherlands, June 10-13, 1991. Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **505**).

Dehne, F. (ed) & Fiala, F. (ed) & Koczkodaj, W.W. (ed)

**International conference on Computing and Information
, 1991**

Advances in computing and information. International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991. Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **497**).

Abramsky, S. (ed) & Maibaum, T.S.E. (ed)

**Theory and Practice of Software Developement conference
, 1991**

TAPSOFT '91. Proceedings of the international joint conference on theory and practice of software developement, Brighton, UK, April 8-11,1991. V.2 : Adv. in Distributed Computing (ADC) and colloq. on Combining Paradigms for Software Develop.
- Springer Verlag.
- (Lecture Notes in Computer Science; **494**).

Abramsky, S. (ed) & Maibaum, T.S.E. (ed)

**Theory and Practice of Software Developement conference
, 1991**

TAPSOFT '91. Proceedings of the international joint conference on theory and practice of software developement, Brighton, UK, April 1991. Vol.1 : Colloquium on trees in algebra and programming CAAP '91.
- Springer Verlag.
- (Lecture Notes in Computer Science; **493**).

Rewriting techniques and applications. 4th international conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **488**).

Bode, Arndt (ed)

**Europ. Distributed Memory Computing Conference
, 1991**

Distributed memory computing. 2nd European Conference DEMCC2, Munich, FRG, April 22-24, 1991. Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **487**).

Distributed algorithms. 4th International Workshop , Bari, Italy, September 24-26, 1990. Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **486**).

Möhring, R.H. (ed)

**Workshop WG Graph theoretic concepts in computer science
, 1990**

Graph-theoretic concepts in computer science. 16th international workshop WG '90, Berlin, Germany, June 1990. Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **484**).

Choffrut, C. (ed) & Jantzen, M. (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1991**

STACS 91. 8th annual symposium on theoretical aspects of computer science. Hamburg, Germany, february 14-16, 1991. Proceedings.
- Springer Verlag, 1991.
- (Lecture Notes in Computer Science; **480**).

Foundations of software technology and theoretical computer science. 10th conference, Bangalore, India, December 17-19, 1990, Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **472**).

Semantics of systems of concurrent processes. LITP spring school on theoretical computer science, La Roche Posay, France, April 23-27, 1990. proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **469**).

Aspects and prospects of theoretical computer science. 6th international meeting of young computer scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **464**).

Kirchner, H. (ed) & Wechler, W. (ed)

**Algebraic and Logic Programming
, 1990**

Algebraic and logic programming. Second international conference, Nancy, France, October 1990. Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **463**).

Deransart, P. (ed) & Jourdan, M. (ed)

**Workshopon Attribute Grammars and their applications
, 1990**

Attribute grammars and their applications. International Conference WAGA. Paris, France, September 1990. Proceedings vol. 8. Organisé par l'INRIA.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **461**).

CONCUR '90. Theories of concurrency : unification and extension. Amsterdam, The Netherlands, August 27-30, 1990. Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **458**).

Deransart, P. (ed) & Maluszynski, J. (ed)

**Programming language implementation and logic progr. worksh.
, 1990**

Programming language implementation and logic programming. International workshop PLILP '90, Linköping, Sweden, August 20-22, 1990, Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **456**).

A collection of test problems for constrained global optimization algorithms.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **455**).

Combinatorics on traces.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **454**).

Rovan, B. (ed)

**Mathematical Foundations of Computer Science
, 1990**

Mathematical foundations of computer science 1990. Banska Bystrica, Czechoslovakia, August 27-31, 1990. Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **452**).

Asano, Tetsuo & Ibaraki, Toshihide & Imai, Hiroshi & Nishizeki, Takao (eds)

**International symposium on Algorithms
, 1990**

Algorithms. International symposium SIGAL'90, held at Tokyo, Japan, august 16-18, 1990. Proceedings.
- Springer Verlag.
- (Lecture Notes in Computer Science; **450**).

SWAT 90. Proceedings of 2nd scandinavian workshop on algorithm theory. Bergen, sweden, july 11-14, 1990.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **447**).

Paterson, Michael S. (ed)

**Int. Coll. on Automata, Languages and Programming
, 1990**

Automata, Languages and programming. Proceedings of 17th international colloquium, Warwick university, England, july 16-20, 1990. ICALP 90.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **443**).

Börger, E. (ed) & Kleine Büning, H. (ed) & Richter, M.M. (ed)

**Computer Science Logic - congrés
, 1989**

CSL '89. 3rd workshop on computer science logic, Kaiserslautern, FRG, october 2-6, 1989, proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **440**).

Quisquater, J.-J. (ed) & Vandewalle, J. (ed)

**Eurocrypt
, 1989**

Advances in cryptology. EUROCRYPT '89. Workshop on the theory and application of cryptographic techniques, Houthalen, Belgium, April 10-13, 1989. Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **434**).

Progress in distributed operating systems and distributed systems management. Proceedings of European workshop held in Berlin, FRG, april 18-19, 1989.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **433**).

Jones, N. (ed)

**European Symposium on Programming
, 1990**

ESOP '90. 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990. Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **432**).

Arnold, A. (ed)

**Colloquium on Trees in Algebra and Programming
, 1990**

CAAP '90. 15th colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990. Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **431**).

Bakker, J.W. de (ed) & Roever, W.P. de (ed) & Rozenberg, G. (ed)

**REX project, Research and Education in Concurrent Systems
, 1989**

Stepwise refinement of distributed systems. Models, formalisms, correctness. REX workshop, Mook, the Netherlands, may 29-june 2, 1989. Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **430**).

Björner, D. (ed) & Hoare, C.A.R. (ed) & Langmaack, H. (ed)

**Vienna Development Method
, 1990**

VDM '90. VDM and A-formal methods in software development. Third international sysmposium of VDM Europe, Kiel, FRG, april 17-21, 1990. Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **428**).

Faugeras, O. (ed)

**European Conference on Computer Vision
, 1990**

First european conference on Computer Vision, held in Antibes, France, April 23-27, 1990. Proceedings. Sponsored by INRIA.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **427**).

Choffrut, C. & Lengauer, T. (eds)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1990**

STACS 90. 7th annual symposium on Theoretical Aspects of Computer Science. Rouen, France, February 1990. Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **415**).

Nagl, M. (ed)

**Workshop WG Graph theoretic concepts in computer science
, 1989**

Graph-theoretic concepts in computer science. 15th international workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989. Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **411**).

Automatic verification methods for finite state systems. International workshop, Grenoble, France. June 12-14, 1989, Proceedings.
- Springer Verlag, 1990.
- (Lecture Notes in Computer Science; **407**).

Distributed algorithms. Proceedings of 3rd international workshop, Nice France, september 26-28, 1989.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **392**).

Category theory and computer science. Manchester, UK, September 5-8, 1989, proceedings.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **389**).

Formal properties of finite automata and applications. LITP spring school on theoretical computer science, Ramatuelle, France, May 23-27, 1988. Proceedings.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **386**).

Kreczmar, A. (ed) & Mirkowska, G. (ed)

**Mathematical Foundations of Computer Science
, 1989**

Mathematical Foundations of computer science 1989. Porabka-Kozubnik, Poland, Agust 28 - september 1, 1989. Proceedings.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **379**).

Mathematics of program construction. 375th anniversary of the Groningen Univeristy. International Conference, Groningen, The Netherlands, june 26-30, 1989, proceedings.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **375**).

Ausiello, G. & Dezani-Ciancaglini, M. & Ronchi Della Rocca, S. (eds)

**Int. Coll. on Automata, Languages and Programming
, 1989**

Automata, languages and programming. 16th international colloquium, Stresa, Italy, july 11-15, 1989. Proceedings.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **372**).

Foundations of Data organization and algorithms. 3d international conference, FODO 1989, Paris, France, June 21-23, 1989, proceedings. Avec le concours de l'INRIA.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **367**).

Logic at Botik '89, Symposium on logical foundations of computers science, Pereslavl-zalessky, USSR, July 3-8, 1989.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **363**).

Nested relations and complex objects in Data Bases.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **361**).

Dershowitz, N. (ed)

**Rewriting techniques and applications
, 1989**

Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, North Carolina, USA, april 1989. Proceedings.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **355**).

Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **354**).

TAPSOFT'89. Proceedings of the international joint conference on theory and practice of software development. Barcelona, Spain, 13-17 march 1989. Volume 2.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **352**).

TAPSOFT'89. Proceedings of the international joint conference on theory and practice of software development. Barcelona, Spain, 13-17 march 1989. Volume 1.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **351**).

Monien, Burkhard (ed) & Cori, Robert (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1989**

STACS 89. 6th annual symposium on theoretical aspects of computer science. Paderborn, FRG, february 16-18, 1989. Proceedings.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **349**).

Programming languages implementation and logic programming. International Workshop PLILP '88, Orléans, France, May 1988. Proceedings 1988.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **348**).

Graph-theoretic concepts in computer science, international workshop WG '88, Amsterdam, the Netherlands, June 15-17, 1988, Proceedings.
- Springer Verlag, 1989.
- (Lecture Notes in Computer Science; **344**).

Grabowski, J. & Lescanne, P. & Wechler, W. (eds)

**Algebraic and Logic Programming
, 1988**

Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988, proceedings.
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **343**).

Advances in Petri nets 1988.
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **340**).

Foundations of software tecnology and theoretical computer science, eighth conference, Pune, India, december 21-23, 1988, proceedings.
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **338**).

Recent trends in Data type specification. 5th workshop on specification of abstract Data types, Gullane, Scotland, september 1-4, 1987. Selected papers.
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **332**).

Chytil,M.P. & Janiga, L. & Koubek, V. (eds)

**Mathematical Foundations of Computer Science
, 1988**

Mathematical foundations of computer science 1988. Proceedings of the 13th Symposium. Carlsbad, Czechoslovakia, august 29-september 2, 1988.
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **324**).

Attribute grammars, definition, systems and bibliography.
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **323**).

SWAT 88. first scandinavian workshop on algorithm theory. Halmstad, Sweden, July 5-8, 1988. Proceedings.
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **318**).

Lepistö, Timo & Salomaa, Arto (eds)

**Int. Coll. on Automata, Languages and Programming
, 1988**

Proceedings of the 15th International Colloquium : Automata, languages and programming (ICALP), Tampere, Finland, July 11-15, 1988.
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **317**).

Automata networks (LITP spring schoool on theoretical computer science, Argelés-Village, France, may 12-16, 1986, Proceedings).
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **316**).

Furukawa, K. & Tanaka, H. & Fujisaki, T. (eds)

**Logic Programming - conferences
, 1987**

Logic programming '87. Tokyo. Proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987.
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **315**).

Graph-theoretic concepts in computer science. International workshop WG '87, Kloster Banz/Staffelstein, FRG, June/july 1987, proceedings.
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **314**).

Conditional term rewriting systems. Orsay, France, july 8-10, 1987.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **308**).

Foundations of logic and functional programming. Trento (Italy), december 15-19, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **306**).

ESOP '88: 2nd european symposium on programming, held in Nancy, France, march 21-24, 1988; proceedings.
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **300**).

Dauchet, M. & Nivat, M. (eds)

**Colloquium on Trees in Algebra and Programming
, 1988**

CAAP '88 13th Colloquium on Trees in Algebra and Programming. Nancy, France, March 21-24, 1988. Proceedings.
- Springer Verlag, 1988.
- (Lecture Notes in Computer Science; **299**).

Ehrig, H. & Nagl, M. & Rozenberg, G. & Rosenfeld, A. (eds)

**Graph Grammars and their Application to Computer Science
, 1986**

Graph-grammars and their application to computer science. 3rd international workshop, Warrenton (Virginia-U.S.A.), december 2-6, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **291**).

Foundations of software technology and theoretical computer sciences. Seventh conference, Pune, India, December, 17-19, 1987. Proceedings.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **287**).

Category theory and computer science. Edinburgh, september 7-9, 1987.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **283**).

Visualization in programming. Schärding (Autriche), may 20-23, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **282**).

Graph reduction, Proceedings of a workshop, Santa Fé, New Mexico, USA, september 29- october 1, 1986.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **279**).

Budach, L. & Bukharajev, R.G. & Lupanov, O.B. (eds)

**FCT: Fundamentals of Computation Theory
, 1987**

Fundamentals of computation theory. Kazan (U.R.S.S.), june 21-26, 1987.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **278**).

Systems of reductions.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **277**).

ECOOP'87, European Conference on Object-Oriented Programming, Proceedings, Paris, France, June 15-17, 1987.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **276**).

System development and Ada, CRAI workshop on sofware factories and Ada, Capri, Italy, May 1986, proceedings.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **275**).

A connotational theory of program structure.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **273**).

Future parallel computers, an advanced course, june 9-20, 1986. Pisa (Italy).
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **272**).

Computation theory and logic.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **270**).

Constrained global optimization: algorithms and applications.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **268**).

Ottmann, Thomas (ed)

**Int. Coll. on Automata, Languages and Programming
, 1987**

Automata, languages and programming. 14th international colloquium. Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **267**).

Advances in Petri nets 1987.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **266**).

Analogical and inductive inference, international workshop all'86, october 6-10, proceedings. Wendisch-Rietz (GDR).
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **265**).

Wada, Eiiti (ed)

**Logic Programming - conferences
, 1986**

Logic programming '86. Proceedings of the 5th Conference. Tokyo, Japan, June 23-26, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **264**).

Translating relational queries into iterative programs.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **261**).

ANNA a language for annotating Ada programs, reference manual.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **260**).

Bakker, J.W. de & Nijman & Treleaven (eds)

**Parallel Architectures and Languages Europe
, 1987**

PARLE, vol.II. Parallel Architectures and Languages in Europe. Proceedings. Eindhoven, June 1987.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **259**).

Database machine performance : modeling methodologies and evaluation strategies.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **257**).

Lescanne, Pierre (ed)

**Rewriting techniques and applications
, 1987**

Rewriting techniques and applications, Proceedings, Bordeaux, France, may 25-27, 1987.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **256**).

Petri nets (vol.2): Applications and relationships to other models of concurrency. Bad Honnef, 8-19, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **255**).

Petri nets (vol.1): Central models and their properties ; Advances in Petri nets 1986, Part I ; Proceedings of an advanced course, Bad Honnef, september 8-19, 1986.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **254**).

WOPPLOT '86. Parallel processing : logic, organization, and technology. Proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **253**).

Ehrig, H. & Kowalski, R. & Levi, & Montanari, U.

**Theory and Practice of Software Developement conference
**

TAPSOFT'87 volume 2. Pisa, Italy, march 23-27, 1987.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **250**).

Ehrig, H. & Kowalski, R. & Levi, & Montanari, U.

**Theory and Practice of Software Developement conference
, 1987**

TAPSOFT'87 volume 1. Pisa, Italy, march 23-27, 1987.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **249**).

Brandenburg, F.J. & Vidal-Naquet, G. & Wirsing, M. (eds)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1987**

STACS 87. 4th annual Symposium on Theoretical Aspects of Computer Science. Passau, Federal Republic of Germany, February 87. Proceedings.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **247**).

Graph-theoretic concepts in computer science ; Proceedings of the international workshop WG'86, Bernried, Federal republic of Germany, june 17-19, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **246**).

Combinators and functional programming languages. Val d'Ajol, France, may 6-10, 1985.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **242**).

Foundations of software technology and theoretical computer science. New Delhi, India, december 18-20, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **241**).

Category theory and computer programming. Proceedings. Tutorial and workshop, Guilford, U.K. September 16-20, 1985.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **240**).

Mathematical foundations of programming semantics, international conference, Manhattan, Kansas, april 11-12, 1985.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **239**).

Negation and control in prolog.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **238**).

CONPAR 86. Proceedings of the conference on Algorithms and hardware for parallel processing. Aachen, september 17-19, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **237**).

TEX for scientific documentation. Strasbourg, june 19-21, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **236**).

Accurate scientific computations. Bad Neuenahr, march 12-14, 1985.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **235**).

Concepts in user interfaces: a reference model for command and response languages. By members of IFIP working group 2.7.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **234**).

Gruska, J. (ed) & Rovan, B. (ed) & Wiedermann, J. (ed)

**Mathematical Foundations of Computer Science
, 1986**

Mathematical foundations of computer science 1986. Proceedings of the 12th Symposium. Bratislava, Czechoslovakia, August 25-29, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **233**).

Fundamentals of artificial intelligence: an advanced course.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **232**).

8th international conference on automated deduction ; Proceedings, Oxford, England, july 27-august 1, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **230**).

Algebraic algorithms and error-correcting codes ; Proceedings, 3rd international conference AAECC-3 Grenoble, France, july 15-19, 1985.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **229**).

Applied algebra, algorithmics and error-correcting codes. Toulouse, october 1-5, 1984.
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **228**).

VLSI algorithms and architectures. Loutraki (Grece), july 8-11, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **227**).

Kott, Laurent (ed)

**Int. Coll. on Automata, Languages and Programming
, 1986**

Automata, Languages and programming, 13th international colloquium, Rennes, France, july 15-19, 1986; Proceedings.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **226**).

Third international conference on logic programming. Proceedings, London, july 14-18, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **225**).

Advances in Petri nets 1985.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **222**).

Wada, Eiiti (ed)

**Logic Programming - conferences
, 1985**

Logic programming '85. Proceedings of the 4th conference, Tokyo, Japan, july 1-3, 1985.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **221**).

RIMS Symposia on software science and engineering II; Proceedings of the symposia 1983 and 1984, Kyoto, Japan.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **220**).

Programs as Data objects. October 17-19, 1985.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **217**).

Mathematical methods of specification and synthesis of software systems '85, proceedings of the international spring school, Wendisch-Rietz, GDR, april 22-26, 1985.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **215**).

Franchi-Zannettacci, Paul (ed)

**Colloquium on Trees in Algebra and Programming
, 1986**

CAAP'86. 11th colloquium on trees in algebra and programming, Nice, France, March 24-26, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **214**).

Robinet, B. (ed) & Wilhelm, R. (ed)

**European Symposium on Programming
, 1986**

European symposium on programming, held in Saarbrücken, Federal Republic of Germany, march 17-19, 1986. Proceedings.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **213**).

Monien, B. (ed) & Vidal-Naquet, G. (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1986**

STACS 86; 3rd annual symposium on Theoretical aspects of computer science, Orsay, France, january 16-18, 1986.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **210**).

Beth, Thomas (ed) & Cot, Norbert (ed) & Ingemarsson, Ingemar (ed)

**Eurocrypt
, 1984**

Advances in cryptology, Proceedings of EUROCRYPT '84. A workshop on the theory and application of cryptographic techniques, Paris, France, april 9-11, 1984.
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **209**).

Computation theory, 5th symposium, Zaborov, Poland, december 3-8, 1984, Proceedings.
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **208**).

Foundations of software technology and theoretical computer science, 5th conference, New Delhi, India, december 16-18, 1985 ; Proceedings.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **206**).

A study in string processing languages.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **205**).

Caviness, Bob F. (ed)

**European Computer Algebra Conference
, 1985**

EUROCAL'85: European conference on computer algebra, Linz, Austria, april 1-3, 1985 - Proceedings Vol. 2: research contributions.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **204**).

Buchberger, Bruno (ed)

**European Computer Algebra Conference
, 1985**

EUROCAL'85 : European conference on computer algebra, Linz, Austria, april 1-3, 1985 - Proceedings Vol. 1: invited lectures.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **203**).

Jouannaud, Jean-Pierre (ed)

**Rewriting techniques and applications
, 1985**

Rewriting techniques and applications, Dijon, France, 20-22 may 1985.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **202**).

Functional programming language and computer architecture. Nancy, September 16-19, 1985, France.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **201**).

Budach, Lothar (ed)

**FCT: Fundamentals of Computation Theory
, 1985**

Fundamentals of computation theory, FCT'85, Cottbus, GDR, 9-13 september 1985.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **199**).

Seminar on concurrency, Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **197**).

Brauer, Wilfried (ed)

**Int. Coll. on Automata, Languages and Programming
, 1985**

Automata, languages and programming - 12th colloquium, Nafplion, Greece, july 15-19, 1985.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **194**).

Logics of programs; Proceedings, Brooklyn, june 17-19, 1985.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **193**).

Automata on infinite words, Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **192**).

A survey of verification techniques for parallel programs.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **191**).

Distributed systems ; methods and tools for specification - An advanced course.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **190**).

Advances in Petri nets 1984.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **188**).

Ehrig, Hartmut (ed) & Floyd, Christiane (ed) & Nivat, Maurice (ed) & Thatcher, James (ed)

**Theory and Practice of Software Developement conference
, 1985**

Formal methods and software development; Proceedings of the international joint conference on theory and practice of software development (TAPSOFT), Berlin march 25-29, 1985; Volume 2: Colloquium on software engineering (CSE).
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **186**).

Ehrig, Hartmut (ed) & Floyd, Christiane (ed) & Nivat, Maurice (ed) & Thatcher, James (ed)

**Theory and Practice of Software Developement conference
, 1985**

Mathematical fundations of software development ; Proceedings of the international joint conference on theory and practice of software development (TAPSOFT), held in Berlin, march 25-29, 1985: Volume I: Colloquium on trees in algebra and pg.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **185**).

Local area networks: and advanced course; Proceedings, Glasgow, july 11-22, 1983.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **184**).

Mehlhorn, Kurt (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1985**

STACS 85: 2nd annual symposium on theoretical aspects of computer science; Proceedings, Saarbrücken, january 3-5, 1985.
- Springer Verlag, 1985.
- (Lecture Notes in Computer Science; **182**).

Foundations of software technology and theoretical computer science; Proceedings of 4th conference, Bangalore, India, decembre 13-15, 1984.
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **181**).

How to multiply matrices faster.
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **179**).

Programming languages and their definition: selected papers, H. Bekic (1936-1982).
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **177**).

Chytil, Michael (ed) & Koubek, Vaclav (ed)

**Mathematical Foundations of Computer Science
, 1984**

Mathematical foundations of computer science 1984; Proceedings, 11th Symposium, Praha, Czechoslovakia, september 3-7, 1984.
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **176**).

Semantics of Data types, june 27-29, 1984 Proceedings. Sophia-Antipolis (France).
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **173**).

Paredaens, Jan (ed)

**Int. Coll. on Automata, Languages and Programming
, 1984**

Automata, Languages and programming, 11th colloquium, Antwerp, Belgium, july 16-20, 1984.
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **172**).

Logic and machines: decision problems and complexity. Proceedings of the symposium "Rekursive kombinatorik", Universität Münster/Westfalen, may 23-28, 1983.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **171**).

Feedback shift registers.
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **169**).

International symposium on programming; 6th colloquium, Toulouse, France, april 17-19, 1984; Proceedings.
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **167**).

Fontet, M. (ed) & Mehlhorn, K. (ed)

**STACS: Symposium on Theoretical Aspects of Computer Science
, 1984**

STACS 84: symposium of theoretical aspects of computer science, Proceedings, Paris, april 11-13, 1984.
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **166**).

Large sparse numerical optimization.
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **165**).

Logics of programs; Proceedings of the workshop, Carnegie Mellon University, Pittsburg, PA, june 6-8, 1983.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **164**).

VLSI engineering; Beyond software engineering.
- Springer Verlag, 1984.
- (Lecture Notes in Computer Science; **163**).

Hulzen, J.A. van (ed)

**European Computer Algebra Conference
, 1983**

Computer algebra: EUROCAL 83, European Computer algebra conference; London, England, march 28-30, 1983; Proceedings.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **162**).

DIANA: An intermediate language for ADA; revised version.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **161**).

Ausiello, Giorgio (ed) & Protasi, Marco (ed)

**Colloquium on Trees in Algebra and Programming
, 1983**

CAAP'83: Trees in algebra and programming; 8th colloquium, L'Aquila, march 9-11, 1983; Proceedings.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **159**).

Foundations of computation theory; Proceedings of the 1983 international FCT-conference, Borgholm, Sweden, august 21-27, 1983.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **158**).

Direct methods for Sparse matrices.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **157**).

The Design of dynamic data structures. Second edition.
- Springer Verlag, 1987.
- (Lecture Notes in Computer Science; **156**).

The design of dynamic data structures.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **156**).

Diaz, J. (ed)

**Int. Coll. on Automata, Languages and Programming
, 1983**

Automata, languages and programming. 10th Colloquium. Barcelona, Spain, July 1983.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **154**).

Ehrig, Hartmut (ed) & Nagl, Manfred (ed) & Rozenberg, Grzegorz

**Graph Grammars and their Application to Computer Science
, 1983**

Graph-grammars and their application to computer science. Haus Ohrbeck, Germany, 4-8 october 1982.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **153**).

Specification and design of software systems, conference on opening systems, Visegrad, Hungary, january 23-27, 1982; Proceedings.
- Springer Verlag, 1982.
- (Lecture Notes in Computer Science; **152**).

Conlan report.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **151**).

Cryptography; Proceedings of the workshop on cryptography, Burg Feuerstein, Germany, march 29-april 2, 1982.
- Springer Verlag, 1982.
- (Lecture Notes in Computer Science; **149**).

RIMS symposia on software science and engineering, Kyoto, 1982; Proceedings.
- Springer Verlag, 1982.
- (Lecture Notes in Computer Science; **147**).

Theoretical computer science; 6th GI-conference, Dortmund, Germany, january 5-7, 1983.
- Springer Verlag, 1983.
- (Lecture Notes in Computer Science; **145**).

Calmet, Jacques (ed)

**European Computer Algebra Conference
, 1982**

Computer algebra: EUROCAL'82, European computer algebra conference, Marseille, France, april 5-7, 1982; Proceedings.
- Springer Verlag, 1982.
- (Lecture Notes in Computer Science; **144**).

Problems and methodologies in mathematical software production; international seminar held at Sorrento, Italy, november 3-8, 1980.
- Springer Verlag, 1980.
- (Lecture Notes in Computer Science; **142**).

GAG : A practical compiler generator.
- Springer Verlag, 1982.
- (Lecture Notes in Computer Science; **141**).

Nielsen, Mogens (ed) & Schmidt, Erik Meinech (ed)

**Int. Coll. on Automata, Languages and Programming
, 1982**

Automata 82, languages and programming, 9th colloquium, Aarhus, Denmark, july 12-16, 1982.
- Springer Verlag, 1982.
- (Lecture Notes in Computer Science; **140**).

An attribute grammar for the semantic analysis of Ada.
- Springer Verlag, 1982.
- (Lecture Notes in Computer Science; **139**).

6th conference on automated deduction, New York, USA, june 7-9, 1982.
- Springer Verlag, 1982.
- (Lecture Notes in Computer Science; **138**).

International symposium on programming, Proceedings 5th colloquium held at Turin, april 6-8, 1982.
- Springer Verlag, 1982.
- (Lecture Notes in Computer Science; **137**).

Group-theoretic algorithms and graph isomorphism.
- Springer Verlag, 1979.
- (Lecture Notes in Computer Science; **136**).

Data base, design techniques II: physical structures and applications; proceedings, Tokyo, november 1979.
- Springer Verlag.
- (Lecture Notes in Computer Science; **133**).

Logics of programs; workshop, Yorktown Heights, New York, may 1981; proceedings.
- Springer Verlag.
- (Lecture Notes in Computer Science; **131**).

Axiomatizing the logic of computer programming.
- Springer Verlag.
- (Lecture Notes in Computer Science; **130**).

Verifying concurrent processes using temporal logic.
- Springer Verlag, 1982.
- (Lecture Notes in Computer Science; **129**).

An analytical description of CHILL, the CCITT high level language.
- Springer Verlag, 1982.
- (Lecture Notes in Computer Science; **128**).

Alternating sequential / Parallel processing.
- Springer Verlag.
- (Lecture Notes in Computer Science; **127**).

Microcomputer system design, an advanced course, Trinity college, Dublin, june 1981.
- Springer Verlag.
- (Lecture Notes in Computer Science; **126**).

Logic of programs; workshop, ETH Zurich, may-july 1979; proceedings.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **125**).

Trends in information processing systems, 3rd conference of the european cooperation in informatics, held in Munich, october 20-22, 1981; proceedings.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **123**).

Algorithms in modern mathematics and computer science; proceedings, Urgench, Uzbek SSR, september 16-22, 1979.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **122**).

Anaphora in natural language understanding : a survey.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **119**).

Gruska, Josef (ed) & Chytil, Michal (ed)

**Mathematical Foundations of Computer Science
, 1981**

Mathematical foundations of computer science 1981; proceedings of the 10th symposium held in Strbské Pleso, Czechoslovakia, august 31-september 4, 1981.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **118**).

Gécseg, Ferenc (ed)

**FCT: Fundamentals of Computation Theory
, 1981**

Fundamentals of computation theory; proceedings of the 1981 international FCT-conference held in Szeged, Hungary, august 24-28, 1981.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **117**).

The concurrency control problem for database systems.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **116**).

Even, Shimon (ed) & Kariv, Oded (ed)

**Int. Coll. on Automata, Languages and Programming
, 1981**

Automata, languages and programming; 8th colloquium held in Acre (Akko), Israël, july 13-17, 1981.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **115**).

CLU reference manual.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **114**).

Astesiano, Egidio (ed) & Böhm, Corrado (ed)

**Colloquium on Trees in Algebra and Programming
, 1981**

CAAP'81: Trees in algebra and programming; 6th colloquium held in Genoa, march 5-7, 1981; proceedings.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **112**).

Graph theory and algorithms; proceedings of the 17th symposium of research institute of electrical communication, Tohoku university Sendai, Japan, october 24-25, 1980.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **108**).

Formalization of programming concepts; proceedings of international colloquium held in Peniscola, Spain, april 19-25-, 1981.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **107**).

The programming language ADA. Reference manual. Proposed standard document, United States Department of Defense. - Springer Verlag, 1981. - (Lecture Notes in Computer Science;

Theoretical computer science; proceedings of 5th GI-conference held in Karlsruhe, march 23-25, 1981.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **104**).

On the integration of algebraic functions.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **102**).

Algebraic semantics.
- Springer Verlag, 1981.
- (Lecture Notes in Computer Science; **99**).

Computer programs for spelling correction: an experiment in program design.
- Springer Verlag, 1980.
- (Lecture Notes in Computer Science; **96**).

Coroutines. A programming methodology, a language design and an implementation.
- Springer Verlag, 1980.
- (Lecture Notes in Computer Science; **95**).

A calculus of communicating systems.
- Springer Verlag, 1980.
- (Lecture Notes in Computer Science; **92**).

Dembinski, P. (ed)

**Mathematical Foundations of Computer Science
, 1980**

Mathematical foundations of computer science 1980. Proceedings of the 9th symposium held in Rydzyna, Poland, september 1-5, 1980.
- Springer Verlag, 1980.
- (Lecture Notes in Computer Science; **88**).

5th Conference on automated deduction, held in Les Arcs, France, july 8-11, 1980.
- Springer Verlag, 1980.
- (Lecture Notes in Computer Science; **87**).

Abstract software specifications. Proceedings: 1979 Copenhagen winter school, january 22-february 2, 1979.
- Springer Verlag, 1980.
- (Lecture Notes in Computer Science; **86**).

Bakker, Jaco de (ed) & Leeuwen, Jan van (ed)

**Int. Coll. on Automata, Languages and Programming
, 1980**

Automata, languages and programming, 7th colloquium, Noordwijkerhout, the Netherlands, july 14-18, 1980.
- Springer Verlag, 1980.
- (Lecture Notes in Computer Science; **85**).

Net theory and applications ; proceedings of the advanced course on general net theory of processes and systems, held in Hamburg, october 8-19, 1979.
- Springer Verlag, 1980.
- (Lecture Notes in Computer Science; **84**).

International symposium on programming; proceedings of the 4th "colloque international sur la programmation", held in Paris, 22-24 april, 1980.
- Springer Verlag, 1980.
- (Lecture Notes in Computer Science; **83**).

A relational theory of computing.
- Springer Verlag, 1980.
- (Lecture Notes in Computer Science; **82**).

Edinburgh LCF, a mechanised logic of computation.
- Springer Verlag, 1979.
- (Lecture Notes in Computer Science; **78**).

Detection of abrupt changes in signals and dynamical systems.
- Springer Verlag, 1986.
- (Lecture Notes in Computer Science; **77**).

Mathematical studies of information processing. Proceedings of the international conference, held in Tokyo, Japan, august 23-26, 1978.
- Springer Verlag, 1979.
- (Lecture Notes in Computer Science; **75**).

Becvar, Jiri (ed)

**Mathematical Foundations of Computer Science
, 1979**

Mathematical foundations of computer science 1979. Proceedings of the 8th symposium, held in Olomouc, Czechoslovakia, september 3-7, 1979.
- Springer Verlag, 1979.
- (Lecture Notes in Computer Science; **74**).

Graph-grammars and their application to computer science and biology. Bad Honnef, october 30-november 3, 1978.
- Springer Verlag, 1978.
- (Lecture Notes in Computer Science; **73**).

Symbolic and algebraic computation. EUROSAM'79, an international symposium on symbolic and algebraic computation, held in Marseille, France, june 1979.
- Springer Verlag, 1979.
- (Lecture Notes in Computer Science; **72**).

Maurer, Hermann A. (ed)

**Int. Coll. on Automata, Languages and Programming
, 1979**

Automata, languages and programming. Proceedings of the 6th colloquium, held in Graz, Austria, july 16-20, 1979.
- Springer Verlag, 1979.
- (Lecture Notes in Computer Science; **71**).

Program construction. International summer school in Marktoberdorf, july, 26-august, 6, 1978.
- Springer Verlag, 1979.
- (Lecture Notes in Computer Science; **69**).

First-order dynamic logic.
- Springer Verlag, 1979.
- (Lecture Notes in Computer Science; **68**).

Theoretical computer science, 4th GI conference ; Proceedings, Aachen, march 26-28, 1979.
- Springer Verlag, 1979.
- (Lecture Notes in Computer Science; **67**).

Mathematical foundations of computer science 1978. Proceedings, 7th Symposium, Zakopane, Poland, 1978.
- Springer Verlag, 1978.
- (Lecture Notes in Computer Science; **64**).

Ausiello, Giorgio (ed) & Böhm, Corrado (ed)

**Int. Coll. on Automata, Languages and Programming
, 1978**

Automata, languages and programming. Proceedings of the 5th colloquium, held in Udine, Italy, july 17-21, 1978.
- Springer Verlag, 1978.
- (Lecture Notes in Computer Science; **62**).