skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livro
Adicionar ao Meu Espaço

Programação orientada para objeto em c++ no ambiente Windows

A F Granero José de Oliveira Siqueira

São Paulo Atlas 1995

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

2
The Evolution of Programs
The Evolution of Programs
Material Type:
Livro
Adicionar ao Meu Espaço

The Evolution of Programs

Dershowitz E Coffman; R. L Graham

Birkhäuser Boston 1983

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

3
Material Type:
Tese de Doutorado
Adicionar ao Meu Espaço

Proposta de um gerador de ambientes para a modelagem de aplicações usando tecnologia adaptativa.

Camolesi, Almir Rogério

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2007-05-11

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

4
Material Type:
Livro
Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science, 4., Bangalore, 1984 Mathai Joseph; Rudrapatna Shyamasundar

Berlin Springer 1984

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

5
On the Shape of Mathematical Arguments
On the Shape of Mathematical Arguments
Material Type:
Livro
Adicionar ao Meu Espaço

On the Shape of Mathematical Arguments

Antonetta J. M. van Gasteren

Springer Berlin Heidelberg 1990

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

6
Material Type:
Livro
Adicionar ao Meu Espaço

Programs as data objects proceedings

Workshop on Programs As Data Objects, Copenhagen,1985 Harald Ganzinger; Neil D Jones

Berlin Springer 1986

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.217 ex.1 ) e outros locais(Acessar)

7
Material Type:
Livro
Adicionar ao Meu Espaço

Logic programming and automated reasoning proceedings

Russian Conference on Logic Programming, 3., St. Petersburg, 1992 Andrei Voronkov

Berlin Springer 1992

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.624 e.1 ) e outros locais(Acessar)

8
Material Type:
Livro
Adicionar ao Meu Espaço

Anatomy of a compiler

John A. N. Lee

New York Van Nostrand Reinhold 1967

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N20 L478a e.1 ) e outros locais(Acessar)

9
Material Type:
Livro
Adicionar ao Meu Espaço

Attribute grammar for the semantic analysis of Ada

J. Uhl (Jürgen)

Berlin Springer 1982-

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lncs v.139 e.1 ) e outros locais(Acessar)

10
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings

Symposium on Theoretical Aspects of Computer Science (16th 1999 Trier, Germany) Christoph Meinel 1954-; Sophie Tison

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1563 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (54)
  2. Produções Acadêmicas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1980  (6)
  2. 1980Até1986  (10)
  3. 1987Até1992  (15)
  4. 1993Até1999  (19)
  5. Após 1999  (5)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.