11
|
Material Type: Livro
|
|
Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedings
AMAST'98 (1999 Amazonia, Brazil) Armando Martín Haeberer 1947-
Berlin Springer London c1999
Localizaçã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 : proceedings
Genetic and Evolutionary Computation Conference (5th 2003 Chicago, Ill.) Erick Cantú-Paz
Berlin Springer New York c2003
Localizaçã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 chapters
Bernhard Möller 1953-; J. V Tucker 1952- (John V.)
Berlin New York Springer c1998
Localizaçã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/370
Harry Katzan
New York Van Nostrand Reinhold Co 1971
Localizaçã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 : proceedings
International Conference on Concurrency Theory (14th 2003 Marseille, France) Roberto M Amadio; Denis Lugiez
Berlin Springer New York c2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2761 )(Acessar)
|
16
|
Material Type: Livro
|
|
Rewriting techniques and applications proceedings
International Conference on Rewriting Techniques and Applications (2. 1987 Bordeaux) Pierre Lescanne
Berlin Springer 1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.256 ex.1 ) e outros locais(Acessar)
|
17
|
Material Type: Artigo de Congresso
|
|
A new paradigm for the architecture of morphological machines binary decision diagrams
Heraldo Maciel França Madeira Júnior Barrera; Roberto Hirata Júnior; Nina Sumiko Tomita Hirata; Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - SIBGRAPI (12. 1999 Campinas)
Proceedings Los Alamitos: IEEE, 1999
Los Alamitos IEEE 1999
Localização:
IME - Inst. Matemática e Estatística
(PROD-1084383 ) e outros locais(Acessar)
|
18
|
Material Type: Livro
|
|
Foundations of software technology and theoretical computer science proceedings
Conference on Foundations of Software Technology and Theoretical Computer Science, 5., New Delhi, 1985 S N Maheshwari
Berlin Springer 1985
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.206 ex.1 ) e outros locais(Acessar)
|
19
|
Material Type: Livro
|
|
Euro-Par'99 parallel processing 5th International Euro-Par Conference, Toulouse, France, August 31-September 3, 1999 : proceedings
International Euro-Par Conference (5th 1999 Toulouse, France) Patrick Amestoy
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1685 e.1 ) e outros locais(Acessar)
|
20
|
Material Type: Livro
|
|
OpenMP shared memory parallel programming International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003 : proceedings
International Workshop on OpenMP Applications and Tools (2003 Toronto, Ont.) Michael J Voss 1973-
Berlin Springer New York c2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2716 )(Acessar)
|