Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Embedded and Ubiquitous Computing: International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, ProceedingsYang, Laurence T ; Guo, Minyi ; Gao, Guang R ; Jha, Niraj K Jha, Niraj K. ; Yang, Laurence T. ; Guo, Minyi ; Gao, Guang R.Berlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
2 |
Material Type: Livro
|
Foundations of Software Technology and Theoretical Computer Science: 17th Conference Kharagpur, India, December 18–20, 1997 ProceedingsRamesh, S ; Sivakumar, G Ramesh, S. ; Sivakumar, GBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
3 |
Material Type: Livro
|
Foundations of Software Technology and Theoretical Computer Science: 16th Conference Hyderabad, India, December 18–20, 1996 ProceedingsChandru, V ; Vinay, V Vinay, V. ; Chandru, V.Berlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
4 |
Material Type: Livro
|
Challenges for Action TheoriesThielscher, MichaelBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
5 |
Material Type: Livro
|
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, ProceedingsLegay, Axel ; Bensalem, Saddek Bensalem, Saddek ; Legay, AxelNetherlands: Springer Nature 2013Texto completo disponível |
|
6 |
Material Type: Livro
|
Lightweight Cryptography for Security and Privacy: 2nd International Workshop, LightSec 2013, Gebze, Turkey, May 6-7, 2013, Revised Selected PapersAvoine, Gildas ; Kara, Orhun Kara, Orhun ; Avoine, GildasNetherlands: Springer Nature 2013Texto completo disponível |
|
7 |
Material Type: Livro
|
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, ProceedingsHeckel, Reiko ; Milius, Stefan Heckel, Reiko ; Milius, StefanNetherlands: Springer Nature 2013Texto completo disponível |
|
8 |
Material Type: Livro
|
Security, Privacy, and Applied Cryptography Engineering: Third International Conference, SPACE 2013, Kharagpur, India, October 19-23, 2013, ProceedingsGierlichs, Benedikt ; Guilley, Sylvain ; Mukhopadhyay, Debdeep Gierlichs, Benedikt ; Mukhopadhyay, Debdeep ; Guilley, SylvainNetherlands: Springer Nature 2013Texto completo disponível |
|
9 |
Material Type: Livro
|
Communications and Multimedia Security: 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. ProceedingsDe Decker, Bart ; Dittmann, Jana ; Kraetzer, Christian ; Vielhauer, Claus Dittmann, Jana ; De Decker, Bart ; Kraetzer, Christian ; Vielhauer, ClausNetherlands: Springer Nature 2013Texto completo disponível |
|
10 |
Material Type: Livro
|
Network and Parallel Computing: 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, ProceedingsHsu, Ching-Hsien ; Li, Xiaoming ; Shi, Xuanhua ; Zheng, Ran Hsu, Ching-Hsien ; Li, Xiaoming ; Shi, Xuanhua ; Zheng, RanNetherlands: Springer Nature 2013Texto completo disponível |