skip to main content
Idioma:
Refinado por: data de publicação: 1991Até1997 remover assunto: Teoria Da Computação remover Biblioteca: IME - Inst. Matemática e Estatística remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Workshop on Computer Science Logic (4th 1990 Heidelberg, Germany) E Börger 1946- (Egon)

Berlin Springer-Verlag New York c1991

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

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

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

5
Conditional term rewriting systems
Conditional term rewriting systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Conditional term rewriting systems

International Workshop CTRS (3rd 1992 : Pont-à-Mousson, France) M Rusinowitch (Michael); J. L Remy

Berlin New York Springer-Verlag 1993

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

6
Discrete mathematics for new technology
Discrete mathematics for new technology
Material Type:
Livro 		Adicionar ao Meu Espaço

Discrete mathematics for new technology

Rowan Garnier John Taylor 1957-

Bristol Philadelphia A. Hilger c1992

Localização: IME - Inst. Matemática e Estatística    (QA41.5 G236d e.2 )(Acessar)

7
Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings

S Ramesh; G Sivakumar; Conference on Software Technology and Theoretical Computer Science Kharagpur, India) 1997; Conference on Foundations of Software Technology and Theoretical Computer Science (17. 1997 Kharagpur, IN)

Berlin Springer New York c1997

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

8
Fundamentals of computation theory 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997 : proceedings
Fundamentals of computation theory 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of computation theory 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997 : proceedings

International Symposium on Fundamentals of Computation Theory, FCT'97, 11 (11. 1997 Kraków, Poland) Bogdan S Chlebus; Ludwik Czaja

Berlin Springer New York c1997

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

9
Logic, language, and computation festschrift in honor of Satoru Takasu
Logic, language, and computation festschrift in honor of Satoru Takasu
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic, language, and computation festschrift in honor of Satoru Takasu

Satoru Takasu 1931-; Neil D Jones; Masami Hagiya 1957-; Masahiko Sato 1947-

Berlin New York Springer-Verlag c1994

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

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.