skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: assunto: Lógica Matemática remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Theories of abstract automata
Theories of abstract automata
Material Type:
Livro 		Adicionar ao Meu Espaço

Theories of abstract automata

Michael A. Arbib

Englewood Cliffs, N.J. Prentice-Hall 1969

Localização: IF - Instituto de Física    (511.3 A664t ) e outros locais(Acessar)

2
Introduction to automata.
Introduction to automata.
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to automata.

Raymond John Nelson

New York John Wiley 1968

Localização: IF - Instituto de Física    (511.3 N429i )(Acessar)

3
Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Workshop on Computer Science Logic (13th 1999 Madrid, Spain) Jörg Flum; M Rodríguez Artalejo (Mario); European Association for Computer Science Logic Conference Madrid, Spain) 1999

Berlin New York Springer c1999

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

4
Networked group communication First International COST 264 Workshop, NGC'99 Pisa, Italy, November 17-20, 1999 ; proceedings
Networked group communication First International COST 264 Workshop, NGC'99 Pisa, Italy, November 17-20, 1999 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Networked group communication First International COST 264 Workshop, NGC'99 Pisa, Italy, November 17-20, 1999 ; proceedings

International Workshop on Networked Group Communication (1st 1999 Pisa, Italy) Luigi Rizzo 1962-; Serge Fdida 1959-

Berlin Springer London c1999

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

5
Typed lambda calculi and applications 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
Typed lambda calculi and applications 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Typed lambda calculi and applications 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

International Conference on Typed Lambda Calculi and Applications (5th 2001 Kraków, Poland) Samson Abramsky 1953-

Berlin Springer New York 2001

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

6
Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark) M Nielsen (Mogens) 1949-; Wolfgang Thomas 1947-; European Association for Computer Science Logic Conference Aarhus, Denmark) 1997

Berlin Springer New York 1998

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

7
Theorem proving in higher order logics 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings
Theorem proving in higher order logics 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving in higher order logics 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

TPHOLs '99 (1999 Nice, France) Yves Bertot

Berlin Springer New York c1999

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

8
Theory and application of graph transformations 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers
Theory and application of graph transformations 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and application of graph transformations 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers

Hartmut Ehrig; International Workshop on Theory and Applications of Graph Transformation (6th 1998 Paderborn, Germany)

Berlin Springer New York c2000

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

9
Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

CSL 2001 (2001 Paris, France) Laurent Fribourg 1957-; European Association for Computer Science Logic

London Springer Berlin 2001

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

10
Advances in computing science - ASIAN 2000 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings
Advances in computing science - ASIAN 2000 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in computing science - ASIAN 2000 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings

Asian Computing Science Conference (6th 2000 Penang, Malaysia) Jifeng He 1943-; Masahiko Sato 1947-

Berlin Springer New York c2000

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (34)

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

Buscando em bases de dados remotas. Favor aguardar.