skip to main content
Idioma:
previous page 1 2 3 Resultados 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Teoria Da Computação remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
31
An introduction to data types
An introduction to data types
Material Type:
Livro 		Adicionar ao Meu Espaço

An introduction to data types

J. Craig Cleaveland

Reading, Mass. Addison-Wesley c1986

Localização: IME - Inst. Matemática e Estatística    (QA816 C623i )(Acessar)

32
Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings

S Ramesh; G Sivakumar; Conference on Software Technology and Theoretical Computer Science Kharagpur, India) 1997; Conference on Foundations of Software Technology and Theoretical Computer Science (17. 1997 Kharagpur, IN)

Berlin Springer New York c1997

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

33
Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

Tobias Nipkow 1958-; International Conference on Rewriting Techniques and Applications (9th 1998 Tsukuba-shi, Japan)

Berlin Springer New York 1998

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

34
Systems of reductions
Systems of reductions
Material Type:
Livro 		Adicionar ao Meu Espaço

Systems of reductions

B. Benninghofen 1958- (Benjamin) S Kemmerich 1953- (Susanne); Michael M Richter 1938-

Berlin New York Springer-Verlag c1987

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

35
Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings

Workshop on Computer Science Logic (5th 1991 Bern, Switzerland) E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1992

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

36
Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings

Eugenio Moggi; G Rosolini (Giuseppe) 1954-; Biennial Conference on Category Theory in Computer Science (7th 1997 Santa Margherita Ligure, Italy)

Berlin Springer-Verlag New York c1997

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

37
Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Workshop on Computer Science Logic (4th 1990 Heidelberg, Germany) E Börger 1946- (Egon)

Berlin Springer-Verlag New York c1991

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

38
Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings

International Colloquium on Automata, Languages and Programming (25th 1998 Aalborg, Denmark) K. G Larsen 1957- (Kim G.); Sven Skyum 1946-; G Winskel

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

Berlin Springer London c1998

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

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

40
CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

Workshop on Computer Science Logic (2nd 1988 Duisburg, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-

Berlin New York Springer-Verlag c1989

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

previous page 1 2 3 Resultados 4 5 next page

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 de1984  (5)
  2. 1984Até1987  (11)
  3. 1988Até1991  (10)
  4. 1992Até1998  (25)
  5. Após 1998  (24)
  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.