1
|
Material Type: Livro
|
|
Paradigms of artificial intelligence programming case studies in Common Lisp
Peter Norvig
San Francisco, Calif. Morgan Kaufman Publishers c1992
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(006.3 N891p e.2 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
The pragmatic programmer from journeyman to master
Andrew Hunt 1964 David Thomas 1956
Reading, Mass Addison-Wesley c2000
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.424 H911p ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
The art of computer programming
Donald E. Knuth 1938- (Donald Ervin)
Reading, Mass. Addison-Wesley Harlow 1997-
Localização:
EEL - Engenharia de Materiais
(004.42 K72a 3 ed. ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers
TYPES 2006 (2006 Nottingham, England) Thorsten Altenkirch 1962-; Conor McBride
Berlin Springer New York c2007
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004 T98 2006 ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Structure and interpretation of computer programs
Harold Abelson Gerald Jay Sussman; Julie Sussman
Cambridge, Mass. MIT Press New York McGraw-Hill c1996
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.424 Ab35s2 ) e outros locais(Acessar)
|
6
|
Material Type: Livro
|
|
Introduction to algorithms
Thomas H Cormen
Cambridge, Mass. MIT Press c2001
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.41 C813i2 ) e outros locais(Acessar)
|
7
|
Material Type: Livro
|
|
Programming multi-agent systems in AgentSpeak using Jason
Rafael H Bordini Jomi Fred Hübner; Michael J Wooldridge 1966-
Chichester, England J. Wiley Hoboken, NJ c2007
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.775 B6441p e.4 ) e outros locais(Acessar)
|
8
|
Material Type: Livro
|
|
Introduction to algorithms
Thomas H Cormen
Cambridge, Mass MIT Press c2009
Localização:
EESC - Esc. Engenharia de São Carlos
(001.64 I61.3 e.2 ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Semantic web programming
John Hebeler; Matthew Fisher; Ryan Blace; Andrew Perez-Lopez
Indianapolis, Ind. Wiley 2009
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(004.6781 S471 ) e outros locais(Acessar)
|
10
|
Material Type: Livro
|
|
Structured computer organization
Andrew S. Tanenbaum 1944- James R Goodman
Upper Saddle River, N.J. Prentice Hall c1999
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(004 T164s 4.ed. ) e outros locais(Acessar)
|