Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, ProceedingsPezze, Mauro Pezzè, MauroBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
2 |
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 |
|
3 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 ProceedingsNielsen, Mogens ; Rovan, Branislav Nielsen, Mogens ; Rovan, BranislavBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
4 |
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 |
|
5 |
Material Type: Livro
|
Principles and Practice of Constraint Programming - CP 2000: 6th International Conference, CP 2000 Singapore, September 18-21, 2000 ProceedingsDechter, Rina Dechter, RinaBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
6 |
Material Type: Livro
|
Reachability Problems - 6th International Workshop, RP 2012Leroux, Jérôme ; Finkel, Alain ; Potapov, IgorSpinger 2012Texto completo disponível |
|
7 |
Material Type: Livro
|
Compiler Construction: 9th International Conference, CC 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 ProceedingsWatt, David A Watt, David A.Berlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
8 |
Material Type: Livro
|
Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, ProceedingsNadathur, Gopalan Nadathur, GopalanBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
9 |
Material Type: Livro
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, ProceedingsDongarra, Jack ; Luque, Emilio ; Margalef, Tomas Dongarra, Jack ; Luque, Emilio ; Margalef, TomàsBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
10 |
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 |