Proceedings of the ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering PASTE '2001 Snowbird, Utah,USA June 18-19, 2001
ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (2001 Snowbird, Utah) Association for Computing Machinery; ACM Special Interest Group on Programming Languages; ACM Sigsoft
SIGSOFT 2004/FSE 12 Twelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering http://www.isr.uci.edu/FSE-12 : October 31-November 5, 2004, Newport Beach, California, USA
ACM SIGSOFT International Symposium on the Foundations of Software Engineering (12th 2004 Newport Beach, Calif.) William Dwyer 1963-; Association for Computing Machinery; ACM Sigsoft; ACM Digital Library
New York Association for Computing Machinery c2004
Conference record of second annual ACM Symposium on Theory of Computing; papers presented at the Symposium, Northampton, Mass., May 4, 5, 6, 1970
ACM Symposium on Theory of Computing (2nd 1970 Northampton, Mass.) Association for Computing Machinery Special Interest Group for Automata and Compatibility
Advanced Course on Software Engineering (1972 Munich) Friedrich Ludwig Bauer 1924-; Munich Technische Universität; Akademie der Wissenschaften, Munich Leibniz Rechenzentrum
Berlin New York Springer-Verlag 1975, c1973
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.30 ex.1 ) e outros locais(Acessar)
Algebraic methodology and software technology 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Inverse problems, multi-scale analysis and effective medium theory workshop in Seoul, Inverse problems, multi-scale analysis, and homogenization, June 22-24, 2005, Seoul National University, Seoul, Korea
Habib Ammari; Hyeonbae Kang
Providence, R.I. American Mathematical Society c2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(00-02 CM v.408 ) e outros locais(Acessar)