Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Exercises in programming styleCristina Videira LopesBoca Raton CRC Press, Taylor & Francis Group 2014Localização: IME - Inst. Matemática e Estatística (QA752 L864e e.1 )(Acessar) |
|
2 |
Material Type: Livro
|
Automata, languages and programming 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings / Jos C.M. Baeten ... [et al.] (Eds.)International Colloquium on Automata, Languages, and Programming (30th 2003 Eindhoven, Netherlands) J. C. M BaetenBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2719 )(Acessar) |
|
3 |
Material Type: Livro
|
UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 ProceedingsJézéquel, Jean-Marc ; Hussmann, Heinrich ; Cook, Stephen Cook, Stephen ; Hussmann, Heinrich ; Jézéquel, Jean-MarcBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
|
4 |
Material Type: Livro
|
Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedingsEuropean Symposium on Programming (9th 2000 Berlin, Germany) Gert Smolka; ETAPS 2000 (2000 Berlin, Germany)Berlin New York Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1782 ) e outros locais(Acessar) |