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: EPBC - Esc. Politécnica-Bib Central remover assunto: Técnicas De Programação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993

Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Los Alamitos, Calif. IEEE Computer Society Press c1993

Localização: EPBC - Esc. Politécnica-Bib Central    (004.42 Ie2L 8. )(Acessar)

2
Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types
Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types
Material Type:
Livro 		Adicionar ao Meu Espaço

Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types

Mark Steven Sherman

Berlin New York Springer-Verlag c1985

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 PARAGON Sh55p ) e outros locais(Acessar)

3
Functional programming languages and computer architecture proceedings
Functional programming languages and computer architecture proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional programming languages and computer architecture proceedings

Conference on Functional Programming Languages and Computer Architecture (3. 1987 Portland) Gilles Kahn

Berlin Springer 1987

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 C76f 3. ) e outros locais(Acessar)

4
EUROCAL '85 European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
EUROCAL '85 European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

EUROCAL '85 European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings

European Conference on Computer Algebra (1985 Linz, Austria) Bruno Buchberger; Bob F Caviness; ed

Berlin Springer-Verlag New York c1985

Localização: EPBC - Esc. Politécnica-Bib Central    (512 Eu74e v.2 ) e outros locais(Acessar)

5
Mathematical methods of specification and synthesis of software systems proceedings
Mathematical methods of specification and synthesis of software systems proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical methods of specification and synthesis of software systems proceedings

International Spring School on Mathematical Methods of Specification and Systems (1985 Wendish-Rietz) Wolfgang Bibel

Berlin Springer 1986

Localização: EPBC - Esc. Politécnica-Bib Central    (004.41 In8m ) e outros locais(Acessar)

6
Logic programming '85 proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
Logic programming '85 proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming '85 proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985

Eiiti Wada 1931-; Logic Programming Conference (4th 1985 Tokyo, Japan)

Berlin Springer-Verlag New York c1986

Localização: EPBC - Esc. Politécnica-Bib Central    (004.424 L829 4. ) 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.