Symposium on computer- assisted analysis and model simplification (1. ; 1980; Boulder) Computer -assisted analysis and model simplification - proceedings of the first symposium on Computer -assisted analysis and model simplification, University of Colorado, Boulder, 28 marzo 1980 / edited by Harvey J. Greenberg, John S. Maybee New York (etc.) - Academic press, 1981 Saggio Monografico Symposium on Computer-Communications Networks and Teletraffic (1972 Proceedings of the symposium on computer -communications networks and teletraffic - New York, N.Y., April 4-6, 1972 / Jerome Fox, editor Brooklyn - Polytechnic Press ; New York etc. - Wiley-Interscience distributore , c1972 Saggio Monografico Symposium on foundations of computer science (24. ; 1983 ; Tucson) 24th Annual Symposium on Foundations of Computer Science - Novembre 7-9, 1983 / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing New York - IEEE Computer Society, 1983 Saggio Monografico Symposium on Foundations of Computer Science (38. 1997-Miami Beach, Florida) Annual symposium on foundations of computer science - 38th - Miami Beach, Florida, october 20-22, 1997 / IEEE Computer Society Piscataway, N. J. Saggio Monografico Symposium on l-calculus and computer science theory ; 1975) Proceedings of the Symposium on l-calculus and computer science theory - Roma, March 25-27, 1975 Roma - Tipo-litografia MARVES, ?1975? Saggio Monografico Symposium on l-calculus and computer science theory (1975 ; Roma) Proceedings of the Symposium on lambda -calculus and computer science theory - Roma - March 25-27, 1975 S.n. -Luogo di pubblicazione non indicato , 1975? (Roma - Tipo-litografia MARVES) Saggio Monografico Symposium on logic in computer science (12. ; 1997 ; Varsavia) 12. Annual IEEE Symposium on logic in computer science - June 29-July 2, 1997, Warsaw - proceedings / organized by Warsaw University ; sponsored by IEEE Technical committee on mathematical foundations of computing.... Los Alamitos - IEEE Computer society, 1997 Saggio Monografico Symposium on logic in computer science (14. ; 1999 ; Trento) 14. symposium on logic in computer science - July 2-5, 1999 Trento, Italy - proceedings / sponsored by IEEE computer society technical committeee on mathematical foundations of computing Los Alamitos, California (etc.) - IEEE computer society, 1999 Saggio Monografico Symposium on logic in computer science (1986 Proceedings symposium on logic in computer science - Cambridge, Massachusetts, June 16-18, 1986 / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing Cambridge - IEEE Computer Society Press, 1986 Saggio Monografico Symposium on logic in computer science (1986 ; Cambridge, MA) Proceedings of the Symposium on Logic in Computer Science - Cambridge, Massachusetts, June 16-18, 1986 / Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science Los Alamitos - IEEE Computer Society Press, 1986 Saggio Monografico Symposium on logic in computer science (1987 ; Ithaca) Proceedings of the symposium on logic in computer science - Ithaca, June 22-25, 1987 / Sponsored by IEEE technical committee on mathematical foundations of computing ; in cooperation with ACM SIGACT, association for symbolic logic, european association for theoretical computer science Los Alamitos - IEEE Computer society press, 1987 Saggio Monografico Symposium on logic programming (2. ; 1985 1985 Symposium on logic programming - July 15-18, 1985, Sheraton Boston Hotel, Boston, Massachusetts / sponsored by IEEE Computer society, Technical committee on computer languages Washington, D.C. - IEEE computer society press, 1985 Saggio Monografico Symposium on logic programming (4. ; 1987 1987 Symposium on logic programming - proceedings, August 31-September 4, 1987, Hyatt on Union square, San Francisco, California / sponsored by the Computer society of the IEEE Washington, D.C. - Computer society press, (1987) Saggio Monografico Symposium on Logical foundations of computer science (1989 ; Pereslavl-Zalessky) Logic at Botik '89 - Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 - proceedings / A. R. Meyer, M. A. Taitslin (eds.) Berlin etc. - Springer, c1989 Saggio Monografico Symposium on Matematical Foundations of Computer Science (29. ; 2004 ; Prague) Mathematical Foundations of Computer Science 2004 - 29. International Symposium, MFCS 2004 - Prague, Czech Republic, August 22-27, 2004 - proceedings / Jiri Fiala, Vaclav Koubek, Jan Kratochvil (eds.) Berlin - Springer, c2004 Saggio Monografico |