522 réponses.

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).