STACS'84, Proc. of the 1st Annual Symp. on Theoretical Aspects of Computer Science, Paris, M.fontet, K.Mehlhorn (eds.), LNCS vol.166, Springer-Verlag, 1984, ISBN 3-540-12920-0.

STACS'87, Proc. of the 4th Annual Symp. on Theoretical Aspects of Computer Science, Passau, J.F.Branderburg, G.Vidal-Naquet, M.Wirsing (eds.), LNCS vol.247, Springer-Verlag, 1987, ISBN 3-540-17219-X.

STACS'90, Proc. of the 7th Annual Symp. on Theoretical Aspects of Computer Science, Rouen, C.Choffrut, T.Lengauer (eds.), LNCS vol.415, Springer-Verlag, 1990, ISBN 3-540-52282-4.

STACS'91, Proc. of the 8th Annual Symp. on Theoretical Aspects of Computer Science, Hamburg, C.Choffrut, M.Jantzen (eds.), LNCS vol.480, Springer-Verlag, 1991, ISBN 3-540-53709-0.

STACS'92, Proc. of the 9th Annual Symp. on Theoretical Aspects of Computer Science, Cachan, A.Finkel, M.Jantzen (eds.), LNCS vol.577, Springer-Verlag, 1992, ISBN 3-540-55210-3.

STACS'93, Proc. of the 10th Annual Symp. on Theoretical Aspects of Computer Science, Wurzburg, P.Enjalbert, A.Finkel, K.W.Wagner (eds.), LNCS vol.665, Springer-Verlag, 1993, ISBN 3-540-56503-5.

STACS'94, Proc. of the 11th Annual Symp. on Theoretical Aspects of Computer Science, Caen, P.Enjalbert, E.W.Mayr, K.W.Wagner (eds.), LNCS vol.775, Springer-Verlag, 1994, ISBN 3-540-57785-8.

STACS'95, Proc. of the 12th Annual Symp. on Theoretical Aspects of Computer Science, Munich, E.W.Mayr, C.Puech (eds.), LNCS vol.900, Springer-Verlag, 1995, ISBN 3-540-59042-0.

STACS'96, Proc. of the 13th Annual Symp. on Theoretical Aspects of Computer Science, Grenoble, C.Puech, R.Reischuk (eds.), LNCS vol. 1046, Springer-Verlag, 1996, ISBN 3-540-60922-9.

STACS'97, Proc. of the 14th Annual Symp. on Theoretical Aspects of Computer Science, Lubeck, R.Reischuk, M.Morvan, (eds.), LNCS vol. 1200, Springer-Verlag, 1997, ISBN 3-540-62616-6.

STACS'98, Proc. of the 15th Annual Symp. on Theoretical Aspects of Computer Science, M.Morvan, C.Meinel, D.Krob (eds.), LNCS vol. 1373, Springer-Verlag, 1998, ISBN 3-540-64230-7.

STACS'99, Proc. of the 16th Annual Symp. on Theoretical Aspects of Computer Science, C.Meinel, S.Tison (eds.), LNCS vol. 1563, Springer-Verlag, 1999, ISBN 3-540-65691-X.

STACS'00, Proc. of the 17th Annual Symp. on Theoretical Aspects of Computer Science, H.Reichel, S.Tison (eds.), LNCS vol. 1770, Springer-Verlag, 2000, ISBN 3-540-67141-2.

STACS'01, Proc. of the 18th Annual Symp. on Theoretical Aspects of Computer Science, A.Ferreira, H.Reichel,(eds.), LNCS vol. 2010, Springer-Verlag, 2001, ISBN 3-540-41695-1.

STACS'02, Proc. of the 19th Annual Symp. on Theoretical Aspects of Computer Science, H.Alt, A.Ferreira,(eds.), LNCS vol. 2285, Springer-Verlag, 2002, ISBN 3-540-43283-3.

STACS'03, Proc. of the 20th Annual Symp. on Theoretical Aspects of Computer Science, H.Alt, M.Habib,(eds.), LNCS vol. 2607, Springer-Verlag, 2003, ISBN 3-540-00623.