Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
2 |
Material Type: Livro
|
![]() |
Mathematical foundations of computer science 2003 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedingsSymposium on Mathematical Foundations of Computer Science (1972- ) (28th 2003 Bratislava, Slovakia) B Rovan (Branislav); Peter VojtáésBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2747 )(Acessar) |
3 |
Material Type: Livro
|
![]() |
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedingsSymposium on Theoretical Aspects of Computer Science (16th 1999 Trier, Germany) Christoph Meinel 1954-; Sophie TisonBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1563 )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, ProceedingsHentenryck, Pascal Van Van Hentenryck, PascalBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Computer science a modern introductionL. Goldschlager (Les), 1951- A. M Lister (Andrew) 1945-Englewood Cliffs, N.J. Prentice/Hall International c1982Localização: IME - Inst. Matemática e Estatística (QA724 G623c )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. ProceedingsHu, Zhenjiang ; Rodriquez-Artalejo, Mario Hu, Zhenjiang ; Rodríguez-Artalejo, MarioBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 ProceedingsDamm, Werner ; Olderog, Ernst -Rüdiger Damm, Werner ; Olderog, Ernst -RüdigerBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, ProceedingsDegano, Pierpaolo Degano, PierpaoloBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
The Mathematica GuideBook for SymbolicsTrott, MichaelNew York, NY: Springer Science + Business Media 2006Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
An Introduction to Scientific Computing: Twelve Computational Projects Solved with MATLABDanaila, Ionut ; Joly, Pascal ; Kaber, Sidi Mahmoud ; Postel, Marie Kaber, Sidi Mahmoud ; Postel, Marie ; Joly, Pascal ; Joly, Pascal ; Danaila, Ionut ; Postel, Marie ; Kaber, Sidi MahmoudNew York, NY: Springer Nature 2007Texto completo disponível |