STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings

>> Google Books

STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings / edited by Christian Choffrut, Thomas Lengauer

Edition:

1st ed. 1990

Format:

eBook

Description:

X, 318 p.

Series:

Lecture Notes in Computer Science ; 415

Authors:

ISBN:

9783540469452 [3540469451]
9783662191705 [3662191709]
9783540522829 [3540522824]

NCID:

EB00003521

Holding items in this series

Full Text

Holdings

Bibliography Details

Note:

The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft für Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.

Subject:

Algorithms; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Theory of Computation

Table of Contents:

Tokyo Tech Book Review

Similar Items:

1 eBook STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991. Proceedings Choffrut, Christian., Jantzen, Matthias., SpringerLink (Online service)	7 eBook STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings Diekert, Volker., Habib, Michel., SpringerLink (Online service)
2 eBook STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings Puech, Claude., Reischuk, Rüdiger., SpringerLink (Online service)	8 eBook STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings Enjalbert, Patrice., Finkel, Alain., Wagner, Klaus W., SpringerLink (Online service)
3 eBook STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings Enjalbert, Patrice., Mayr, Ernst W., Wagner, Klaus W., SpringerLink (Online service)	9 eBook STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings Mayr, Ernst W., Puech, Claude., SpringerLink (Online service)
4 eBook STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings Finkel, Alain., Jantzen, Matthias., SpringerLink (Online service)	10 eBook STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings Cori, Robert., Wirsing, Martin., SpringerLink (Online service)
5 eBook STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986 Monien, B., Vidal-Naquet, G., SpringerLink (Online service)	11 eBook STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 Mehlhorn, K., SpringerLink (Online service)
6 eBook STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989; Proceedings Monien, Burkhard., Cori, Robert., SpringerLink (Online service)	12 eBook Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings Börger, Egon., Kleine Büning, Hans., Richter, Michael M., Schönfeld, Wolfgang., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12