skip to main content
Idioma:
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover data de publicação: 1986Até1995 remover data de publicação: 1988Até1989 remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Abstract data types their specification, representation, and use
Abstract data types their specification, representation, and use
Material Type:
Livro 		Adicionar ao Meu Espaço

Abstract data types their specification, representation, and use

Pete Thomas (Peter G.) Hugh Robinson; Judy Emms

Oxford Clarendon Press New York Oxford University Press 1988

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

2
Algebraic theory of processes
Algebraic theory of processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic theory of processes

Matthew Hennessy

Cambridge, Mass MIT Press c1988

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

3
CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings

Colloquium on Trees in Algebra and Programming (13th 1988 Nancy, France) M Dauchet 1946- (Max); M Nivat; European Symposium on Programming (2nd 1988 Nancy, France)

Berlin Springer-Verlag New York c1988

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

4
Confluent string rewriting
Confluent string rewriting
Material Type:
Livro 		Adicionar ao Meu Espaço

Confluent string rewriting

Matthias Jantzen 1948-

Berlin Springer-Verlag New York c1988

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

5
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Constraint satisfaction in logic programming

Pascal Van Hentenryck

Cambridge, Mass. MIT Press c1989

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

6
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings

Workshop on Computer Science Logic (1st 1987 Karlsruhe, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-

Berlin Springer-Verlag New York c1988

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

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

8
Data compression methods and theory
Data compression methods and theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Data compression methods and theory

James A. Storer 1953- (James Andrew)

Rockville, Md. Computer Science Press c1988

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

9
Data organization in parallel computers
Data organization in parallel computers
Material Type:
Livro 		Adicionar ao Meu Espaço

Data organization in parallel computers

Harry A. G. Wijshoff 1960-

Boston Kluwer Academic Publishers c1989

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

10
Data structures an advanced approach using C
Data structures an advanced approach using C
Material Type:
Livro 		Adicionar ao Meu Espaço

Data structures an advanced approach using C

Jeffrey Esakov Tom Weiss

Englewood Cliffs, N.J. Prentice Hall c1989

Localização: EPBC - Esc. Politécnica-Bib Central    (004.422.63 Es11d ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.