Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, ProceedingsDegano, Pierpaolo Degano, PierpaoloBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Programming languages and systems 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedingsEuropean Symposium on Programming (8th 1999 Amsterdam, Netherlands) S. Doaitse Swierstra; ETAPS'99 (1999 Amsterdam, Netherlands)Berlin New York Springer 1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1576 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Programming languages and systems 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedingsEuropean Symposium on Programming (16th 2007 Braga, Portugal) Rocco De Nicola; ETAPS 2007 (2007 Braga, Portugal)Berlin Springer New York 2007Localização: EPBC - Esc. Politécnica-Bib Central (004.43 P943 16. ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, ProceedingsHentenryck, Pascal Van Van Hentenryck, PascalBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Programming languages and systems 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedingsEuropean Symposium on Programming (7th 1998 Lisbon, Portugal) Chris Hankin; International Joint Conference on Theory and Practice of Software Development (1998 Lisbon, Portugal)Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1381 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. ProceedingsHermenegildo, Manuel ; Puebla, German Puebla, Germán ; Hermenegildo, Manuel V.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 ProceedingsJézéquel, Jean-Marc ; Hussmann, Heinrich ; Cook, Stephen Cook, Stephen ; Hussmann, Heinrich ; Jézéquel, Jean-MarcBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. ProceedingsHu, Zhenjiang ; Rodriquez-Artalejo, Mario Hu, Zhenjiang ; Rodríguez-Artalejo, MarioBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected PapersGeuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, FreekBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Foundations of Logic ProgrammingLoveland, D. W ; Amarel, S ; Bundy, ABerlin, Heidelberg: Springer Berlin / Heidelberg 1987Texto completo disponível |