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
|
IPv6 Network ProgrammingJun-ichiro itojun HaginoBurlington Digital Press 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Software factories assembling applications with patterns, models frameworks, and toolsJack Greenfield 1957- Keith Short 1953-Indianapolis, IN Wiley Pub. c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.50 G826sf e.1 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Developing Facebook platform applications with RailsMichael J ManginoRaleigh, N.C The Pragmatic Bookshelf c2008Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.413 M313d )(Acessar) |
|
5 |
Material Type: Livro
|
Java data objectsDavid Jordan 1957- Craig RussellSebastopol, CA O'Reilly Farnham 2003Localização: ICMC - Inst. Ciên. Mat. Computação (68N15.48 J82jd e.1 )(Acessar) |
|
6 |
Material Type: Livro
|
Professional Linux kernel architectureWolfgang Mauerer 1978-Indianapolis, IN Wiley Pub c2008Localização: IFSC - Inst. Física de São Carlos (005.43 M448p )(Acessar) |
|
7 |
Material Type: Livro
|
Java connector architecture building custom connectors and adaptersAtul ApteIndianapolis, Ind Sams c2002Localização: IME - Inst. Matemática e Estatística (QA771.32 A655j )(Acessar) |
|
8 |
Material Type: Livro
|
Active networks IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001 : proceedingsIWAN (3rd 2001 Philadelphia, Pa.) Ian W Marshall; Scott M Nettles; Naoki Wakamiya 1971-Berlin Springer New York c2001Localização: IFSC - Inst. Física de São Carlos (P 621.38195 L471 v.2207 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
APIs and protocols for convergent network servicesStephen M. MuellerNew York McGraw-Hill 2002Localização: EPBC - Esc. Politécnica-Bib Central (004.772 M887a )(Acessar) |
|
10 |
Material Type: Livro
|
Using OpenMP portable shared memory parallel programmingBarbara Chapman 1954 Gabriele Jost; Ruud van der Pas; David J KuckCambridge, Mass MIT Press c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.01 C466uo e.1 ) e outros locais(Acessar) |