1
Material Type:
Livro
Advances in artificial intelligence proceedings of the Sixth European Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September 5-7, 1984
European Conference on Artificial Intelligence (6th 1984 Pisa, Italy) Tim O'Shea 1949-; European Coordinating Committee for Artificial Intelligence
Amsterdam New York North Holland New York, N.Y., U.S.A. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1985
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68T01 E89aa 1984 e.1 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Tese de Doutorado
Algorithmic program debugging
Ehud Y. Shapiro
c1983
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.416.2 Sh22a ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Alternating sequential/parallel processing
Y. Wallach 1928- (Yehuda)
Berlin New York Springer 1982
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.272 W155a ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Analysis of neural networks
Uwe an der Heiden 1942-
Berlin New York Springer-Verlag 1980
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68T45.01 U95an e.1 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
Applying data structures
T. G Lewis (Theodore Gyle), 1941- Marilyn Z Smith
Boston Houghton Mifflin c1976
Localização:
IME - Inst. Matemática e Estatística
(QA758 L676a ) (Acessar)
This feature requires javascript
6
Material Type:
Livro
The art of software testing
Glenford J. Myers 1946-
New York Wiley c1979
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.25 M996a e.2 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Artifical intelligence in medicine proceedings of the International Conference on Artificial Intelligence in Medicine Pavia, Italy, 13-14 September, 1985
International Conference on Artificial Intelligence in Medicine (1985 Pavia, Italy) Ivo De Lotto; Mario Stefanelli; European Coordinating Committee for Artificial Intelligence
Amsterdam Oxford North-Holland 1985
Localização:
IME - Inst. Matemática e Estatística
(QA869.C L884a ) (Acessar)
This feature requires javascript
8
Material Type:
Livro
An artificial intelligence approach to VLSI design
Thaddeus J. Kowalski
Boston Kluwer Academic Publishers c1985
Localização:
IME - Inst. Matemática e Estatística
(QA860 K88a ) (Acessar)
This feature requires javascript
9
Material Type:
Livro
Artificial intelligence, expert systems, computer vision, and natural language processing
William B. Gevarter
Park Ridge, N.J. USA Noyes Publications c1984
Localização:
IME - Inst. Matemática e Estatística
(QA860 G396a ) (Acessar)
This feature requires javascript
10
Material Type:
Livro
Automatic verification of programs with complex data structures
Norihisa Suzuki 1946-
New York Garland Pub. 1980
Localização:
IME - Inst. Matemática e Estatística
(QA754 S968a ) (Acessar)
This feature requires javascript