-
Information Security Theory and Practice – 9th IFIP WG 11.2 International Conference, WISTP 2015 Heraklion, Crete, Greece, August 24–25, 2015 Proceedings
Naccache, David ; Sauveron, Damien 2015 Springer International Publishing
-
Tools and Algorithms for the Construction and Analysis of Systems – 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Baier, Christel ; Tinelli, Cesare 2015 Springer Berlin Heidelberg
-
Computer Engineering and Technology – 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers
Xu, Weixia ; Xiao, Liquan ; Li, Jinwen ; Zhang, Chengyi ; Zhu, Zhenzhen 2015 Springer Berlin Heidelberg
-
Cryptographic Hardware and Embedded Systems – CHES 2014 – 16th International Workshop, Busan, South Korea, September 23-26, 2014. Proceedings
Bertoni, Guido ; Coron, Jean-Sebastien 2014 Springer International Publishing
-
Information Security Theory and Practice. Securing the Internet of Things – 8th IFIP WG 11.2 International Workshop, WISTP 2014, Heraklion, Crete, Greece, June 30 – July 2, 2014. Proceedings
2014 Springer Berlin Heidelberg
-
Parallel Computer Architectures – Theory, Hardware, Software, Applications
Bode, Arndt 1993 Springer Berlin Heidelberg
-
Computer Engineering and Technology – 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Xu, Weixia ; Xiao, Liquan ; Zhang, Chengyi ; Li, Jinwen ; Yu, Liyan 2013 Springer Berlin Heidelberg
-
Runtime Verification – 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Legay, Axel ; Bensalem, Saddek 2013 Springer Berlin Heidelberg
-
Data Integration in the Life Sciences – 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings
Baker, Christopher J. O. ; Butler, Greg ; Jurisica, Igor 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
-
Computer Engineering and Technology – 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
Xu, Weixia ; Xiao, Liquan ; Lu, Pingjing ; Li, Jinwen ; Zhang, Chengyi 2013 Springer Berlin Heidelberg
-
Runtime Verification – Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Khurshid, Sarfraz ; Sen, Koushik 2012 Springer Berlin Heidelberg
-
Information Security Technology for Applications – 15th Nordic Conference on Secure IT Systems, NordSec 2010, Espoo, Finland, October 27-29, 2010, Revised Selected Papers
Laud, Peeter 2012 Springer Berlin Heidelberg
-
Multimedia, Computer Graphics and Broadcasting – International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I
2012 Springer Berlin Heidelberg
-
Multimedia, Computer Graphics and Broadcasting – International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part II
Kim, T'ae-hun ; Adeli, Hojjat ; Grosky, William I. ; Pissinou, Niki ; Shih, Timothy K. ; Rothwell, Edward J. ; Kang, Byeong-Ho ; Shin, Seung-Jung 2011 Springer Berlin Heidelberg
-
Convergence and Hybrid Information Technology – 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings
Lee, Geuk ; Howard, Daniel ; Ślęzak, Dominik 2011 Springer Berlin Heidelberg
-
Convergence and Hybrid Information Technology – 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings
Lee, Geuk ; Howard, Daniel ; Ślęzak, Dominik 2011 Springer Berlin Heidelberg
-
Information Security and Assurance – International Conference, ISA 2011, Brno, Czech Republic, August 15-17, 2011. Proceedings
Kim, T'ae-hun ; Adeli, Hojjat ; Robles, Rosslin John ; Balitanas, Maricel 2011 Springer Berlin Heidelberg
-
Digital Enterprise and Information Systems – International Conference, DEIS 2011, London, UK, July 20 – 22, 2011. Proceedings
Ariwa, Ezendu ; El-Qawasmeh, Eyas 2011 Springer Berlin Heidelberg
-
Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication – 5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011. Proceedings
Ardagna, Claudio Agostino ; Zhou, Jianying 2011 Springer Berlin Heidelberg