skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Achieving optimality for gate matrix layout and pla folding a graph theoretical approach

Afonso Galvão Ferreira Siang Wun Song; Latin American Symposium on Theoretical Informatics - LATIN '92 (1992 São Paulo, BR)

Proceedings Berlin : Springer, 1992

Berlin Springer 1992

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

2
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
Material Type:
Livro
Adicionar ao Meu Espaço

Anatomy of a compiler

John A. N. Lee

New York Van Nostrand Reinhold 1967

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N20 L478a e.1 ) e outros locais(Acessar)

4
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

An argumentation machinery to reason over inconsistent ontologies

Martin O Moguillansky Renata Wassermann; Marcelo A Falappa; Ibero-American Conference on Artificial Intelligence - IBERAMIA (12. (2010 Bahía Blanca, Argentina)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

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

5
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Compression and entropy

Georges Hansel Dominique Perrin; Imre Simon 1943-; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)

Proceedings Berlin : Springer, 1992

Berlin Springer 1992

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

6
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

The online multicommodity connected facility location problem

Mário César San Felice Cristina Gomes Fernandes 1966-; Carla Negri Lintzmayer; International Workshop on Approximation and Online Algorithms - WAOA (15. 2017 Vienna, Austria)

Proceedings Cham: Springer, 2018

Cham Springer 2018

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

7
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

String matching algorithms and automata

Imre Simon Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz (1994 Graz, Austria)

Proceedings Berlin: Springer, 1994

Berlin Springer 1994

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

8
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Towards MC/DC coverage of properties specification patterns

Ana Cristina Vieira de Melo Corina S Pasareanu; Simone Hanazumi; International Colloquium on Theoretical Aspects of Computing - ICTAC (13. 2016 Taipei, Taiwan)

Proceedings Cham: Springer, 2016

Cham Springer 2016

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

9
Types for proofs and programs selected papers [of the] international workshop, types'95, held in torino, italy, june 5-8, 1995
Material Type:
Livro
Adicionar ao Meu Espaço

Types for proofs and programs selected papers [of the] international workshop, types'95, held in torino, italy, june 5-8, 1995

Workshop on Types for Proofs and Programs (3 1995 Torino, It) Stefano Berardi; Mario Coppo

Berlin Springer 1996

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

10
Material Type:
Livro
Adicionar ao Meu Espaço

A view of programming languages

Bernard A. Galler (Bernard Aaron) 1928- Alan J Perlis

Reading, Mass. Addison-Wesley Pub. Co 1970

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N15.01 G166v e.1 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
  1. Antes de1970  (1)
  2. 1970Até1987  (1)
  3. 1988Até1991  (1)
  4. 1992Até1994  (3)
  5. Após 1994  (4)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.