Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Formal Foundations for Software Engineering MethodsHeinrich HussmannSpringer Berlin Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Models and Tools for Managing Development ProcessesBernhard Westfechtel Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Building Tightly Integrated Software Development Environments: The IPSEN ApproachNagl Manfred NaglSpringer Berlin Heidelberg 1996Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Reflection and Software EngineeringWalter Cazzola Walter Cazzola; Robert J Stroud; Francesco TisatoSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Software Frameworks and Embedded Control SystemsAlessandro PasettiSpringer Berlin / Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Visual Information SystemsClement Leung Clement H. C LeungSpringer Berlin Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Livro
|
![]() |
Lectures on Proof Verification and Approximation AlgorithmsErnst W. Mayr Ernst W Mayr; H. J Prömel; Angelika Steger; G Goos; J Hartmanis; Hans Jürgen PrömelSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
Lectures on Embedded SystemsEuropean Educational Forum School on Embedded Systems Grzegorz Rozenberg; Frits VaandragerSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Artigo de Congresso
|
![]() |
Comparing parallel algorithms for Van der Waals energy with cell-list technique for protein structure predictionDaniel R. F. Bonetti Gesiel Rios Lopes; Alexandre Cláudio Botazzo Delbem; Paulo Sérgio Lopes de Souza; Kalinka Regina Lucas Jaquie Castelo Branco; Gonzalo Travieso; Congresso da Sociedade Brasileira de Computação - CSBC (38. 2018 Natal, RN); Workshop em Desempenho de Sistemas Computacionais e de Comunicação - WPerformance (17. 2018 Natal, RN)Anais Porto Alegre, RS : Sociedade Brasileira de Computação - SBC, 2018Porto Alegre, RS Sociedade Brasileira de Computação - SBC 2018Acesso online. A biblioteca também possui exemplares impressos. |