Pagina nr. 1055 di 1129

%

Symposium on effective use of digital computers in structural design Proceedings of the Symposium on effective use of digital computers in structural design (15. National symposium on bridge and structural engineering) / compiled by Japan society of civil engineers and Architectural institute of Japan Tokyo - Japan society for the promotion of science, 1970 Testo 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 Testo Monografico Symposium on Foundations of Computer Science (38. ; 1997 ; Miami Beach, Florida) Annual symposium on foundations of computer science - october 20-22, 1997 Miami Beach, Florida - proceedings / sponsored by IEEE Computer Society, IEEE Computer Society Technical Commitee on Mathematical Foundations of Computing Los Alamitos, (CA) (etc.) - IEEE Computer society, ©1997 Testo 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) Testo Monografico Symposium on l-calculus and computer science theory (1975 ; Roma) Proceedings of the Symposium on l-calculus and computer science theory - Roma, March 25-27, 1975 Roma - Tipo-litografia MARVES, 1975 Testo Monografico Symposium on logic in computer science (12. ; 1997 ; Varsavia) 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 Testo Monografico Symposium on logic in computer science (14. ; 1999 ; Trento) 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 Testo 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 Testo Monografico Symposium on logic in computer science (1986 ; Cambridge, MA) 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 Testo 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 Testo Monografico Symposium on logic programming (2. ; 1985 ; Boston, Mass.) 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 Testo Monografico Symposium on logic programming (4. ; 1987 ; San Francisco, Calif.) 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) Testo 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 Testo 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, ©2004 Testo Monografico Symposium on mathematical foundations of computer (10. ; Strbske Pleso) Mathematical foundations of computer science 1981 - proceedings. 10th symposium Strbske Pleso, Czechoslovakia August 31 - September 4, 1981 / edited by J. Gruska, M. Chytil Berlin (etc.) - Springer-verlag, 1981 Testo Monografico