31th Annual Symposium on Foundations of ComputerScience (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987
Symposium on Foundations of ComputerScience (31th 1990 St. Louis, Missori) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Washington, D.C. Computer Society Press of the IEEE c1990
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 31 v.2 )(Acessar)
33rd Annual Symposium on Foundations of ComputerScience October 24-27, 1992, Pittsburg, Pennsylvania : proceedings [papers]
Symposium on Foundations of ComputerScience (33rd 1992 Pittsburgh, Pa.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Los Alamitos, Calif. IEEE Computer Society Press 1992
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 33. )(Acessar)
Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues; third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21 - 24, 2007; proceedings
De-Shuang Huang; Laurent Heutte; Marco Loog; International Conference on Intelligent Computing. <3, 2007, Qingdao>
Internetausg. Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues
Berlin Springer Heidelberg u.a. 2007
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4681 ) e outros locais(Acessar)
Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)
Advanced Seminar on Foundations of Innovative Software Development (1st 1987 Pisa, Italy) Hartmut Ehrig; Colloquium on Trees in Algebra and Programming (12th 1987 Pisa, Italy)
Berlin Springer-Verlag New York c1987
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.250 v.2 )(Acessar)
Advances in cryptology EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings