-
Security, Privacy, and Applied Cryptography Engineering – Third International Conference, SPACE 2013, Kharagpur, India, October 19-23, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Embedded Systems: Design, Analysis and Verification – 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
Schirner, Gunar ; Götz, Marcelo ; Rettberg, Achim ; Zanella, Mauro C. ; Rammig, Franz Josef 2013 Springer Berlin Heidelberg
-
NASA Formal Methods – 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer Berlin Heidelberg
-
Grid and Pervasive Computing – 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
Pak, Chong-hyun ; Arabnia, Hamid R. ; Kim, Cheonshik ; Shi, Weisong ; Gil, Joon-Min 2013 Springer Berlin Heidelberg
-
Model-Based Methodologies for Pervasive and Embedded Software – 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Machado, Ricardo ; Maciel, Rita Suzana ; Rubin, Julia ; Botterweck, Goetz 2013 Springer Berlin Heidelberg
-
Smart Card Research and Advanced Applications – 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers
Mangard, Stefan 2013 Springer Berlin Heidelberg
-
Architecture of Computing Systems – ARCS 2013 – 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
Kubátová, Hana ; Hochberger, Christian ; Daněk, Martin ; Sick, Bernhard 2013 Springer Berlin Heidelberg
-
Wireless Sensor Networks – 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings
Demeester, Piet ; MOERMAN, INGRID ; Terzis, Andreas 2013 Springer Berlin Heidelberg
-
Runtime Verification – Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Qadeer, Shaz ; Tasiran, Serdar 2013 Springer Berlin Heidelberg
-
Trusted Systems – 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012. Proceedings
Mitchell, Chris J. ; Tomlinson, Allan 2012 Springer Berlin Heidelberg
-
Advances in Information Technology – 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings
Borworn Papasratorn ; Charoenkitkarn, Nipon ; Lavangnananda, Kittichai ; Chutimaskul, Wichian ; Vanijja, Vajirasak 2012 Springer Berlin Heidelberg
-
Computer Applications for Communication, Networking, and Digital Contents – International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Kim, T'ae-hun ; Ko, Dae-sik ; Vasilakos, Thanos ; Stoica, Adrian ; Abawajy, Jemal 2012 Springer Berlin Heidelberg
-
Computer Applications for Bio-technology, Multimedia, and Ubiquitous City – International Conferences MulGraB, BSBT and IUrC 2012 Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Kim, T'ae-hun ; Kang, Jeong Jin ; Grosky, William I. ; Arslan, Tughrul ; Pissinou, Niki 2012 Springer Berlin Heidelberg
-
Computer Safety, Reliability, and Security – SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
Ortmeier, Frank ; Daniel, Peter 2012 Springer Berlin Heidelberg
-
Computer Safety, Reliability, and Security – 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Ortmeier, Frank ; Daniel, Peter 2012 Springer Berlin Heidelberg
-
Formal Methods for Industrial Critical Systems – 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Stoelinga, Mariëlle ; Pinger, Ralf 2012 Springer Berlin Heidelberg
-
Sensor Systems and Software – Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers
Martins, Francisco Cipriano da Cunha ; Lopes, Luis ; Paulino, Hervé 2012 Springer Berlin Heidelberg
-
Progress in VLSI Design and Test – 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Rahaman, Hafizur ; Chattopadhyay, Sanatan ; Chattopadhyay, Santanu 2012 Springer Berlin Heidelberg
-
Objects, Models, Components, Patterns – 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Furia, Carlo A. ; Nanz, Sebastian 2012 Springer Berlin Heidelberg
-
Advances in Computer Science, Engineering & Applications – Proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2
2012 Springer Berlin Heidelberg