Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedingsWorld Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1709 e.1 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Dependable Computing for Critical Applications 3A. Kopetz, H. Laprie, J. C. Avižienis H Kopetz; J. C Laprie; Brian Randell; Luca SimonciniSpringer Vienna 1993Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Dependable Computing for Critical Applications 4A. Kopetz, H. Laprie, J. C. Avižienis H Kopetz; J. C Laprie; Gerard LeLann; Teresa LuntSpringer Vienna 1995Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Linux rapid application developmentCameron Hughes 1960- Tracey HughesFoster City, CA M&T Books c2000Localização: EPBC - Esc. Politécnica-Bib Central (004.451 LINUX H874L )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Spring a developer's notebookBruce Tate 1965- Justin Gehtland; Michael Kosta LoukidesBeijing O'Reilly Sebastopol, CA c2005Localização: IME - Inst. Matemática e Estatística (QA724.12 T216s )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Oracle designer a template for developing an enterprise standards documentMark A. Kramm Kent Graziano 1960-Upper Saddle River, N.J. Prentice Hall PTR c2000Localização: IME - Inst. Matemática e Estatística (CD QA772.45 K85o )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Fuzzy logic and control software and hardware applicationsMohammad Jamshidi; Nader Vadiee; Timothy J RossEnglewood Cliffs, N.J. PTR Prentice Hall c1993Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (681.51 F9899 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Improving .NET application performance and scalabilityJ. D MeierRedmond, Wash. Microsoft Corporation c2004Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.4 Im7 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
IPv6 Network ProgrammingJun-ichiro itojun HaginoBurlington Digital Press 2005Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Applications development using CASE toolsKen S. BrathwaiteSan Diego Academic Press c1990Localização: EPBC - Esc. Politécnica-Bib Central (004.4 B737a ) e outros locais(Acessar) |