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
|
![]() |
FST TCS 2002 foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 ; proceedingsManindra Agrawal 1966-; Anil Seth 1965-Berlin Springer 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2556 )(Acessar) |
3 |
Material Type: Livro
|
![]() |
The Mathematica GuideBook for SymbolicsTrott, MichaelNew York, NY: Springer Science + Business Media 2006Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedingsUML '99 (1999 Fort Collins, Colo.) Robert France (Robert B.); Bernhard RumpeBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1723 e.1 )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Learn Java for Android DevelopmentFriesen, JeffBerkeley, CA: Apress L. P 2013Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
|
8 |
Material Type: Livro
|
![]() |
Solving Problems in Scientific Computing Using Maple and MATLABGander, Walter ; Hrebicek, JiriBerlin, Heidelberg: Springer Berlin / Heidelberg 1997Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Solving Problems in Scientific Computing Using Maple and MatlabGander, Walter ; Hřebíček, JiříBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Maple Via Calculus: A Tutorial ApproachLopez, Robert JBoston, MA: Birkhäuser Boston 1994Texto completo disponível |