-
Reversible Computation – 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Glück, Robert ; Yokoyama, Tetsuo 2013 Springer Berlin Heidelberg
-
Distributed Applications and Interoperable Systems II – IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS’99)June 28–July 1, 1999, Helsinki, Finland
1999 Springer US
-
Data Privacy Management and Autonomous Spontaneous Security – 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers
Di Pietro, Roberto ; Herranz, Javier ; Damiani, Ernesto ; State, Radu 2013 Springer Berlin Heidelberg
-
Advances in Computing, Communication, and Control – Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings
Unnikrishnan, Srija ; Surve, Sunil ; Bhoir, Deepak 2013 Springer Berlin Heidelberg
-
Formal Methods for Components and Objects – 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Beckert, Bernhard ; Damiani, Ferruccio ; Boer, Frank S. de ; Bonsangue, Marcello M. 2013 Springer Berlin Heidelberg
-
Trustworthy Computing and Services – International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers
Yuan, Yuyu ; Wu, Xu ; Lu, Yueming 2013 Springer Berlin Heidelberg
-
Principles of Distributed Systems – 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings
Baldoni, Roberto ; Flocchini, Paola ; Binoy, Ravindran 2012 Springer Berlin Heidelberg
-
Advances in Communication, Network, and Computing – Third International Conference, CNC 2012, Chennai, India, February 24-25, 2012, Revised Selected Papers
Das, Vinu V. ; Stephen, Janahanlal 2012 Springer Berlin Heidelberg
-
Testing Software and Systems – 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
Nielsen, Brian ; Weise, Carsten 2012 Springer Berlin Heidelberg
-
Web Information Systems Engineering - WISE 2012 – 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings
Wang, X. Sean ; Cruz, Isabel ; Delis, Alex ; Huang, Guangyan 2012 Springer Berlin Heidelberg
-
Internet and Distributed Computing Systems – 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
Xiang, Yang ; Pathan, Mukaddim ; Tao, Xiaohui ; Wang, Hua 2012 Springer Berlin Heidelberg
-
Formal Methods and Software Engineering – 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Aoki, Toshiaki ; Taguchi, Kenji 2012 Springer Berlin Heidelberg
-
Redundancy in Robot Manipulators and Multi-Robot Systems
Milutinović, Dejan Lj. ; Rosen, Jacob 2013 Springer Berlin Heidelberg
-
Rewriting Logic and Its Applications – 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Durán, Francisco 2012 Springer Berlin Heidelberg
-
Stabilization, Safety, and Security of Distributed Systems – 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
Richa, Andréa W. ; Scheideler, Christian 2012 Springer Berlin Heidelberg
-
Recent Trends in Computer Networks and Distributed Systems Security – International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings
Martínez Pérez, Gregorio ; Thampi, Sabu M. ; Ko, Ryan ; Shu, Lei 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
-
Distributed Autonomous Robotic Systems – The 10th International Symposium
Martinoli, Alcherio ; Mondada, Francesco ; Correll, Nikolaus ; Mermoud, Grégory ; Egerstedt, Magnus ; Hsieh, M. Ani ; Parker, Lynne E. ; Støy, Kasper 2013 Springer Berlin Heidelberg
-
Algorithms and Architectures for Parallel Processing – 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
2012 Springer Berlin Heidelberg
-
Algorithms and Architectures for Parallel Processing – 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II
Xiang, Yang ; Stojmenović, Ivan ; Apduhan, Bernady O. ; Wang, Guojun ; Nakano, Kōji ; Zomaya, Albert Y. 2012 Springer Berlin Heidelberg