Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Concur'95 concurrency theory : proceedingsInternational Conference on Concurrency Theory (6. 1995 Philadelphia, USA) Insup Lee; Scott A SmolkaBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.962 e.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Design and implementation of symbolic computation systems proceedingsInternational Symposium on Design and Implementation of Symbolic Computation Systems (2. 1992 Bath) John FitchBerlin Springer 1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.721 e.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Design and implementation of symbolic computation systems proceedingsInternational Symposium on Design and Implementation of Symbolic Computation Systems, 1., Capri, 1990 Alfonso MiolaBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.429 e.1 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Design and implementation of symbolic computation systems proceedingsInternational Symposium on Design and Implementation of Symbolic Computation Systems (3. 1993 Gmunden) Alfonso MiolaBerlin Springer 1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.722 e.1 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
On the Shape of Mathematical ArgumentsAntonetta J. M. van GasterenSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedingsWorkshop on the Principles and Practice of Constraint Programming (2nd 1994 Rosario, Wash.) Alan Borning 1950- (Alan H.)Berlin New York Springer-Verlag c1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.874 e.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
ProceedingsM.-C. Gaudel (Marie-Claude) International Joint Conference on Theory and Practice of Software Development (5 1993 Orsay)Berlin Springer 1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.668 e.1 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
TAPSOFT ®91 proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991International Joint Conference on Theory and Practice of Software Development (4th : 1991 Brighton, England) Samson Abramsky 1953-; Thomas S. E MaibaumBerlin Springer-Verlag New York 1991-Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.494 e.1 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Tapsoft'95 theory and practice of software development : proceedings of the 6th international joint conference caap / fase, held in aarhus, dinmark, may 22-26, 1995International Joint Conference on Theory and Practice of Software Development (6. 1995 Aarhus, Dk) Peter D Mosses; M Nielsen (Mogens) 1949-Berlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.915 e.1 ) e outros locais(Acessar) |