skip to main content
Você quis dizer: börges e?
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Architecture Design and Validation Methods
Material Type:
Livro
Adicionar ao Meu Espaço

Architecture Design and Validation Methods

Egon Börger

Springer Berlin Heidelberg 2000

Acesso online

2
Computability, Complexity, Logic
Computability, Complexity, Logic
Material Type:
Livro
Adicionar ao Meu Espaço

Computability, Complexity, Logic

Egon Börger E Börger; E B Rger

Elsevier 1989

Acesso online. A biblioteca também possui exemplares impressos.

3
Computation theory and logic
Material Type:
Livro
Adicionar ao Meu Espaço

Computation theory and logic

E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1987

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

4
Abstract State Machines
Material Type:
Livro
Adicionar ao Meu Espaço

Abstract State Machines

Börger Egon Börger; Robert Stärk

Springer Berlin Heidelberg 2003

Acesso online

5
Computer Science Logic
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Science Logic

Workshop on Computer Science Logic Egon Börger

Springer Berlin Heidelberg 1993

Acesso online

6
Computer Science Logic
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Science Logic

Workshop on Computer Science Logic Egon Börger

Springer Berlin Heidelberg 1991

Acesso online

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

8
Abstract State Machines 2003
Material Type:
Livro
Adicionar ao Meu Espaço

Abstract State Machines 2003

ASM 2003 Egon Börger; Angelo Gargantini; Elvinia Riccobene

Springer Berlin Heidelberg 2003

Acesso online

9
Formal methods for industrial applications specifying and programming the steam boiler control
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods for industrial applications specifying and programming the steam boiler control

Jean-Raymond Abrial; E Borger; Langmaack, H

Berlin Springer 1996

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

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (591)
  2. Anais de Congresso  (110)
  3. Livros  (49)
  4. Book Chapters  (38)
  5. magazinearticle  (18)
  6. Resenhas  (9)
  7. Reports  (5)
  8. Web Resources  (2)
  9. Produções Acadêmicas  (1)
  10. Outros  (1)
  11. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1979  (21)
  2. 1979Até1989  (43)
  3. 1990Até2000  (129)
  4. 2001Até2012  (286)
  5. Após 2012  (354)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Börger, E
  2. Workshop on Computer Science Logic
  3. Richter, M
  4. Borger, E
  5. Kleine Büning, H

Buscando em bases de dados remotas. Favor aguardar.