skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Computer Science remover assunto: Lógica Matemática remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Fundamentals of computation theory 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15 2003 : proceedings
Fundamentals of computation theory 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of computation theory 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15 2003 : proceedings

FCT 2003 (2003 Malmö, Sweden) Andrzej Lingas; Bengt J Nilsson

Berlin Springer New York c2003

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

2
Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings

Eugenio Moggi; G Rosolini (Giuseppe) 1954-; Biennial Conference on Category Theory in Computer Science (7th 1997 Santa Margherita Ligure, Italy)

Berlin Springer-Verlag New York c1997

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

3
Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings
Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings

FCT 2001 (2001 Råiga, Latvia) Rusins Freivalds

Berlin New York Barcelona London Springer c2001

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

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

5
Automata Logics, and Infinite Games
Automata Logics, and Infinite Games
Automata Logics, and Infinite Games
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata Logics, and Infinite Games

Erich Grädel Erich Grädel; Wolfgang Thomas; Thomas Wilke

Springer Berlin Heidelberg 2002

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

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

Buscando em bases de dados remotas. Favor aguardar.