-
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
-
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
-
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
-
Formal Methods for Open Object-Based Distributed Systems IV – IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA
2000 Springer US
-
Wireless Algorithms, Systems, and Applications – 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings
Wang, Xinbing ; Eun, Do Young ; Jing, Tao ; XING, KAI 2012 Springer Berlin Heidelberg
-
Advances in Computational Intelligence – 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part IV
2012 Springer Berlin Heidelberg
-
Advances in Computational Intelligence – 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part III
2012 Springer Berlin Heidelberg
-
Advances in Computational Intelligence – 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part II
Greco, Salvatore ; Bouchon-Meunier, Bernadette ; Coletti, Giulianella ; Fedrizzi, Mario ; Yager, Ronald R. 2012 Springer Berlin Heidelberg
-
Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian 2012 Springer Berlin Heidelberg
-
Agent and Multi-Agent Systems. Technologies and Applications – 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings
Ježić, Gordan ; Kusek, Mario ; Nguyen, Ngoc Thanh ; Howlett, Robert J. ; Jain, L. C. 2012 Springer Berlin Heidelberg
-
Coordination Models and Languages – 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
Sirjani, Marjan 2012 Springer Berlin Heidelberg
-
Distributed Applications and Interoperable Systems – 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Göschka, Karl Michael ; Haridi, Seif 2012 Springer Berlin Heidelberg
-
Formal Techniques for Distributed Systems – Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Giese, Holger ; Rosu, Grigore 2012 Springer Berlin Heidelberg
-
Quality, Reliability, Security and Robustness in Heterogeneous Networks – 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers
Zhang, Xi ; Qiao, Daji 2012 Springer Berlin Heidelberg
-
Fundamentals of Software Engineering – 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Arbab, Farhad ; Sirjani, Marjan 2012 Springer Berlin Heidelberg
-
Database Systems for Advanced Applications – 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part II
Yu, Hwanjo ; Yu, Ge ; Hsu, Wynne ; Moon, Yang-Sae ; Unland, Rainer ; Yoo, Jaesoo 2012 Springer Berlin Heidelberg
-
Database Systems for Advanced Applications – 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part I
2012 Springer Berlin Heidelberg
-
Database Systems for Advanced Applications – 17th International Conference, DASFAA 2012, <Emphasis Type="Italic">International Workshops</Emphasis>: FlashDB, ITEMS, SNSM, SIM<Superscript>3</Superscript>, DQDI, Busan, South Korea, April 15-19, 2012. Proceedings
2012 Springer Berlin Heidelberg