1
Material Type:
Livro
Algebraic methods theory, tools and applications : proceedings
Workshop on Algebraic Methods : Theory, Tools andApplications, 2., Mierlo, 1989 Jan A Bergstra
Berlin Springer 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.490 e.1 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Algebraic methods theory, tools and applications : proceedings
Workshop on Algebraic Methods : Theory, Tools andApplications, 1., Passau, 1987 Jan A Bergstra; Martin Wirsing
Berlin Springer 1989
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lnm v.394 e.1 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
CAV (Conference) (5th 1993 Eloúnda, Greece) Costas Courcoubetis
Berlin New York Springer-Verlag c1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.697 e.1 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Computer-aided verification proceedings
DIMACS Workshop on Computer-Aided Verification (2nd 1990 Center for Discrete Mathematics and Theoretical Computer Science ) E. M Clarke 1945-; R. P Kurshan 1943-
Berlin New York Springer-Verlag c1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.531 e.1 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
Computer aided verification proceedings
International Conference on Computer-Aided Verification (4. 1992 Montreal) Gregor von Bochmann
Berlin Springer 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.663 e.1 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Computer aided verification proceedings
International Conference on Computer-Aided Verification (6. 1994 Stanford) David L Dill
Berlin Springer 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.818 e.1 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Computer-aided verification proceedings
International Conference on Computer-Aided Verification, 3., Aalborg, 1991 Kim G Larsen
Berlin Springer 1992
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.575 e.1 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
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)
This feature requires javascript
9
Material Type:
Livro
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)
This feature requires javascript
10
Material Type:
Livro
Euro-Par'99 parallel processing 5th International Euro-Par Conference, Toulouse, France, August 31-September 3, 1999 : proceedings
International Euro-Par Conference (5th 1999 Toulouse, France) Patrick Amestoy
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1685 e.1 ) e outros locais(Acessar)
This feature requires javascript