Annual symposium on foundations of computer science (38. ; 1997 ; Miami Beach) 38. annual symposium on foudations of computer science - October 20-22, 1997, Miami Beach, Florida - proceedings / sponsored by IEEE computer society, IEEE computer society technical committee on mathematical foundations of computing Los Alamitos, CA - IEEE computer science, c1997 Saggio Monografico Annual symposium on foundations of computer science (39. ; 1998 ; Los Alamos) 39. annual symposium on foundations of computer science - November 8-11, 1998, Palo Alto, California - proceedings / sponsored by IEEE Computer Society, Techical committee on mathematical foundations of computing Los Alamos, CA - IEEE Computer Society, c1998 Saggio Monografico Annual symposium on foundations of computer science (40. ; 1999) 40. annual symposium on foundations of computer science - october 17-19, 1999, New York City, New York Los Alamitos (etc.) - IEEE Computer Society, c1999 Saggio Monografico Annual symposium on foundations of computer science (41. ; 2000 ; Redondo Beach) 41. annual symposium on foundations of computer science - 12-14 November 2000, Redondo Beach, California - proceedings / sponsored by IEEE computer society technical committee on mathematical foundations of computing Los Alamitos, CA - IEEE computer society, c2000 Saggio Monografico Annual symposium on logic in computer science (3. ; 1988 ; Edimburgo) Proceedings of the third annual symposium on logic in computer science - July 5-8, 1988, Edinburgh / Sponsored by IEEE technical committee on mathematical foundations of computing Los Alamitos - IEEE Computer Society Press, 1988 Saggio Monografico Annual symposium on logic in computer science (4. ; 1989 ; Asilomar) Proceedings of the fourth annual symposium on logic in computer science - June 5-8, 1989, Asilomar Conference Center, PAcific Grove / sponsored by IEEE technical committee on mathematical foundations of computing Los Alamitos - IEEE Computer Society Press, 1989 Saggio Monografico Annual symposium on theoretical aspects of computer science (10. ; 1993 ; Wurzburg) STACS 93 - 10. Annual symposium on theoretical aspects of computer science - Wurzburg, Germany, February 25-27, 1993 - proceedings / P. Enjalbert, A. Finkel, K. W. Wagner (eds.) Berlin (etc.) - Springer-Verlag, c1993 Saggio Monografico Annual Symposium on Theoretical Aspects of Computer Science (11. ; 1994 ; Caen) STACS 94 - 11. Annual symposium on theoretical aspects of computer science - Caen, France, February 24-25, 1994 - proceedings / P. Enjalbert, E. W. Mayr, K. W. Wagner (eds.) Berlin (etc.) - Springer-Verlag, c1994 Saggio Monografico Annual symposium on theoretical aspects of computer science (12. ; 1995 ; Monaco) STACS 95 - 12. Annual symposium on theoretical aspects of computer science - Munich, Germany, March 2-4, 1995 - proceedings / Ernst W. Mayr, Claude Puech (eds.) Berlin etc. - Springer, c1995 Saggio Monografico Annual symposium on theoretical aspects of computer science (12. ; 1995 ; Munich, Germany) STACS 95 - 12. Annual symposium on theoretical aspects of computer science, Munich, Germany, March 1995 proceedings / Ernst W. Mayr, Claude Puech Berlin - Springer-Verlag, copyr. 1995 Saggio Monografico Annual symposium on theoretical aspects of computer science (13. ; 1996 ; Grenoble) STACS 96 - 13. Annual symposium on theoretical aspects of computer science - Grenoble, France, February 22-24, 1996 - proceedings / Claude Puech, Rudiger Reischuk (eds.) Berlin etc. - Springer, c1996 Saggio Monografico Annual symposium on theoretical aspects of computer science (14. ; 1997 ; Lubecca) STACS 97 - 14. Annual symposium on theoretical aspects of computer science - Lubeck, Germany, February 27 - March 1, 1997 - proceedings / Rudiger Reischuk, Michel Morvan (eds.) Berlin etc. - Springer, c1997 Saggio Monografico Annual symposium on theoretical aspects of computer science (15. ; 1998 ; Parigi) STACS 98 - 15. Annual symposium on theoretical aspects of computer science, Paris, France, February 25-27, 1998 - proceedings / Michel Morvan, Christoph Meinel, Daniel Krob (eds.) Berlin etc. - Springer, c1998 Saggio Monografico Annual symposium on theoretical aspects of computer science (16 ; 1999 ; Treviri) STACS 99 - 16. annual symposium on theoretical aspects of computer science - Trier, Germany, march 4-6, 1999 - proceedings / Christoph Meinel, Sophie Tison (eds.) Berlin etc. - Springer, c1999 Saggio Monografico Annual symposium on theoretical aspects of computer science (17 ; 2000 ; Lilla) STACS 2000 - 17. annual symposium on theoretical aspects of computer science - Lille, France, February 17-19, 2000 - proceedings / Horst Reichel, Sophie Tison (eds.) Berlin etc. - Springer, c2000 Saggio Monografico |