International Colloquium on trees in algebra and programming (19. ; 1994 ; Edinburgh) Trees in algebra and programming - CAAP '94 - 19. international colloquium - Edimburg, U.K., April 11-13, 1994 / Sophie Tison (ed.) Berlin (etc.) - Springer-Verlag, c1994 Testo Monografico International conference acoustic mechanics and the related topics in mathematical analysis (2002 ; Frejus) Acoustic, mechanics, and the related topics of mathematical analysis - proceedings of the International conference to celebrate Robert P. Gilberts 70th birthday, Caes du CNRS, Frejus, France, 18-22 JUne 2002 / editor Armand Wirgin New Jersey etc. - World scientific, c2002 Testo Monografico International conference CAV '94 (6. ; 1994 ; Stanford) Computer aided verification - 6. international conference, CAV '94 - Stanford, California, USA, June 21-23, 1994 - proceedings / David L. Dill (ed.) Berlin (etc.) - Springer-Verlag, c1994 Testo Monografico International conference FCT (1989 ; Szeged) Fundamentals of computation theory - International conference FCT '89, Szeged, Hungary, August 21-25, 1989 - proceedings / J. Csirik, J. Demetrovics, F. Gecseg (eds.) Berlin etc. - Springer, c1989 Testo Monografico International conference LPAR (3. ; 1992 ; San Pietroburgo) Logic programming and automated reasoning - international conference LPAR 92 - St. Petersburg, Russia, July 1992 - proceedings / A. Voronkov (ed.) Berlin etc. - Springer, c1992 Testo Monografico International conference Nonlinear mathematical problems in industry (1992 ; Iawaki) Proceedings of international conference- Nonlinear mathematical problems in industry / H. Kawarada, N. Kenmochi, N. Yanagihara Tokyo - Gakkotosho, 1993 Testo Monografico International conference on Analysis and optimization of systems (11. ; 1994 ; Sophia-Antipolis) 11th international conference on Analysis and optimization of systems - discrete event systems - Sophia-Antipolis, June 15-16-17, 1994 / Guy Cohen and Jean-Pierre Quadrat (eds.) London etc. - Springer, c1994 Testo Monografico International conference on analysis and optimization of systems (12. ; 1996 ; Parigi) ICAOS 96 - 12. international conference on analysis and optimization of systems - images, wavelets and PDEs - Paris, June 26-28, 1996 / Marie-Odile Berger ... ed altri eds London etc. - Springer, 1996 Testo Monografico International conference on analysis and optimization of systems (4. ; 1980 ; Versailles) Analysis and optimization of systems - proceedings of the 4. International conference on analysis and optimization of systems, Versailles, December 16-19, 1980 / edited by A. Bensoussan and J. L. Lions Berlin ° etc. - Springer-Verlag , 1980 Testo Monografico International conference on Analysis and optimization of systems (6 ; 1984 ; Nizza) Analysis and Optimization of systems - proceedings of the sixth International conference on analysis and optimization of systems, Nice, June, 19-22, 1984 / edited by A. Bensoussan and J. L. Lions Berlin etc. - Springer Testo Monografico International conference on applications and theory of Petri nets (12. ; 1991 ; Gjern) Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.) Berlin (etc.) - Springer-Verlag, c1993 Testo Monografico International conference on applied nonlinear analysis (3. ; 1978 ; Arlington) Applied nonlinear analysis / edited by V. Lakshmikantham New York - Academic press, 1979 Testo Monografico International conference on automated deduction (9. ; 1988 ; Argonne) International conference on automated deduction - Argonne, Illinois, USA, May 23-26, 1988 - proceedings / E. Lusk, R. Overbeek (eds.) Berlin etc. - Springer, copyr. 1988 Testo Monografico International conference on boundary element methods (11. ; 1989 ; Cambridge, Mass.) 2- Field and fluid flow solutions - proceedings of the eleventh International conference on boundary element methods, Cambridge, U.S.A., August 1989 / editors C. A. Brebbia, J. J. Connor Southampton etc. - Computational mechanics publications ; Berlin etc. - Springer, 1989 Incluso in > Advances in boundary elements - proceedings of the eleventh International conference on boundary element methods, Cambridge, USA, August 1989 / editors C. A. Brebbia, J. J. Connor Testo Monografico International conference on collective phenomena (4. ; 1981 ; Moscow) Fourth international conference on collective phenomena / edited by Joel L. Lebowitz New York, NY - The New York Academy of sciences, 1981 Testo Monografico |