-
Open Problems in Optimization and Data Analysis
Pardalos, Panos M. ; Migdalas, Athanasios 2018 Springer International Publishing
-
Open Data Exposed
Loenen, Bastiaan van ; Vancauwenberghe, Glenn ; Crompvoets, Joep 2018 T.M.C. Asser Press
-
Software Engineering – Proceedings of CSI 2015
Hoda, M. N. ; Chauhan, Naresh ; Quadri, S. M. K. ; Srivastava, Praveen Ranjan 2019 Springer Singapore
-
Grundkurs Mobile Kommunikationssysteme – LTE-Advanced Pro, UMTS, HSPA, GSM, GPRS, Wireless LAN und Bluetooth
Sauter, Martin 2018 Springer Fachmedien Wiesbaden
-
Robot Operating System for Absolute Beginners – Robotics Programming Made Easy
2018 Apress
-
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
-
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
-
Programming Languages and Systems – 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Kiselyov, Oleg 2025 Springer Nature Singapore, Imprint: Springer
-
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II
Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
-
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV
Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
-
Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln
Stich, Volker ; Schumann, Jan Hendrik ; Beverungen, Daniel ; Gudergan, Gerhard ; Jussen, Philipp 2019 Springer Berlin Heidelberg
-
Optimal Control Theory – Applications to Management Science and Economics
Sethi, Suresh P. 2019 Springer International Publishing
-
Data Mining and Constraint Programming – Foundations of a Cross-Disciplinary Approach
Bessiere, Christian ; De Raedt, Luc ; Kotthoff, Lars ; Nijssen, Siegfried ; O'Sullivan, Barry ; Pedreschi, Dino 2016 Springer International Publishing
-
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
-
Programming Languages and Systems – 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
2016 Springer International Publishing
-
Logical Foundations of Computer Science – International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Artemov, Sergej N. ; Nerode, Anil 2015 Springer International Publishing
-
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.