skip to main content
Idioma:
Refinado por: assunto: Engenharia De Software remover assunto: Metodologia E Técnicas De Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Control flow and data flow concepts of distributed programming
Control flow and data flow concepts of distributed programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Control flow and data flow concepts of distributed programming

Nato Advanced Study Institute on Control Flow and Data Flow: Concepts of Distributed Programming (1984 Marktoberdorf) M Broy

Berlin Springer 1986

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

2
Understanding Z a specification language and its formal semantics
Understanding Z a specification language and its formal semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

Understanding Z a specification language and its formal semantics

J. M. Spivey

Cambridge Cambridgeshire New York Cambridge University Press 1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.05 S761u e.1 ) e outros locais(Acessar)

3
Design and implementation of symbolic computation systems proceedings
Design and implementation of symbolic computation systems proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Design and implementation of symbolic computation systems proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems (2. 1992 Bath) John Fitch

Berlin Springer 1993

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

4
Design and implementation of symbolic computation systems proceedings
Design and implementation of symbolic computation systems proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Design and implementation of symbolic computation systems proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems (3. 1993 Gmunden) Alfonso Miola

Berlin Springer 1993

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

5
Tapsoft'95 theory and practice of software development : proceedings of the 6th international joint conference caap / fase, held in aarhus, dinmark, may 22-26, 1995
Tapsoft'95 theory and practice of software development : proceedings of the 6th international joint conference caap / fase, held in aarhus, dinmark, may 22-26, 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Tapsoft'95 theory and practice of software development : proceedings of the 6th international joint conference caap / fase, held in aarhus, dinmark, may 22-26, 1995

International Joint Conference on Theory and Practice of Software Development (6. 1995 Aarhus, Dk) Peter D Mosses; M Nielsen (Mogens) 1949-

Berlin Springer 1995

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

6
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings

Workshop on the Principles and Practice of Constraint Programming (2nd 1994 Rosario, Wash.) Alan Borning 1950- (Alan H.)

Berlin New York Springer-Verlag c1994

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

7
Computer algebra systems and algorithms for algebraic computation
Computer algebra systems and algorithms for algebraic computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer algebra systems and algorithms for algebraic computation

James Harold Davenport 1953- Y Siret; E Tournier

London San Diego Academic Press 1988

Localização: IAG - Inst. Ast. Geo. Ciên. Atmosféricas    (519.6 D269c ) 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.