International meeting of young computer scientists (4. ; 1986 ; Smolenice) Trends, techniques, and problems in theoretical computer science - 4. International meeting of young computer scientists - Smolenice, Czechoslovakia, October 13-17, 1986 - selected contributions / Alika Kelemenova, Josef Kelemen (eds.) Berlin etc. - Springer, c1987 Saggio Monografico International meeting of young computer scientists (5. ; 1988 ; Smolenice) Machines, languages, and complexity - 5. International meeting of young computer scientists, Smolenice, Czechoslovakia, November 14-18, 1988 - selected contributions / J. Dassow, J. Kelemen (eds.) Berlin etc. - Springer, c1989 Saggio Monografico International meeting of young computer scientists (6. ; 1990 ; Smolenice) Aspects and prospects of theoretical computer science - 6. International meeting of young computer scientists - Smolenice, Czechoslovakia, November 19-23, 1990 - proceedings / J. Dassow, J. Kelemen (eds.) Berlin etc. - Springer, c1990 Saggio Monografico International metallographic society Computer -aided microscopy and metallography - proceedings of the Twenty-Second Annual Technical Meeting of the International Metallographic Society / edited by T. Alan Place ... (ed altri) Columbus, Ohio USA - The Society, c1990 Saggio Monografico International organization for standardization Micrographics - vocabulary - 7- computer micrographics Geneve - International organization for standardization, 1992 Saggio Monografico International organization for standardization Micrographics - alphanumeric computer output microforms - quality control - 1- characteristics of the test slide and test data Geneve - International organization for standardization, 1992 Saggio Monografico International organization for standardization Micrographics - alphanumeric computer output microforms - quality control - 2- method Geneve - International organization for standardization, 1992 Saggio Monografico International parallel processing symposium (10. ; 1996 ; Honolulu) The 10th International parallel processing symposium - proceedings of the IPPS '96 - April 15-19, 1996, Honolulu, Hawaii / sponsored by the IEEE computer society Technical commettee on parallel processing ; in cooperation with the Association for computing machinery SIGARCH Los Alamitos - IEEE computer society press, c1996 Saggio Monografico International parallel processing symposium (8. ; 1994 8. International parallel processing symposium - proceedings - April 26-29, 1994, Cancun, Mexico / editor Howard Jay Siegel ; sponsored by IEEE Computer Society Technical Committee on Parallel Processing; in cooperation with ACM SIGARCH Los Alamitos (etc.) - IEEE Computer Society press, c1994 Saggio Monografico International school of physics " computer simulation of rare events and the dynamics of classical and quantum condensed-phase systems" (1997 ; Lerici) Classical and quantum dynamics in condensed phase simulations - proceedings of the International school of physics Computer simulation of rare events and the dynamics of classical and quantum condensed-phase systems - euroconference on Technical advances in particle-based computational material sciences, Lerici, Villa Marigola, 7 July-18 July 1997 / coordinat Singapore (etc.) - World scientific, c1998 Saggio Monografico International school on Formal methods for the design of computer, communication and software systems (3. ; 2003 ; Bertinoro) Formal methods for software architectures - Third international school on formal methods for the design of computer , communication and software systems- software architectures, SFM 2003 - Bertinoro, Italy, September 22-27, 2003 - advanced lectures / Marco Bernardo, Paola Inverardi (eds.) Berlin etc. - Springer, c2003 Saggio Monografico International School on Formal Methods for the Design of Computer, Communication and Software Systems (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.) Saggio Monografico International school on the didactics of computer algebra (Krems, Austria ; 1992) Teaching mathematics with DERIVE - proceedings of the International school on the didactics of computer algebra (April 27-30, 1992, Krems, Austria) / Josef Bohm, editor Bromley - Chartwell-Bratt, c1992 Saggio 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 Saggio Monografico International seminar on models and measures for computer systems ; 1975) International seminar on models and measures for computer systems - Bologna, February 25-March 1, 1975 Rozzano - Litografia Cislaghi, 1975 Saggio Monografico |