Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Relatório Técnico
|
Logic and computer science logical specificationPaulo A. S. Veloso (Paulo Augusto Silva), 1944-Rio de Janeiro PUC 1997Localização: IME - Inst. Matemática e Estatística (S M751 1997 v.40 )(Acessar) |
|
2 |
Material Type: Relatório Técnico
|
Computer science and logic fork algebrasPaulo A. S. Veloso (Paulo Augusto Silva), 1944-Rio de Janeiro PUC 1997Localização: IME - Inst. Matemática e Estatística (S M751 1997 v.41 )(Acessar) |
|
3 |
Material Type: Relatório Técnico
|
On some connections between logic and computer sciencePaulo A. S. Veloso (Paulo Augusto Silva), 1944-Rio de Janeiro PUC 1997Localização: IME - Inst. Matemática e Estatística (S M751 1997 v.38 )(Acessar) |
|
4 |
Material Type: Relatório Técnico
|
Programs for data processing and computer science in two-year collegesC. C. Gotlieb (Calvin Carl)Rio de Janeiro Puc 1978Localização: IME - Inst. Matemática e Estatística (S M751 1978 v.1 )(Acessar) |
|
5 |
Material Type: Relatório Técnico
|
Towards a computer aided science of interactionsFlávio Soares Corrêa da Silva Wamberto Weber Miranda Peixoto de Vasconcelos; David S RobertsonSão Paulo IME-USP 2014Localização: IME - Inst. Matemática e Estatística (https://repositorio.usp.br/directbitstream/637ae805-11b2-4a25-9473-664c2acf186a/ )(Acessar) |
|
6 |
Material Type: Dissertação de Mestrado
|
Desenvolvimento de um sistema CAD com suporte a curvas e superfícies.Ueda, Roberto Yuji YkkoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 1998-07-02Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Relatório Técnico
|
Stellarator power plant study. Final report 1997.Miller, R. L.; Najmabadi, F.; Xueren Wang (and others).; University of California, San Diego (UCSD), CA (US).Department of Applied Mechanics and Engineering Science. Departmentof Eletrical and Computer Engineering Physics.1997Acesso online |