skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: Biblioteca: IFSC - Inst. Física de São Carlos remover assunto: Lógica Matemática remover Linguagens Formais remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

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

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

4
Multiset processing mathematical, computer science, and molecular computing points of view
Multiset processing mathematical, computer science, and molecular computing points of view
Material Type:
Livro 		Adicionar ao Meu Espaço

Multiset processing mathematical, computer science, and molecular computing points of view

Cristian Calude 1952-

Berlin Springer London c2001

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

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

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

7
Recent trends in algebraic development techniques 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
Recent trends in algebraic development techniques 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

WADT 2001 (2001 Genoa, Italy) Maura Cerioli; Gianna Reggio 1957-

Berlin Springer London c2001

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

8
Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

International Conference on Rewriting Techniques and Applications (12th. 2001 Utrecht, Netherlands) Aart Middeldorp 1963-

Berlin Springer New York c2001

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

9
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Leo Bachmair; International Conference on Rewriting Techniques and Applications (11th 2000 Norwich, England)

Berlin Springer New York c2000

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

10
Machines, computations, and universality third international conference, MCU 2001, Chisinéau, Moldova, May 23-27, 2001 : proceedings
Machines, computations, and universality third international conference, MCU 2001, Chisinéau, Moldova, May 23-27, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Machines, computations, and universality third international conference, MCU 2001, Chisinéau, Moldova, May 23-27, 2001 : proceedings

MCU 2001 (3rd 2001 Chi÷sinæau, Moldova) Maurice Margenstern; Yurii Rogozhin

Berlin Springer London c2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2055 ) e outros locais(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.