skip to main content
Idioma:
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Teoria Da Computação remover Nome da Publicação: Proceedings remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Achieving optimality for gate matrix layout and pla folding a graph theoretical approach
Achieving optimality for gate matrix layout and pla folding a graph theoretical approach
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 ) e outros locais(Acessar)

2
An argumentation machinery to reason over inconsistent ontologies
An argumentation machinery to reason over inconsistent ontologies
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)

3
Compression and entropy
Compression and entropy
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Compression and entropy

Georges Hansel Dominique Perrin; Imre Simon 1943-2009; 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 ) e outros locais(Acessar)

4
The online multicommodity connected facility location problem
The online multicommodity connected facility location problem
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)

5
Sequence comparison some theory and some practice
Sequence comparison some theory and some practice
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Sequence comparison some theory and some practice

Imre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)

Proceedings Berlin : Springer, 1989

Berlin Springer 1989

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

6
String matching algorithms and automata
String matching algorithms and automata
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

String matching algorithms and automata

Imre Simon 1943-2009 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)

7
Towards MC/DC coverage of properties specification patterns
Towards MC/DC coverage of properties specification patterns
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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.