Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Network and Parallel Computing: 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, ProceedingsPark, James J ; Zomaya, Albert Y ; Yeo, Sang-Soo ; Sahni, Sartaj Zomaya, Albert Y ; Sahni, Sartaj ; Yeo, Sang-Soo ; Park, James J ; Zomaya, Albert ; Sahni, Sartaj ; Yeo, Sang-Soo ; Park, James J.Berlin, Heidelberg: Springer Nature 2012Texto completo disponível |
|
2 |
Material Type: Livro
|
Compiler Design: Analysis and TransformationSeidl, Helmut ; Wilhelm, Reinhard ; Hack, Sebastian Hack, Sebastian ; Wilhelm, ReinhardBerlin, Heidelberg: Springer Nature 2012Texto completo disponível |
|
3 |
Material Type: Livro
|
Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 ProceedingsHussmann, Heinrich Hussmann, HeinrichBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
4 |
Material Type: Livro
|
Handbook of Service Description: USDL and Its MethodsBarros, Alistair ; Oberle, Daniel Oberle, Daniel ; Barros, AlistairNew York, NY: Springer-Verlag 2012Texto completo disponível |
|
5 |
Material Type: Livro
|
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected PapersGill, Andy ; Hage, Jurriaan Hage, Jurriaan ; Gill, AndyBerlin, Heidelberg: Springer Nature 2012Texto completo disponível |
|
6 |
Material Type: Livro
|
Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedingsde Carvalho Junior, Francisco Heron ; Barbosa, Luis SoaresBerlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Livro
|
Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected PapersZsók, Viktória ; Horváth, Zoltán ; Plasmeijer, Rinus Plasmeijer, Rinus ; Horváth, Zoltán ; Zsók, ViktóriaNetherlands: Springer Nature 2012Texto completo disponível |
|
8 |
Material Type: Livro
|
|
|
9 |
Material Type: Livro
|
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected PapersArbab, Farhad ; Ölveczky, Peter Csaba Arbab, Farhad ; lveczky, Peter CsabaNetherlands: Springer Nature 2012Texto completo disponível |
|
10 |
Material Type: Livro
|
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, ProceedingsJhala, Ranjit ; Igarashi, Atsushi Igarashi, Atsushi ; Jhala, RanjitNetherlands: Springer Nature 2012Texto completo disponível |