Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Middleware 2010: ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. ProceedingsGupta, Indranil ; Mascolo, Cecilia Mascolo, Cecilia ; Gupta, Indranil ; Mascolo, Cecilia ; Gupta, IndranilBerlin, Heidelberg: Springer Nature 2010Sem texto completo |
|
2 |
Material Type: Livro
|
Software Engineering — ESEC/FSE'97: 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering Zurich, Switzerland, September 22–25, 1997 ProceedingsJazayeri, Mehdi ; Schauer, Helmut Schauer, Helmut ; Jazayeri, MehdiBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
3 |
Material Type: Livro
|
Software Engineering ESEC/FSE '99: 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering Toulouse, France, September 6-10, 1999 ProceedingsCarbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard Nierstrasz, Oscar ; Lemoine, MichelBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
4 |
Material Type: Livro
|
Middleware 2004: ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-22, 2004. ProceedingsJacobsen, Hans-Arno Jacobsen, Hans-ArnoBerlin, Heidelberg: Springer Berlin Heidelberg 2004Texto completo disponível |
|
5 |
Material Type: Livro
|
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 ProceedingsDwyer, Matthew Dwyer, MatthewBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
6 |
Material Type: Livro
|
Middleware 2003: ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, ProceedingsEndler, Markus ; Schmidt, Douglas Schmidt, Douglas ; Endler, MarkusBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
7 |
Material Type: Livro
|
Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. ProceedingsCousot, Radhia Cousot, RadhiaBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
8 |
Material Type: Livro
|
Ubicomp 2001: Ubiquitous Computing: International Conference Atlanta Georgia, USA, September 30–October 2, 2001 ProceedingsAbowd, Gregory D ; Brumitt, Barry ; Shafer, Steven Abowd, Gregory D. ; Brumitt, Barry ; Shafer, StevenBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
|
9 |
Material Type: Livro
|
Parallel and Distributed Processing and Applications: International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 ProceedingsGuo, Minyi ; Yang, Laurence Tianruo Yang, Laurence Tianruo ; Guo, MinyiBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |
|
10 |
Material Type: Livro
|
Middleware 2000: IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 ProceedingsSventek, Joseph ; Coulson, Geoffrey Sventek, Joseph ; Coulson, GeoffreyBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |