-
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
-
Distributed Computing – 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings
Aguilera, Marcos K. 2012 Springer Berlin Heidelberg
-
Redundancy in Robot Manipulators and Multi-Robot Systems
Milutinović, Dejan Lj. ; Rosen, Jacob 2013 Springer Berlin Heidelberg
-
System Simulation and Scientific Computing – International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
2012 Springer Berlin Heidelberg
-
System Simulation and Scientific Computing – International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
Xiao, Tianyuan ; Zhang, Lin ; Ma, Shiwei 2012 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
-
Multiagent System Technologies – 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings
Timm, Ingo J. ; Christian, Guttmann 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
-
Datalog in Academia and Industry – Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings
Barceló, Pablo ; Pichler, Reinhard 2012 Springer Berlin Heidelberg
-
Service-Oriented and Cloud Computing – First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings
De Paoli, Flavio ; Pimentel, Ernesto ; Zavattaro, Gianluigi 2012 Springer Berlin Heidelberg
-
Intelligent Distributed Computing VI – Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012
Fortino, Giancarlo ; Bǎdicǎ, Costin ; Malgeri, Michele ; Unland, Rainer 2013 Springer Berlin Heidelberg
-
Internet of Things, Smart Spaces, and Next Generation Networking – 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012. Proceedings
Andreev, Sergey ; Balandin, Sergey ; Koucheryavy, Yevgeni 2012 Springer Berlin Heidelberg
-
Data Management in Cloud, Grid and P2P Systems – 5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012. Proceedings
Hameurlain, Abdelkader ; Hussain, Farookh Khadeer ; Morvan, Franck ; Tjoa, A Min 2012 Springer Berlin Heidelberg
-
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012
Lee, Roger 2013 Springer Berlin Heidelberg
-
Computational Logic in Multi-Agent Systems – 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
Fisher, Michael ; Torre, Leendert van der ; Dastani, Mehdi ; Governatori, Guido 2012 Springer Berlin Heidelberg