-
Algorithms and Models for the Web-Graph – 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009. Proceedings
Bonato, Anthony ; Chung Graham, Fan ; Pralat, Pawel 2009 Springer International Publishing
-
Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Ábrahám, Erika ; Johnsen, Einar Broch ; Bonsangue, Marcello M. 2016 Springer International Publishing
-
Nichtsequentielle und Verteilte Programmierung mit Go – Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz
Maurer, Christian 2025 Springer Vieweg
-
Reachability Problems – 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
2014 Springer International Publishing
-
Advances in Information Systems Development – Information Systems Development, Organizational Aspects, and Societal Trends
Silva, Alberto Manuel Rodrigues da ; Silva, Miguel Mira da ; Estima, Jacinto ; Barry, Chris ; Lang, Michael ; Linger, Henry ; Schneider, Christoph 2024 Springer Nature Switzerland, Imprint: Springer
-
Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes: Communication - Cooperation - Competition
Maurer, Christian 2021 Springer Fachmedien Wiesbaden
-
Nichtsequentielle und Verteilte Programmierung mit Go – Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz
Maurer, Christian 2025 Springer Fachmedien Wiesbaden, Imprint: Springer Vieweg
-
Mathematical and Engineering Methods in Computer Science – 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
2014 Springer International Publishing
-
Dynamic Data-Driven Environmental Systems Science – First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers
Ravela, Sai ; Sandu, Adrian 2015 Springer International Publishing
-
High Performance Computing in Science and Engineering – Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
Kozubek, Tomas ; Blaheta, Radim ; Šístek, Jakub ; Rozložník, Miroslav ; Čermák, Martin 2016 Springer International Publishing
-
Transactions on Computational Science XXVII
Gavrilova, Marina L. ; Tan, C. J. Kenneth 2016 Springer International Publishing
-
Graphical Models for Security – Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
Mauw, Sjouke ; Kordy, Barbara ; Jajodia, Sushil 2016 Springer International Publishing
-
Proceedings of 4th International Conference in Software Engineering for Defence Applications – SEDA 2015
Ciancarini, Paolo ; Sillitti, Alberto ; Succi, Giancarlo ; Messina, Angelo 2016 Springer International Publishing
-
The Cost and Complexity of Minimizing Envy in House Allocation
Madathil, Jayakrishnan ; Misra, Neeldhara ; Sethia, Aditi
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVIII – Special Issue on Database- and Expert-Systems Applications
2016 Springer International Publishing
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII – Special Issue on Big Data for Complex Urban Systems
Hameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland ; Chen, Qimin 2016 Springer Berlin Heidelberg
-
Advances in Computer Algebra – In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada
Schneider, Carsten ; Zima, Eugene 2018 Springer International Publishing
-
Economic Foundations for Social Complexity Science – Theory, Sentiments, and Empirical Laws
Aruka, Yūji ; Kirman, Alan P. 2017 Springer Singapore
-
Einführung in die Optimierung – Konzepte, Methoden und Anwendungen
Grimme, Christian ; Bossek, Jakob 2018 Springer Fachmedien Wiesbaden
-
Parallel Processing and Applied Mathematics – 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II
2016 Springer International Publishing