1
|
Material Type: Livro
|
|
Flexibility, configurability and optimality in UNL deconversion via multiparadigm programming
Jorge Marques Pelizzoni Maria das Graças Volpe Nunes
Cardenosa, J (*); Gelbukh, A (*); Tovar, E (*) Universal networking language: advances in theory and applications Mexico: IPN Graphic Workshop, 2005
Mexico IPN Graphic Workshop 2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1439470 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Preface
Nuno J Mamede Jorge Baptista; Isabel Trancoso; Maria das Graças Volpe Nunes; International Workshop - PROPOR 2003 (6. 2003 Faro)
Proceedings
Heidelberg Springer 2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1318345 ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Computational Processing of the Portuguese Language
Nuno J Mamede Jorge Baptista; Isabel Trancoso; Maria das Graças Volpe Nunes; International Workshop - PROPOR 2003 (6. 2003 Faro)
Proceedings
Heidelberg Springer 2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1318234 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Separatrix surfaces and invariant manifolds of a class of integrable Hamiltonian systems and their perturbations
Jaume Llibre Ana Nunes 1958-
Providence, R.I. American Mathematical Society 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(00-02 Mem v.513 ex.1 ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Aplicações em dinâmica e controle
J. M Balthazar; V. A Oliveira; G. N Silva; J. M Rosario; Escola Brasileira de Aplicações em Dinâmica e Controle (1. (2001 São Carlos)
São Carlos ABCM SBMAC 2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(65-06 E74ad 2001 e.1 ) e outros locais(Acessar)
|
6
|
Material Type: Livro
|
|
Lógica para ciência da computação fundamentos de linguagem, semântica e sistemas de dedução
Jo ao Nunes de Souza
Rio de Janeiro Ed. Campus 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68T70.10 S729Lc e.1 ) e outros locais(Acessar)
|
7
|
Material Type: Livro
|
|
Francisco de Assis
Miranez (espírito) João Nunes Maia
Belo Horizonte Fonte Viva 2013
Localização:
ICMC - Inst. Ciên. Mat. Computação
(L 00-00 M671fa.33 )(Acessar)
|
8
|
Material Type: Livro
|
|
Cadernos de Computação
Maria das Graças Volpe Nunes André Carlos Ponce de Leon Ferreira Carvalho
São Carlos ICMC-USP 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1573288 ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Interactive systems design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers
DSV-IS 2003 (2003 Funchal, Madeira Islands) J. A Jorge (Joaquim A.); Nuno Jardim Nunes; João Falcão e Cunha
Berlin Springer New York c2003
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(004.33 D811i 2003 ) e outros locais(Acessar)
|
10
|
Material Type: Livro
|
|
Anais 2. Escola Regional de Redes de Computadores - ERRC - 2004, Canoas, RS - Brasil, 12, 13 e 14 de julho de 2004
Escola Regional de Redes de Computadores - ERRC 2004 (2. 2004 Canoas, RS) Cristina Moreira Nunes; Juergen Rochol; Granville, Lisandro Zambenedetti; Sociedade Brasileira de Computação
Canoas SBC 2004
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-06 E74ai 2004 e.1 )(Acessar)
|