Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Model Checking Software: 10th International SPIN Workshop. Portland, or, USA, May 9-10, 2003, ProceedingsBall, Thomas ; Rajamani, Sriram K Rajamani, Sriram K. ; Ball, ThomasBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
2 |
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 |
|
3 |
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 |
|
4 |
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 |
|
5 |
Material Type: Livro
|
Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, ProceedingsMaziero, Carlos Alberto ; Silva, João Gabriel ; Andrade, Aline Maria Santos ; Assis Silva, Flávio Morais deBerlin, Heidelberg: Springer Berlin / Heidelberg 2005Sem texto completo |
|
6 |
Material Type: Livro
|
Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised PapersWatson, Bruce ; Wood, Derick Wood, Derick ; Watson, Bruce W.Berlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
7 |
Material Type: Livro
|
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, ProceedingsKoenig, Sven ; Holte, Robert C Holte, Robert C. ; Koenig, SvenBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
8 |
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 |
|
9 |
Material Type: Livro
|
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 ProceedingsDamm, Werner ; Olderog, Ernst -Rüdiger Damm, Werner ; Olderog, Ernst -RüdigerBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
|
10 |
Material Type: Livro
|
Self-Adaptive Software: Applications: Second International Workshop, IWSAS 2001 Balatonfüred, Hungary, May 17–19, 2001 Revised PapersLaddaga, Robert ; Shrobe, Howie ; Robertson, Paul Shrobe, Howie ; Robertson, Paul ; Laddaga, RobertBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |