skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: assunto: Metodologia E Técnicas De Computação remover assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings
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)

2
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)

3
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)

4
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)

5
Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

International Conference on the Mathematics of Program Construction (4th 1998 Marstrand, Sweden) Johan Jeuring 1965-

Berlin Springer Verlag New York c1998

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

6
CONCUR '99 concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings
CONCUR '99 concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR '99 concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings

International Conference on Concurrency Theory (10th 1999 Eindhoven, Netherlands) J. C. M Baeten; Sjouke Mauw

Berlin Springer New York c1999

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

7
Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings

International Colloquium on Automata, Languages, and Programming (1997 Bologna, Italy) Pierpaolo Degano 1950-; Roberto Gorrieri; Alberto Marchetti-Spaccamela; European Association for Theoretical Computer Science

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin Springer New York c1997

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

8
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings

Workshop on the Principles and Practice of Constraint Programming (2nd 1994 Rosario, Wash.) Alan Borning 1950- (Alan H.)

Berlin New York Springer-Verlag c1994

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

9
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.

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.

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

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.