International conference on computer aided design manufacture and operation in the railway and other advanced mass transit systems (3. ; Washington ; 1992) Computers in railways 3 -proceedings of the 3. international conference on computer aided design, manifacture and operation in the railway and other advanced mass transit systems (COMPRAIL 92) held in Washington, 18-20 August 1992 / editors T.K.S. Murphy (ed altri) Southampton ; Boston, c1992 Saggio Monografico International conference on computer aided design, manufacture and operation in the marine and offshore industries ; 1986) CADMO 86 - proceedings of the International Conference on computer aided design, manufacture and operation in the marine and offshore industries, Washington DC, USA, September 1986 / editors- G. A. Keramidas, T. K. S. Murthy Berlin (etc.) - Springer, c1986 Saggio Monografico International conference on computer aided design, manufacture and operation in the marine and offshore industries (3. ; 1991 ; Key Biscayne) Computer methods in marine and offshore engineering - proceedings of the third International conference on computer aided design, manufacture and operation in the marine and offshore industries, held at Key Biscayne, Florida, USA, during 15-17 January 1991 / edited by T. K. S. Murthy Southampton - Boston, c1991 Saggio Monografico International conference on computer aided learning and instruction in science and engineering (3. ; 1996 ; San Sebastian, Spagna) Computer aided learning and instruction in science and engineering - 3. international conference, CALISCE '96 - San Sebastian, Spain, July 29-31, 1996 - proceedings / A. Diaz de Ilarraza Sanchez, I. Fernandez de Castro (eds.).- Berlin etc. - Springer, c1996 Saggio Monografico International conference on computer aided optimum design of structures (3. ; 1993 ; Zaragoza) Optimization of structural systems and applications - international conference on computer aided optimum design of structures 3., Zaragoza July 1993 / eds. S.Hernandez and C.A.Brebbia Southampton ; Boston - Computational mechanics publications, c1993 Saggio Monografico International conference on computer aided optimum design of structures (4. ; 1995 ; Miami) Computer aided optimum design of structures 4. - Structural optimization - Fourth international conference on computer aided optimum design of structures - OPTI 95 / editors- S. Hernandez, M. El-Sayed, C.A. Brebbia Southampton (etc.) - Computational Mechanics Publications, c1995 Saggio Monografico International Conference on Computer Aided Optimum design of structures (5 ; - Roma - 1997) Computer aided optimum design of structures 5. - Fifth international conference on computer aided optimum design of structures, OPTI 97 / editors- S. Hernandez, C. A. Brebbia Southampton ; Boston - Computational Mechanics Publications, c1997 Saggio Monografico International conference on computer aided production engineering (10. ; 1994 ; Palermo) Tenth international conference on computer -aided production engineering - Universita di Palermo, Dipartimento di tecnologia e produzione meccanica - Palermo, june, 7-9, 1994 / conference proceedings edited by U. La Commare and J. A. McGeough Luogo di pubblicazione non indicato - s. n. , stampa 1994 (Palermo - Arti grafiche siciliane) Saggio Monografico International conference on computer aided verification (12. ; 2000 ; Chicago) Computer aided verification - 12. international conference, CAV 2000 - Chicago, IL, USA, July 15-19, 2000 - proceedings ( E. Allen Emerson, A. Prasad Sistla (eds.) Berlin etc. - Springer, c2000 Saggio Monografico International conference on computer aided verification (15. ; 2003 ; Boulder) Computer aided verification - 15th international conference, CAV 2003 - Boulder, CO, USA, July 8-12, 2003 - proceedings / Warren A. Hunt, Jr., Fabio Somenzi (eds.) Berlin (etc.) - Springer, c2003 Saggio Monografico International Conference on Computer Aided Verification (16. ; 2004 ; Boston) Computer Aided Verification - 16. International Conference, CAV 2004 - Boston, MA, USA, July 13-17, 2004 - Proceedings / Rajeev Alur, Doron A. Peled (eds.) Berlin (etc.) - Springer, c2004 Saggio Monografico International conference on computer aided verification (17. ; 2005 ; Edinburg) Computer aided Verification - 17th international conference , CAV 2005 - Edinburgh ,Scotland , UK, July 6-10 , 2005 - proceedings / Kousha Etessami , Sriram k. Rajamani (eds.) Saggio Monografico International conference on computer aided verification (8. ; 1996 ; New Brunswick, New Jersey) Computer aided verification - 8. international conference, CAV '96 - New Brunswick, NJ, USA, July 31 - August 3, 1996 - proceedings / Rajeev Alur, Thomas A. Henzinger (eds.) Berlin etc. - Springer, c1996 Saggio Monografico International conference on computer Aides systems theory (10. ; 2005 ; Las Palmas) Computer Aided Systems Theory, EUROCAST 2005 - 10th International Conference on Computer Aided Systems Theory - Las Palmas de Gran Canaria, Spain, February 7-11, 2005 - Revised Selected Papers / Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.) Berlin(etc.) - Springer, c2005 Saggio Monografico International conference on computer analysis of images and patterns (10. ; 2003 ; Groninga) Computer analysis of images and patterns - 10th international conference, CAIP 2003 - Groningen, The Netherlands, August 25-27, 2003 - proceedings / Nicolai Petkov, Michel A. Westenberg (Eds.) Berlin (etc.) - Springer, c2003 Saggio Monografico |