skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
21
Algebraic approaches to program semantics
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic approaches to program semantics

Ernest G. Manes 1943- Michael A Arbib

New York Springer-Verlag c1986

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

22
Algebraic logic and universal algebra in computer science proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic logic and universal algebra in computer science proceedings

Conference on Algebraic Logic and Universal Algebra in Computer Science, Ames, 1988 Clifford H Bergman; Roger Maddux

Berlin Springer 1990

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

23
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic methods theory, tools and applications : proceedings

Workshop on Algebraic Methods : Theory, Tools andApplications, 2., Mierlo, 1989 Jan A Bergstra

Berlin Springer 1991

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

24
Algebraic methods theory, tools and applications : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic methods theory, tools and applications : proceedings

Workshop on Algebraic Methods : Theory, Tools andApplications, 1., Passau, 1987 Jan A Bergstra; Martin Wirsing

Berlin Springer 1989

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

25
Algebraic semantics
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic semantics

Irène Guessarian 1948-

Berlin New York Springer-Verlag 1981

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

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

27
Algorithms and computation 12th international symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algorithms and computation 12th international symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001 : proceedings

ISAAC (Conference) (12th 2001 Christchurch, New Zealand) Peter Eades; Tadao Takaoka

Berlin Springer 2001

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

28
Algorithms and computation 5th international symposium, Beijing, China, August 25-27, 1994 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algorithms and computation 5th international symposium, Beijing, China, August 25-27, 1994 ; proceedings

International Symposium on Algorithms and Computation (5th 1994 Beijing) Dingzhu Du 1948-; Xiang-Sun Zhang 1943-

Berlin Springer 1994

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

29
Algorithms and computation 6th international symposium, Cairns, Australia, December 4-6, 1995 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algorithms and computation 6th international symposium, Cairns, Australia, December 4-6, 1995 ; proceedings

International Symposium on Algorithms and Computation (6th : 1995 : Cairns, Au) John Staples; Peter Eades; Naoki Katoh; Alistair Moffat

Berlin Springer 1995

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

30
Algorithms and computation 7th international symposium, Osaka, Japan, December 16-18, 1996 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algorithms and computation 7th international symposium, Osaka, Japan, December 16-18, 1996 ; proceedings

International Symposium on Algorithms and Computation (7th 1996 Osaka, Jp) T Asano (Tetsuo) 1949-; Yoshihide Igarashi; Hiroshi Nagamochi; Satoru Miyano; Subhash Suri

Berlin Springer 1996

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (8)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (370)
  2. Artigos  (5)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1977  (29)
  2. 1977Até1984  (45)
  3. 1985Até1992  (136)
  4. 1993Até2001  (146)
  5. Após 2001  (19)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.