skip to main content
Idioma:
Mostrar Somente
Refinado por: tipo de recurso: Produções Técnicas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer science and logic fork algebras
Computer science and logic fork algebras
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Computer science and logic fork algebras

Paulo A. S. Veloso

Rio de Janeiro PUC 1997

Localização: IME - Inst. Matemática e Estatística    (S M751 1997 v.41 )(Acessar)

2
Logic and computer science logical specification
Logic and computer science logical specification
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Logic and computer science logical specification

Paulo A. S. Veloso

Rio de Janeiro PUC 1997

Localização: IME - Inst. Matemática e Estatística    (S M751 1997 v.40 )(Acessar)

3
On some connections between logic and computer science
On some connections between logic and computer science
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

On some connections between logic and computer science

Paulo A. S. Veloso

Rio de Janeiro PUC 1997

Localização: IME - Inst. Matemática e Estatística    (S M751 1997 v.38 )(Acessar)

4
Programs for data processing and computer science in two-year colleges
Programs for data processing and computer science in two-year colleges
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Programs for data processing and computer science in two-year colleges

C. C. Gotlieb

Rio de Janeiro Puc 1978

Localização: IME - Inst. Matemática e Estatística    (S M751 1978 v.1 )(Acessar)

5
Towards a computer aided science of interactions
Towards a computer aided science of interactions
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Towards a computer aided science of interactions

Flávio Soares Corrêa da Silva Wamberto Weber Miranda Peixoto de Vasconcelos; David S Robertson

São Paulo IME-USP 2014

Localização: IME - Inst. Matemática e Estatística    (https://repositorio.usp.br/directbitstream/637ae805-11b2-4a25-9473-664c2acf186a/ )(Acessar)

6
Desenvolvimento de um sistema CAD com suporte a curvas e superfícies.
Desenvolvimento de um sistema CAD com suporte a curvas e superfícies.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Desenvolvimento de um sistema CAD com suporte a curvas e superfícies.

Ueda, Roberto Yuji Ykko

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 1998-07-02

Acesso online. A biblioteca também possui exemplares impressos.

7
Stellarator power plant study. Final report 1997.
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

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.

1997

Acesso online

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)
  2. Disponível na Biblioteca (6)

Data de Publicação 

De até
Refinar

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.