Pagina nr. 759 di 1187

%

International symposium on symbolic and algebraic computation (2001 ; London, Ontario) ISSAC 2001 - proceedings of the 2001 International symposium on symbolic and algebraic computation - July 22-25, 2001, University of Western Ontario, London, Ontario, Canada / editor Bernard Mourrain New York - ACM Press, c2001 Testo Monografico International Symposium on Symbolic and Algebraic Computation (38. ; 2013 ; Boston) ISSAC 2013 - Boston, USA, June 26-29, 2013 - proceedings of the 38th International Symposium on Symbolic and Algebraic Computation / Manuel Kauers editor ; (sponsored by the Association for Computing Machinery and its Special Interest Group on Symbolic Manipulation, ACM SIGSAM) New York - ACM, 2013 Testo Monografico International symposium on symbolic and algebraic manipulation (1979 ; Marsiglia) Symbolic and algebraic computation - EUROSAM '79, an International symposium on symbolic and algebraic manipulation, Marseilles, France, June 1979 / edited by Edward W. NG Berlin ° etc. - Springer, 1979 Testo Monografico International symposium on the applications of model theory to algebra, analysis and probability (1967 ; Pasadena) Applications of model theory to algebra, analysis, and probability / edited by W. A. J. Luxemburg New York - Holt, Rinehart and Winston, 1969 Testo Monografico International topological conference (1982 ; Leningrad) Topology - general and algebraic topology, and applications - proceedings of the International Topological Conference held in Leningrad, August 23-27, 1982 / edited by L.D. Fadeev and A.A. Mal'cev Berlin - Springer-Verlag, 1984 Testo Monografico International topological conference (1982 ; Leningrado) Topology - general and algebraic topology and applications - proceedings of the International topological conference held in Leningrad - August 23-27, 1982 / edited by L. D. Faddeev and A. A. Malcev Berlin etc. - Springer, 1984 Testo Monografico International Workshop in Algebraic Development Techniques (17. ; 2004 ; Barcelonaz) Recent Trends in Algebraic Development Techniques - 17. International Workshop, WADT 2004 - Barcelona, Spain, March 27 -29, 2004 - Revised Selected Papers / Josè Luiz Fiadero, Peter D. Mosses, Fernando Orejas (eds.) Berlin (etc.) - Springer, ©2005 Testo Monografico International workshop on algebraic development techiniques (15. ; 2001 ; Genova) Recent trends in algebraic development techniques - 15th international workshop, WADT 2001 - joint with the CoFI WG meeting - Geneva, Italy, April 1-4, 2001 - selected papers / Maura Cerioli, Gianna Reggio (eds.) Berlin etc. - Springer, c2001 Testo Monografico International workshop on algebraic development techniques (14. ; 1999 ; Chateau de Bonas) Recent trends in algebraic development techniques - 14. international workshop, WADT'99 - Chateau de Bonas, September 15-18, 1999 - selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.) Berlin etc. - Springer, c2000 Testo Monografico International workshop on algebraic development techniques (16. ; 2002 ; Frauenchiemsee) Recent trends in algebraic development techniques - 16th international workshop, WADT 2002 - Frauenchiemsee, Germany, September 24-27, 2002 - revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.) Berlin °etc. - Springer, c2003 Testo Monografico International workshop on algebraic frames for the perception and action cycle (2. ; 2000 ; Kiel) Algebraic frames for the perception-action cycle - second international workshop, AFPAC 2000 - Kiel, Germany, September 10-11, 2000 - proceedings / Gerald Sommer, Yehoshua Y. Zeevi (eds.) Berlin etc. - Springer, c2000 Testo Monografico International workshop on algebraic frames for the perception and action cycles (1997 ; Kiel) Algebraic frames for the perception-action cycle - international workshop, AFPAC '97, Kiel, Germany, September 8-9, 1997 - proceedings / Gerald Sommer, Jan J. Koenderink (eds.) Berlin etc. - Springer, c1997 Testo Monografico International workshop on CASC (8. ; 2005 ; Kalamata) Computer Algebra in Scientific Computing - 8th International Workshop, CASC 2005 - Kalamata, Greece, September 2005 - proceedings / Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) Berlin (etc.) - Springer, ©2005 Testo Monografico International workshop on higher-order algebra, logic, and term rewriting (2. ; 1995 ; Paderborn) Higher-order algebra, logic, and term rewriting - second international workshop, HOA '95 - Paderborn, Germany, September 21-22, 1995 - selected papers / Gilles Dowek ... ed altri (eds.) Berlin etc. - Springer, c1996 Testo Monografico International Workshop on Mathematics Mechanization (6. ; 2004 ; shanghai) Computer Algebra and geometric algebra with applications - 6th international workshop , IWMM 2004 - Shanghai , China , May 19-21 ,2004 - proceedings /Hongbo Li ... ed altri (eds.) Berlin (etc.) - Springer , ,2005 Testo Monografico