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
Constructive program synthesis in imperative language using intuitionist logic and natural deduction
Constructive program synthesis in imperative language using intuitionist logic and natural deduction
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Constructive program synthesis in imperative language using intuitionist logic and natural deduction

Geiza Maria Hamazaki Silva Edward Hermann Haeusler; Paulo A. S Veloso

Rio de Janeiro PUC 2002

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

2
Programming language syntax expressing sharing
Programming language syntax expressing sharing
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Programming language syntax expressing sharing

Isabel L Cafezeiro Edward Hermann Haeusler

Rio de Janeiro PUC 1999

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

3
A communicative approach to end-user programming languages
A communicative approach to end-user programming languages
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A communicative approach to end-user programming languages

Sergio Roberto Pereira da Silva Sergio Roberto Pereira da Silva; Clarisse S Souza

Rio de Janeiro PUC 1997

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

4
Programming language for discrete event production systems based on production flow schema and mark flow graph
Programming language for discrete event production systems based on production flow schema and mark flow graph
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Programming language for discrete event production systems based on production flow schema and mark flow graph

Paulo Eigi Miyagi 1959- K Hasegawa; K Takahashi

São Paulo Epusp/PMC 1989

Item não circula. Consulte sua biblioteca.(Acessar)

5
PL-11. A programming language for the DEC PDP-11 computer
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

PL-11. A programming language for the DEC PDP-11 computer

Robert D. Russell

Geneva : CERN 1974

Acesso online

6
The "SLC" programming language and system for machine translation... : [Vol. I-II.], by A. Brown,... Joint nuclear research center, Ispra establishment, Italy. Scientific data processing center-Cetis.
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

The "SLC" programming language and system for machine translation... : [Vol. I-II.], by A. Brown,... Joint nuclear research center, Ispra establishment, Italy. Scientific data processing center-Cetis.

A. F. R. Brown

Bruxelles, : Euratom 1965

Localização: IF - Instituto de Física    (EUR2418.e )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

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

Data de Publicação 

De até
Refinar
  1. Antes de1974  (1)
  2. 1974Até1988  (1)
  3. 1989Até1996  (1)
  4. 1997Até1999  (2)
  5. Após 1999  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.