-
Operational Semantics and Verification of Security Protocols
Cremers, Cas ; Mauw, Sjouke 2012 Springer Berlin
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems LII
Hameurlain, Abdelkader ; Tjoa, A Min 2022 Springer International Publishing
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVII – Special Issue on Digital Ecosystems and Social Networks
Hameurlain, Abdelkader ; Tjoa, A Min ; Chbeir, Richard 2021 Springer Berlin Heidelberg
-
Description and Selection of Communication Services for Service Oriented Network Architectures
Khondoker, Rahamatullah 2016 Springer Fachmedien Wiesbaden
-
Algorithms, Probability, Networks, and Games – Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday
Zaroliagis, Christos ; Pantziou, Grammati ; Kontogiannis, Spyros C. 2015 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
-
Integer Programming and Combinatorial Optimization – 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings
Louveaux, Quentin ; Skutella, Martin 2016 Springer International Publishing
-
Fuzzy Logic in Its 50th Year – New Developments, Directions and Challenges
Kahraman, Cengiz ; Kaymak, Uzay ; Yazıcı, Adnan 2016 Springer International Publishing
-
Ein Simulationsmodell zur Erfassung von Abflussrisiken in der Landwirtschaft
Wendland, S. ; Hankers, B. ; Bock, M. ; Böhner, J. ; Squar, J. ; Lembrich, D. ; Conrad, O.
-
Optimization Methods and Applications – In Honor of Ivan V. Sergienko's 80th Birthday
Butenko, Sergiy ; Pardalos, Panos M. ; Shylo, Volodymyr 2017 Springer International Publishing
-
Sustainable Logistics and Transportation – Optimization Models and Algorithms
Cinar, Didem ; Gakis, Konstantinos ; Pardalos, Panos M. 2017 Springer International Publishing
-
Adaptive Learning of Polynomial Networks – Genetic Programming, Backpropagation and Bayesian Methods
Nikolaev, Nikolay ; Iba, Hitoshi 2006 Springer Nature Singapore
-
Open Data Exposed
Loenen, Bastiaan van ; Vancauwenberghe, Glenn ; Crompvoets, Joep 2018 T.M.C. Asser Press
-
Grundkurs Mobile Kommunikationssysteme – LTE-Advanced Pro, UMTS, HSPA, GSM, GPRS, Wireless LAN und Bluetooth
Sauter, Martin 2018 Springer Fachmedien Wiesbaden
-
Formal Methods: Foundations and Applications – 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings
C. Nogueira, Sidney ; Teodorov, Ciprian 2025 Springer Nature Switzerland, Imprint: Springer
-
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
-
Parallel Processing and Applied Mathematics – 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I
Wyrzykowski, Roman ; Deelman, Ewa ; Dongarra, Jack ; Karczewski, Konrad ; Kitowski, Jacek ; Wiatr, Kazimierz 2016 Springer Berlin Heidelberg
-
To Teach or Not to Teach: An International Study of Language Teachers’ Experiences of Online Teaching During the COVID-19 Pandemic
Kwee, Ching Ting Tany
-
Preface to Martin Kutrib Festschrift
Fernau, Henning ; Malcher, Andreas ; Pighizzini, G.
-
Finite automata with undirected state graphs
Kutrib, Martin ; Malcher, Andreas ; Schneider, Christian