-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII – Special Issue on Database- and Expert-Systems Applications
2018 Springer International Publishing
-
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Margaria, Tiziana 2018 Springer International Publishing
-
Internet and Distributed Computing Systems – 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings
Xiang, Yang 2018 Springer International Publishing
-
Internet and Distributed Computing Systems – 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings
Fortino, Giancarlo ; Ali, A.B.M. Shawkat ; Pathan, Mukaddim ; Guerrieri, Antonio ; Di Fatta, Giuseppe 2018 Springer International Publishing
-
Stabilization, Safety, and Security of Distributed Systems – 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings
Spirakis, Paul G. ; Tsigas, Philippas 2017 Springer International Publishing
-
Cloud Computing – CLOUD 2018 – 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Luo, Min ; Zhang, Liang-Jie 2018 Springer International Publishing
-
Logical Foundations of Computer Science – International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Artemov, Sergej N. ; Nerode, Anil 2018 Springer International Publishing
-
Distributed Applications and Interoperable Systems – 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017, Proceedings
Chen, Lydia Y. ; Reiser, Hans Peter 2017 Springer International Publishing
-
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments – First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings
Traoré, Issa ; Woungang, Isaac ; Awad, Ahmed 2017 Springer International Publishing
-
Stabilization, Safety, and Security of Distributed Systems – 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
Bonakdarpour, Borzoo ; Petit, Franck 2016 Springer International Publishing
-
Job Scheduling Strategies for Parallel Processing – 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers
Klusáček, Dalibor ; Cirne, Walfredo ; Desai, Narayan 2018 Springer International Publishing
-
Euro-Par 2017: Parallel Processing Workshops – Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Heras, Dora B. ; Bougé, Luc 2018 Springer International Publishing
-
Computer Aided Systems Theory – EUROCAST 2017 – 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
2018 Springer International Publishing
-
Computer Aided Systems Theory – EUROCAST 2017 – 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
Moreno-Díaz, Roberto ; Pichler, Franz ; Quesada-Arencibia, Alexis 2018 Springer International Publishing
-
Advanced Parallel Processing Technologies – 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
Dou, Yong ; Lin, Haixiang ; Sun, Guangyu ; Wu, Junjie ; Heras, Dora ; Bougé, Luc 2017 Springer International Publishing
-
Algorithms and Architectures for Parallel Processing – 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings
Ibrahim, Shadi ; Choo, Kim-Kwang Raymond ; Yan, Zheng ; Pedrycz, Witold 2017 Springer International Publishing
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI – Special Issue on Data and Security Engineering
Hameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland ; Dang, Tran Khanh ; Thoai, Nam 2017 Springer Berlin Heidelberg
-
System Analysis and Modeling: Models and Reusability – 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
2014 Springer International Publishing
-
Analysis and Representation of Equational Proofs Generated by a Distributed Completion Based Proof System
Denzinger, Jörg ; Schulz, Stephan 1994 Technische Universität Kaiserslautern, Fachbereich Informatik
-
Distributed Planning for Self-Organizing Production Systems
Pfrommer, Julius 2024 KIT Scientific Publishing