11
|
Material Type: Livro
|
|
Type theory and functional programming
Simon Thompson
Wokingham, England Reading, Mass. Addison-Wesley c1991
Localização:
IME - Inst. Matemática e Estatística
(QA754 T476t )(Acessar)
|
12
|
Material Type: Livro
|
|
Computer science; a primer
Alexandra I Forsythe; School Mathematics Study Group
New York Wiley 1969
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68P05.01 F735cs e.1 ) e outros locais(Acessar)
|
13
|
Material Type: Livro
|
|
Introduction to computer science mathematics
Robert V. Jamison
New York McGraw-Hill 1973
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68P05.01 J32i e.1 ) e outros locais(Acessar)
|
14
|
Material Type: Livro
|
|
Selected papers on computer science
Donald Ervin Knuth 1938-
Stanford, Calif. CSLI Cambridge, Mass. Cambridge University Press c1996
Localização:
EPBC - Esc. Politécnica-Bib Central
(004 K786s ) e outros locais(Acessar)
|
15
|
Material Type: Livro
|
|
Genetic programming Second European Workshop, EuroGP '99, Göteborg, Sweden, May 26-27, 1999 : proceedings
EuroGP '99 (2nd 1999 Göteborg, Sweden) Riccardo Poli 1961-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1598 ) e outros locais(Acessar)
|
16
|
Material Type: Livro
|
|
Data abstraction in programming languages
J. M. Bishop 1951- (Judith Mary)
Wokingham, England Reading, Mass. Addison-Wesley c1986
Localização:
IME - Inst. Matemática e Estatística
(QA762 B622d )(Acessar)
|
17
|
Material Type: Livro
|
|
Constraint programming ; basics and trends selected papers 1994 chatillon spring school, chatillon-sur-seine, france, may 16-20, 1994
French-Spring School of Theoretical Computer Science (1994 : Chatillon-Sur-Seine, Fr) Andreas Podelski
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.910 e.1 ) e outros locais(Acessar)
|
18
|
Material Type: Livro
|
|
Advances in computing science, ASIAN '98 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings
Asian Computing Science Conference (4th 1998 Manila, Philippines) Jieh Hsiang 1954-; Atsushi Ohori 1957-
Berlin Springer New York c1998
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1538 ) e outros locais(Acessar)
|
19
|
Material Type: Livro
|
|
Studies in automatic programming logic
Zohar Manna Richard Waldinger
New York North-Holland c1977
Localização:
IME - Inst. Matemática e Estatística
(QA754.C3 M282s )(Acessar)
|
20
|
Material Type: Livro
|
|
Computer science: projects and study problems
Alexandra I. Forsythe Elliott Irving Organick 1925-; Robert P Plummer
New York Wiley c1973
Localização:
FMRP - Fac. Medicina de Ribeirão Preto
(681.3.00'08 F735c 12461 ) e outros locais(Acessar)
|