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
|
IPv6 Network ProgrammingJun-ichiro itojun HaginoBurlington Digital Press 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
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) |
|
10 |
Material Type: Livro
|
Directory of applications software of the United Nations systemUnited Nations Advisory Committee for the Co-ordination of Information SystemsNew York United Nations 1990Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (R681.3.06 U58d )(Acessar) |