International conference on computer-aided verification (9. ; 1997 ; Hefa) Computer aided verification - 9. international conference, CAV'97, Haifa, Israel 22-25, 1997 - proceedings / Orna Grumberg (ed.) Berlin etc. - Springer, c1997 Saggio Monografico International conference on computers and applications (1. ; 1984 The first international conference on computers and applications - Beijing (peking), China, June 20-22, 1984 / co-sponsored by CIE computer society, IEEE computer society Silver Spring - IEEE computer society press, c1984 Saggio Monografico International Conference on Computers in Chemical Research and Education (6. ; 1982 ; Washington) Computer applications in chemistry - proceedings of the 6th International conference on computers in chemical research and education (ICCCRE), held in Washington, D.C., July 11 - 16, 1982 / ed. by Stephen R. Heller and Rudolph Potenzone, jr Amsterdam (etc.) - Elsevier, 1983 Saggio Monografico International conference on computing in civil and building engineering (4. ; 1991 ; Tokyo) Computer applications in civil and building engineering - proceedings of the 4. international conference on... July 29-31, 1991 Tokyo Tokyo - Kozo systems, 1991 Saggio Monografico International conference on computing in high energy physics (1997 ; Berlino) Computing in high energy physics - CHEP'97 - selected papers from the International conference on computing in high energy physics (CHEP'97), Berlin, 7-11 April 1997 / editors- Ulrich Gensch, Lars Hagge, Wolfgang Friebel Amsterdam (etc.) - Elsevier, 1998 Saggio Monografico International conference on data engineering (10. ; 1994 ; Houston) The 10th international conference on data engineering - proceedings - February 14-18, 1994, Houston, Texas Washington (etc.) - IEEE computer society, c 1994 Saggio Monografico International Conference on deontic logic in computer science (10. ; 2010 ; Fiesole) Deontic logic in computer science - 10th international conference, DEON 2010 - Fiesole, Italy, July 7-9, 2010 - proceedings / Guido Governatori, Giovanni Sartor (eds.) Berlin (etc.) - Springer, c2010 Saggio Monografico International conference on development and application of computer techniques to environmental studies (3. ; 1990) Computer techniques in environmental studies 3. - proceedings of the third International conference on development and application of computer techniques to environmental studies, held in Montreal, September 11-13, 1990 / editor P. Zannetti Southampton ; Boston - Computational mechanics, c1990 Saggio Monografico International conference on discrete geometry for computer imagery (10. ; 2002 ; Bordeaux) Discrete geometry for computer imagery - 10th international conference, DGCI 2002 - Bordeaux, France, April 3-5, 2002 - proceedings / Achille Braquelaire, Jacques-Olivier Lachaud, Anne Vialard (eds.) berlin etc. - Springer, c2002 Saggio Monografico International conference on discrete geometry for computer imagery (11. ; 2003 ; Napoli) Discrete geometry for computer imagery - 11th international conference, DGCI 2003 - Naples, Italy, November 19-21, 2003 - proceedings / Ingela Nystrom, Gabirella Sanniti di Baja, Stina Svensson (eds.) Berlin etc. - Springer, c2003 Saggio Monografico International Conference on Discrete Geometry for Computer Imagery (12. ; 2005 ; Poitiers) Discrete Geometry for Computer Imagery - 12. International Conference, DCGI 2005 - Poitiers, France, April 2005 - Proceedings / Eric Andres, Guillaume Damiand, Pascal Lienhardt (eds.) Berlin - Springer, c2005 Saggio Monografico International conference on distributed computing systems (10. ; 1990 ; Parigi) Proceedings (of the) 10. International conference on distributed computing systems - Paris, France, May 28-June 1, 1990 / sponsored by Institut national de recherche en informatique et en automatique, IEEE Computer Society, Technical Committee on Distributed Processing, The Institute of Electrical and Electronics Engineers Los Alamitos, Calif. - IEEE Computer Society Press, 1990 Saggio Monografico International conference on distributed computing systems (11. ; 1991 ; Arlington) Proceedings (of the) 11. International conference on distributed computing systems - Arlington, Texas, May 20-24, 1991 / sponsored by IEEE computer society, Technical Committee on Distributed Processing Los Alamitos - IEEE Computer Society Press, 1991 Saggio Monografico International conference on distributed computing systems (12. ; 1992 ; Yokohama) Proceedings (of the) 12. International conference on distributed computing systems - Yokohama, Japan, June 9-12, 1992 / sponsored by IEEE computer society, Technical committee on distributed processing, information processing society of Japan Los Alamitos - IEEE Computer Society Press, 1992 Saggio Monografico International conference on distributed computing systems (13. ; 1993 ; Pittsburgh) Proceedings (of the) 13. International conference on distributed computing systems - Pittsburgh, Pensylvania, May 25-28, 1993 / Sponsored by IEEE computer society. Technical Committee on Distributed Processing Los Alamitos - IEEE Computer Society Press, 1993 Saggio Monografico |