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
Mostrar Somente
Refinado por: Biblioteca: IFSC - Inst. Física de São Carlos remover assunto: Lógica Matemática remover Linguagem De Programação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
Material Type:
Livro 		Adicionar ao Meu Espaço

A Tight, Practical Integration of Relations and Functions

Harold Boley

Springer Berlin Heidelberg 1999

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

2
Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings

Paliath Narendran 1955-; M Rusinowitch (Michael); International Conference on Rewriting Techniques and Applications (10th 1999 Trento, Italy)

Berlin Springer New York c1999

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

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

4
Semantics, applications, and implementation of program generation second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings
Semantics, applications, and implementation of program generation second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Semantics, applications, and implementation of program generation second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

SAIG 2001 (2001 Florence, Italy) Walid Taha 1972-

Berlin Springer-Verlag New York 2001

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (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.