skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: assunto: Teoria Da Computação remover Metodologia E Técnicas De Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)

Advanced Seminar on Foundations of Innovative Software Development (1st 1987 Pisa, Italy) Hartmut Ehrig; Colloquium on Trees in Algebra and Programming (12th 1987 Pisa, Italy)

Berlin Springer-Verlag New York c1987

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

2
Formal methods and software development
Formal methods and software development
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software development

Colloquium on Software Engineering (1985 Berlin, Germany) Hartmut Ehrig

Berlin Springer-Verlag New York c1985

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

3
Foundations of software technology and theoretical computer science proceedings
Foundations of software technology and theoretical computer science proceedings
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)

4
The Evolution of Programs
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.

5
Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings

J. Díaz 1950- (Josep) International Joint Conference on Theory and practice of Development (3rd 1989 Barcelona)

Berlin Springer 1989

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

6
Genetic programming Third European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000 : proceedings
Genetic programming Third European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Genetic programming Third European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000 : proceedings

EuroGP 2000 (2000 Edinburgh, Scotland) Riccardo Poli 1961-

Berlin Springer New York c2000

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

7
Genetic programming 4th European conference, EuroGP 2001, Lake Como, Italy, April 18-20, 2001 : proceedings
Genetic programming 4th European conference, EuroGP 2001, Lake Como, Italy, April 18-20, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Genetic programming 4th European conference, EuroGP 2001, Lake Como, Italy, April 18-20, 2001 : proceedings

EuroGP 2001 (2001 Como, Lake, Italy) Julian Miller (Julian F.)

Berlin Springer New York 2001

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

8
Programming languages and systems 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings
Programming languages and systems 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming languages and systems 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings

European Symposium on Programming (7th 1998 Lisbon, Portugal) Chris Hankin; International Joint Conference on Theory and Practice of Software Development (1998 Lisbon, Portugal)

Berlin Springer New York c1998

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

9
Foundations of software science and computation structures First International Conference, FoSSaCS'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings
Foundations of software science and computation structures First International Conference, FoSSaCS'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software science and computation structures First International Conference, FoSSaCS'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings

FoSSaCS '98 (Conference) (1st 1998 Lisbon, Portugal) Maurice Nivat 1937-; Joint European Conferences on Theory and Practice of Software (1998 Lisbon, Portugal)

Berlin London Springer c1998

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

10
On the Shape of Mathematical Arguments
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.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

Data de Publicação 

De até
Refinar
  1. Antes de1983  (4)
  2. 1983Até1986  (5)
  3. 1987Até1990  (7)
  4. 1991Até1996  (8)
  5. Após 1996  (11)
  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.