Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Mathematics and computersGeorge R. Stibitz 1904- (George Robert) Jules A Larrivee 1909- (Jules Alphonse)New York McGraw-Hill 1957Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (510.78 S854m ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Dos programação batch filesJose Antonio Alves RamalhoSão Paulo McGraw-Hill 1991Localização: IF - Instituto de Física (001.6425 R165d )(Acessar) |
|
3 |
Material Type: Livro
|
Autocad versões 10 e 11 manual de referencia completo e totalSão Paulo McGraw-Hill 1990Localização: IF - Instituto de Física (004.22 R424a ex.2 )(Acessar) |
|
4 |
Material Type: Livro
|
Contemporary logic designRandy H. Katz 1955-Redwood City Benjamin/Cummings 1994Localização: IF - Instituto de Física (621.395 K19c ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Aspectos teóricos da computaçãoClaudio Leonardo Lucchesi 1945-Rio de Janeiro Instituto de Matemática Pura e Aplicada, CNPq c1979Localização: EPBC - Esc. Politécnica-Bib Central (004 As63 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Quantum computer science: an introductionN. David MerminCambridge University Press 2007Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Logic and computer science lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E) held at Montecatini Terme, Italy, June 20-28, 1988Meeting on Logic and Computer Science (1988 : Montecatini Terme, It) Homer Steven; Piergiorgio Odifreddi; Anil Nerode 1932-; Richard A Platek; Gerald E Sacks 1933-; Andrej ScedrovBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 Lnm v.1429 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
A mathematical theory of global program optimizationMarvin Schaefer 1943-Englewood Cliffs, N.J. Prentice-Hall 1973Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (519.92 S294m ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Simple program schemes and formal languagesJoost EngelfrietBerlin New York Springer-Verlag 1974Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.20 e.1 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Anatomy of a compilerJohn A. N. LeeNew York Van Nostrand Reinhold 1967Localização: ICMC - Inst. Ciên. Mat. Computação (68N20 L478a e.1 ) e outros locais(Acessar) |