skip to main content
Idioma:
Resultados 1 2 next page
Refinado por: assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
DNA Computing: 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
DNA Computing: 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

DNA Computing: 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers

Hagiya, Masami ; Ohuchi, Azuma Hagiya, Masami ; Ohuchi, Azuma

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
2
Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers
Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers

Paun, Gheorghe ; Rozenberg, Grzegorz ; Salomaa, Arto ; Zandron, Claudio Salomaa, Arto ; PĂun, Gheorghe ; Rozenberg, Grzegorz ; Zandron, Claudio

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
3
Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers
Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers

Watson, Bruce ; Wood, Derick Wood, Derick ; Watson, Bruce W.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
4
Interactive Markov Chains: The Quest for Quantified Quality
Interactive Markov Chains: The Quest for Quantified Quality
Material Type:
Livro 		Adicionar ao Meu Espaço

Interactive Markov Chains: The Quest for Quantified Quality

Hermanns, Holger

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
5
DNA computing: new computing paradigms
DNA computing: new computing paradigms
Material Type:
Livro 		Adicionar ao Meu Espaço

DNA computing: new computing paradigms

Păun, Gheorghe ; Rozenberg, Grzegorz ; Salomaa, Arto

New York: Springer 1998

Texto completo disponível

Citações Citado por
6
Logic of Computation
Logic of Computation
Logic of Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic of Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1997

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

7
Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Material Type:
Livro 		Adicionar ao Meu Espaço

Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht

Jan Mycielski 1932-; Grzegorz Rozenberg; Arto Salomaa

Berlin Springer New York c1997

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

8
Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

Workshop on Computer Science Logic (6th 1992 San Miniato, Italy) E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1993

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

9
The logic of information structures
The logic of information structures
Material Type:
Livro 		Adicionar ao Meu Espaço

The logic of information structures

H. Wansing (Heinrich)

Berlin New York Springer-Verlag c1993

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

10
Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
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)

Resultados 1 2 next page

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.