International conference on electrophoresis supercomputing and the human genome (1. ; 1990) The first international conference on electrophoresis, supercomputing and thehuman genome - proceedings of the April 10-13, 1990 conference at Florida State University, Tallahassee, Florida / editors- Charles R. Cantor, Hwa A. Lim Singapore etc. - World scientific, c1991 Saggio Monografico International conference on engineering computation and computer simulation (1. ; 1995 ; Changsha) Proceedings of the first international conference on engineering computation and computer simulation - ECCS1 - theories and applications, Hunan University, Changsha, China, November 27-29, 1995 / Edited by Zhong Zhihua Changsha - Hunan University Press, 1995 Saggio Monografico International conference on fifth generation computer systems (1981 ; Tokyo) Fifth generation computer systems - Proceedings of the international conference on fifth generation computer systems Tokyo, Japan, october 19-22, 1981 / edited by T. Moto-Oka Amsterdam etc.) - North-Holland, 1982 Saggio Monografico International conference on formal methods in computer-aided design (1996 ; Palo Alto) Formal methods in computer -aided design - first international conference, FMCAD '96 - Palo Alto, CA, USA, November 6-8, 1996 - proceedings / Mandayam Srivas, Albert Camilleri (eds.) Berlin etc. - Springer, c1996 Saggio Monografico International conference on formal methods in computer-aided design (2. ; 1998 ; Palo Alto) Formal methods in computer -aided design - 2. international conference, FMCAD '98 - Palo Alto, CA, USA, November 4-6, 1998 - proceedings / Ganesh Gopalakrishnan, Philip Windley (eds.) Berlin etc. - Springer, c1998 Saggio Monografico International conference on formal methods in computer-aided design (3. ; 2000 ; Austin)) Formal methods in computer -aided design - third international conference, FMCAD 2000 - Austin, TX, USA, november 1-3, 2000 - proceedings / Warren A. Hunt jr., Steven D. Johnson (eds.) Berlin etc. - Springer, c2000 Saggio Monografico International conference on formal methods in computer-aided design (4. ; 2002 ; Portland, Oregon) Formal methods in computer -aided design - 4th international conference, FMCAD 2002 - Portland, OR, USA, November 6-8, 2002 - proceedings / Mark D. Aagaard, John W. O'Leary (eds.) Berlin etc. - Springer, c2002 Saggio Monografico International conference on foundation of computer aided process design (3. ; 1989 ; Snowmass Village) Foundations of computer -aided process design - proceedings of the 3. international conference on foundations of computer -aided process design, Snowmass Village, CO, July 10-14, 1989 / editors Jeffrey J. Siirola, Ignacio E. Grossmann, George Stephanopoulos Amsterdam (etc.) - Elsevier, 1990 Saggio Monografico International Conference on foundations of computer aided process operations (1. ; 1987 ; Park City, Utah) Foundations of computer aided process operations - proceedings of the First International Conference on foundations of computer aided process operations, Park City, Utah, July 5-10, 1987 / editors- G. V. Reklaitis, H. D. Spriggs Amsterdam (etc.) - Elsevier, 1987 Saggio Monografico International Conference on Foundations of Computer-Aided Process Design (4 ; 1994 ; Snowmass) Fourth International Conference on Foundations of computer -aided process design - proceedings of the conference held at Snowmass, Colorado, July 10-14, 1994 / Lorenz T. Biegler, Michael F. Doherty, volume editors Danvers(MA) - CACHE and American Institute of Chemical Engineers, 1995 Saggio Monografico International Conference on Foundations of Computer-Aided Process Operations (3 ; 1998 ; Snowbird) Third International Conference on Foundations of computer -aided process operations - Procedings of the Conference held at Snowbird, Utah, July 5-10, 1998 / Joseph F. Pekny, Gary E. Blau, editors Danvers (MA) - CACHE and American Institute of Chemical Engineers, 1998 Saggio Monografico International conference on foundations of software technology and theoretical computer science (25. ; 2005 ; Hyderabad) FSTTCS 2005- Foundations of Software Technology and Theoretical Computer Science - 25th International Conference - Hyderabad, India, December 15-18, 2005 - proceedings / R.Ramanujam, Sandeep Sen (eds.) Berlin (etc.) - Springer, c2005 Saggio Monografico International Conference on Frontiers of Pattern recognition (Honolulu ; 1971) Frontiers of pattern recognition - the proceedings of the International Conference on Frontiers of Pattern Recognition, jointly sponsored by Pattern Recognition Committee, IEEE Computer Society; Pattern Recognition Committee, IEEE Systems, Man and Cibernetics Group; and the University New York ; London, 1972 Saggio Monografico International conference on human computer interaction (10. ; 2005 Human- computer interaction - INTERACT '05 - IFIP TC13 International conference on Human- computer interaction, 12th -16th september 2005, Rome, Italy - adjunct proceedings / edited by Paolo Buono ... (ed altri) Bari - G. Laterza, (2005) Saggio Monografico International conference on human computer interaction (10. ; 2005 ; Rome) Human- computer interaction - INTERACT 2005 - IFIP TC13 international conference - Rome, Italy, September 12-16, 2005 - proceedings / Maria Francesca Costabile, Fabio Paterno (eds.) Berlin (etc.) - Springer, c2005 Saggio Monografico |