Pagina nr. 765 di 1129

%

International School on Formal Methods for the Design of Computer, Communication and Software Systems (4. ; 2004 ; Bertinoro) Formal methods for the design of real-time systems - International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 - Bertinoro, Italy, September 13-18, 2004 - Revised Lectures / Marco Bernardo, Flavio Corradini (eds.) Berlin (etc.) - Springer, 2004 Testo Monografico International school on the didactics of computer algebra (1992 ; Krems, Austria) Teaching mathematics with DERIVE - proceedings of the International school on the didactics of computer algebra (April 27-30, 1992, Krems, Austria) / Josef Böhm, editor Bromley - Chartwell-Bratt, ©1992 Testo Monografico International seminar on informatics for energy saving in transportation (1982 ; Roma) International seminar on informatics for energy saving in transportation - microprocessors in motor vehicles, urban traffic management for energy saving, computer assisted guidance - Rome, June 22-23, 1982, CNR (Luogo di pubblicazione non indicato - s.n.), stampa 1983 Testo Monografico International seminar on models and measures for computer systems (1975 ; Bologna) International seminar on models and measures for computer systems - Bologna, February 25-March 1, 1975 Rozzano - Litografia Cislaghi, 1975 Testo Monografico International Seminar on nuclear war (5. ; 1985 ; Erice) International Seminar on nuclear war - 5th session- SDI, computer simulations, new proposals to stop the arms race - E. Majorana Centre for scientific culture, Erice, Italy, 19-24 August 1985 / chairman- A. Zichichi ; edited by W. S. Newman and S. Stipcich Singapore etc. - World Scientific, c1992 Testo Monografico International Seminar on nuclear war (5. ; 1985 ; Erice) International seminar on nuclear war - 5th session- SDI, computer simulations, new proposals to stop the arms race - held at the E. Majorana centre for scientific culture, Erice, August 19-24, 1985 / chairman- A.Zichichi ; contributors- G. Andreotti ... (ed altri) ; proceedings edited by- W. S. Newman, S. Stipcich Frascati - printed and published by Servizio documentazione dei Laboratori nazionali di Frascati dell'INFN, 1986 Testo Monografico International society for photogrammetry and remote sensing. Photogrammetric computer vision - proceedings of the ISPRS Commission 3 symposium - september 9-13, 2002, Graz, Austria / Editors R. Kalliany, F. Leberl Graz - Institute for computer graphics and vision, c2002 Testo Monografico International study group for mathematics learning Contributi originali dell'ISGML, International study group for mathematics learning / pres. Z. P. Dienes ; S. Klein- The evaluation of the OPI mathematics project ; S. Klein- Examination on the psychological effect of the Dienes method in a Sherbrooke primary school ; S. ?i.e. J? Williams- Product and process research in mathematics education ; B. Connes- The use of eletronic desk computers in psychological experiments Firenze - OS, 1975 Testo Monografico International Summer School on Computers and Research in Animal Nutrition and Veterinary Medicine (1972 ; Elsinore) Proceedings of The International Summer School on Computers and Research in Animal Nutrition and Veterinary Medicine, Elsinore, Denmark, August 13 to 26, 1972 / edited by Arne Madsen & Preben Willeberg Copenhagen - printed by Frederiksberg Bogtrykkeri, stampa 1972 Testo Monografico International symposium Applications of statistics, operations research and computers in the mineral industry (1964 ; Golden) International symposium Applications of statistics, operations research and computers in the mineral industry Golden - Colorado School of mines, 1964 Incluso in > Quarterly of the Colorado school of mines Testo Monografico International symposium CAR 87 (1987 ; Berlino) Computer assisted radiology = Computergestutzte Radiologie - proceedings of the International symposium CAR'87 computer assisted radiology / edited by H. U. Lemke ... (ed altri Berlin (etc. - Springer-Verlag, (©1987 Testo Monografico International Symposium CAR'85 Computer Assisted Radiology (1985 ; Berlino) Computer assisted radiology - proceedings of the International Symposium CAR '85 Computer Assisted Radiology / edited by H. U. Lemke ... (ed altri) ; organizer AMK Berlin Berlin (etc.) - Springer, 1985 Testo Monografico International symposium computer assisted radiology (1991 ; Berlin) Computer assisted radiology - proceedings of the international symposium CAR '91 Computer assisted radiology / edited by H. L. Lemke, M. L. Rhodes, C. C. Jaffe and R. Felix ; organizer H. U. Lemke Berlin (etc.) - Springer, 1991 Testo Monografico International symposium computer assisted radiology (1993 ; Berlin) Computer assisted radiology - proceedings of the international symposium CAR'93 Computer assisted radiology / edited by H. L. Lemke, K. Inamura, C. C. Jaffe and R. Felix Berlin (etc.) - Springer, 1993 Testo Monografico International symposium MFCS '94 (19. ; 1994 ; Kosice) Mathematical foundations of computer science 1994 - 19. international symposium, MFCS '94 - Kosice, Slovakia, August 22-26, 1994 - proceedings / Igor Privara, Branislav Rovan, Peter Ruzicka (eds.) Berlin (etc.) - Springer, c1994 Testo Monografico