Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedingsAMAST'98 (1999 Amazonia, Brazil) Armando Martín Haeberer 1947-Berlin Springer London c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1548 )(Acessar) |
|
12 |
Material Type: Livro
|
Genetic and evolutionary computation--GECCO 2003 Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003 : proceedingsGenetic and Evolutionary Computation Conference (5th 2003 Chicago, Ill.) Erick Cantú-PazBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2724 p.II )(Acessar) |
|
13 |
Material Type: Livro
|
Prospects for hardware foundations ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chaptersBernhard Möller 1953-; J. V Tucker 1952- (John V.)Berlin New York Springer c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1546 ) e outros locais(Acessar) |
|
14 |
Material Type: Livro
|
Computer organization and the system/370Harry KatzanNew York Van Nostrand Reinhold Co 1971Localização: EPBC - Esc. Politécnica-Bib Central (004.2 K159c ) e outros locais(Acessar) |
|
15 |
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) |
|
16 |
Material Type: Tese de Doutorado
|
Proposta de um gerador de ambientes para a modelagem de aplicações usando tecnologia adaptativa.Camolesi, Almir RogérioBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2007-05-11Acesso online. A biblioteca também possui exemplares impressos. |
|
17 |
Material Type: Livro
|
Rewriting techniques and applications proceedingsInternational Conference on Rewriting Techniques and Applications (2. 1987 Bordeaux) Pierre LescanneBerlin Springer 1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.256 ex.1 ) e outros locais(Acessar) |
|
18 |
Material Type: Livro
|
Foundations of software technology and theoretical computer science proceedingsConference on Foundations of Software Technology and Theoretical Computer Science, 5., New Delhi, 1985 S N MaheshwariBerlin Springer 1985Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.206 ex.1 ) e outros locais(Acessar) |
|
19 |
Material Type: Livro
|
OpenMP shared memory parallel programming International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003 : proceedingsInternational Workshop on OpenMP Applications and Tools (2003 Toronto, Ont.) Michael J Voss 1973-Berlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2716 )(Acessar) |
|
20 |
Material Type: Livro
|
Self-stabilizing systems 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 : proceedingsWSS 2001 (2001 Lisbon, Portugal) Ajoy K Datta 1958-; Ted Herman 1952-Berlin Springer London 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2194 ) e outros locais(Acessar) |