Pagina nr. 749 di 1129

%

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 Testo 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 Incluso in > Computer aided optimum design of structures ... - ... International conference on computer aided optimum design of structures - OPTI .. Testo 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 Incluso in > Computer aided optimum design of structures ... - ... International conference on computer aided optimum design of structures - OPTI .. Testo Monografico International conference on computer aided production engineering (10. ; 1994 ; Palermo) Tenth international conference on computer-aided production engineering - Università 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) Testo 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 Testo 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 Testo 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, ©2004 Testo Monografico International conference on computer aided verification (17. ; 2005 ; Edimburgo) Computer aided Verification - 17th international conference , CAV 2005 - Edinburgh ,Scotland , UK, July 6-10 , 2005 - proceedings / Kousha Etessami , Sriram k. Rajamani (eds.) Testo 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 Testo 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, ©2005 Testo 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, ©2003 Testo Monografico International conference on computer analysis of images and patterns (11. ; 2005 ; Versailles) Computer Analysis of Images and Patterns - 11th International Conference, CAIP 2005 - Versailles, France, September 2005 - proceedings / André Gagalowicz, Wilfried Philips (eds.) Berlin (etc.) - Springer, ©2005 Testo Monografico International conference on computer analysis of images and patterns (7. ; 1997 ; Kiel) Computer analysis of images and patterns - 7. international conference, CAIP '97, Kiel, Germany, September 10-12, 1997 - proceedings / Gerald Sommer, Kostas Daniilidis, Josef Pauli (eds.) Berlin etc. - Springer, c1997 Testo Monografico International conference on computer analysis of images and patterns (8. ; 1999 ; Lubiana) Computer analysis of images and patterns - 8. international conference, CAIP'99 - Ljubljana, Slovenia, September 1-3, 1999 - proceedings / Franc Solina, Ales Leonardis (eds.) Berlin etc. - Springer, c1999 Testo Monografico International conference on computer analysis of images and patterns (9. ; 2001 ; Varsavia) Computer analysis of images and patterns - 9. international conference, CAIP 2001 - Warsaw, Poland, September 5-7, 2001 - proceedings / Wladyslaw Skarbek (ed.) Berlin etc. - Springer, c2001 Testo Monografico