-
Principles and Practice of Constraint Programming – 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
2016 Springer International Publishing
-
Einführung in UML – Analyse und Entwurf von Software
Randen, Hendrik Jan van ; Bercker, Christian ; Fieml, Julian 2016 Springer Fachmedien Wiesbaden
-
Beginning SQL Queries – From Novice to Professional
Churcher, Clare 2016 Apress
-
Objektorientierte Programmierung mit JavaScript – Direktstart für Einsteiger
Bewersdorff, Jörg 2018 Springer Fachmedien Wiesbaden
-
Raspberry Pi Supercomputing and Scientific Programming – MPI4PY, NumPy, and SciPy for Enthusiasts
2017 Apress
-
Java lernen in abgeschlossenen Lerneinheiten – Programmieren für Einsteiger mit vielen Beispielen
Dörn, Sebastian 2019 Springer Fachmedien Wiesbaden
-
Pro Vue.js 2
2018 Apress
-
Programmieren lernen mit Computergrafik – Eine Einführung mit Java und Processing
Deussen, Oliver ; Ningelgen, Thomas 2018 Springer Fachmedien Wiesbaden
-
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
-
Lower bounds for dilation, wirelength, and edge congestion of embedding graphs into hypercubes
Rajan, R. Sundara ; Kalinowski, Thomas ; Klavžar, Sandi ; Mokhtar, Hamid ; Rajalaxmi, T. M.
-
Logic and Argumentation – 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings
Ågotnes, Thomas ; Doder, Dragan 2025 Springer Nature Singapore, 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
-
Programming Languages and Systems – 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
2016 Springer International Publishing
-
Abstract State Machines, Alloy, B, TLA, VDM, and Z – 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Butler, Michael ; Schewe, Klaus-Dieter ; Mashkoor, Atif ; Biro, Miklos 2016 Springer International Publishing
-
Inductive Logic Programming – 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
Cussens, James ; Russo, Alessandra 2017 Springer International Publishing