Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Logic and algorithms with applications to the computer and information sciencesRobert R. KorfhageNew York Wiley 1966Localização: EPBC - Esc. Politécnica-Bib Central (510.6 K841L ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Digital computer programming logic and languageCharles M. Thatcher 1922- (Charles Manson) Anthony J CapatoReading, Mass. Addison-Wesley Pub. Co 1967Localização: EPBC - Esc. Politécnica-Bib Central (004.424 T329d ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Digital logic and computer operationsRobert C. Baron Albert T PiccirilliNew York McGraw-Hill 1967Localização: EPBC - Esc. Politécnica-Bib Central (004.386 B268d ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Recursive function theory and logicAnn YasuharaNew York Academic Press 1971Localização: IME - Inst. Matemática e Estatística (QA10.3 Y29r )(Acessar) |
|
5 |
Material Type: Livro
|
An introduction to logical design of digital circuitsColin Morrison ReevesCambridge Eng. University Press 1972Localização: IME - Inst. Matemática e Estatística (QA732 R332i )(Acessar) |
|
6 |
Material Type: Livro
|
Symbolic Logic and Mechanical Theorem ProvingChin-Liang Chang Richard Char-Tung LeeAcademic Press 1973Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Finite automata, formal logic, and circuit complexityHoward StraubingBoston Birkhauser 1974Localização: IME - Inst. Matemática e Estatística (QA804 S912f )(Acessar) |
|
8 |
Material Type: Livro
|
Error coding for arithmetic processorsThammavarapu R. N. Rao 1933-New York Academic Press 1974Localização: IME - Inst. Matemática e Estatística (QA381.3 R215e )(Acessar) |
|
9 |
Material Type: Livro
|
Logical design of digital systemsArthur D. FriedmanWoodland Hills, Calif. Computer Science Press 1975Localização: ICMC - Inst. Ciên. Mat. Computação (68M05.20 F911l e.1 )(Acessar) |
|
10 |
Material Type: Livro
|
Computer science and multiple-valued logic theory and applicationsDavid C. Rine 1941-Amsterdam Horth-Holland 1977Localização: IME - Inst. Matemática e Estatística (QA9.88.C3 R579c )(Acessar) |