Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
Model based testing of service oriented applicationsEndo, André TakeshiBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2013-04-19Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Structured computer organizationAndrew S. Tanenbaum 1944-Upper Saddle River, N.J. Pearson Prentice Hall c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68M05.01 T164s.5 e.9 CD-ROM ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Structured computer organizationAndrew S. Tanenbaum 1944-Upper Saddle River, N.J. Pearson Prentice Hall c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68M05.01 T164s.5 e.17 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
MIPS assembly language programmingRobert Britton (Robert L.)Upper Saddle River, NJ Pearson/Prentice Hall c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68N15.01 B862mi e.1 )(Acessar) |
|
5 |
Material Type: Livro
|
CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedingsInternational Conference on Concurrency Theory (14th 2003 Marseille, France) Roberto M Amadio; Denis LugiezBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2761 )(Acessar) |
|
6 |
Material Type: Livro
|
Formal techniques in real-time and fault-tolerant systems 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedingsFTRTFT 2002 (2002 Oldenburg, Germany) Werner Damm; E.-R OlderogBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2469 )(Acessar) |
|
7 |
Material Type: Livro
|
ASPLOS-X proceedings Tenth International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, October 5-9, 2002International Conference on Architectural Support for Programming Languages and Operating Systems (10th 2002 San Jose, Calif.) Association for Computing Machinery; Sigarch; ACM Special Interest Group in Operating Systems; ACM Special Interest Group on Programming LanguagesNew York, NY Association for Computing Machinery c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 I61as 2002 e.1 )(Acessar) |
|
8 |
Material Type: Livro
|
Fundamentos de arquitetura de computadoresRaul Fernando WeberPorto Alegre Sagra Luzzatto 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68M05.01 W373fa.2 e.10 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Smart card programming and security International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001 : proceedingsInternational Conference on Research in Smart Cards (2001 Cannes, France) Isabelle Attali; Thomas Jensen 1965-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2140 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Formal techniques in real-time and fault-tolerant systems 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000FTRTFT 2000 (2000 Pune, India) M JosephBerlin Springer New York 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1926 ) e outros locais(Acessar) |