-
Small Dynamic Complexity Classes – An Investigation into Dynamic Descriptive Complexity
Zeume, Thomas 2017 Springer International Publishing
-
Languages and Compilers for Parallel Computing – 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
Ding, Chen ; Criswell, John ; Wu, Peng 2017 Springer Berlin Heidelberg
-
Elementary Mechanics Using Matlab – A Modern Course Combining Analytical and Numerical Techniques
Malthe-Sorenssen, Anders 2015 Springer International Publishing
-
A language-parametric test amplification framework for executable domain-specific languages
Khorram, Faezeh ; Bousse, Erwan ; Mottu, Jean-Marie ; Sunyé, Gerson ; Khelladi, Djamel Eddine ; Gómez-Abajo, Pablo ; Cañizares, Pablo C. ; Guerra, Esther ; Lara, Juan de
-
A Comparison of Three Program Query Languages to Detect Python Programming Misconceptions
Colla, Quentin ; Mens, Kim ; Liénard, Julien 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Shica - Improving the Programming Experience for Agent-Based, Distributed, Physical Computing Systems
Shikada, Hiroto ; Piumarta, Ian 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
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
-
Java üben mit dem Plotter – Ein Überblick für Studierende und Einsteiger
Euler, Stephan 2018 Springer Fachmedien Wiesbaden
-
SMOaaS: a Scalable Matrix Operation as a Service model in Cloud
Ujjwal KC ; Battula, Sudheer Kumar ; Garg, Saurabh ; Naha, Ranesh Kumar ; Patwary, Md Anwarul Kaium ; Brown, Alexander
-
Object-based Programming with Go
Maurer, Christian 2025 Springer Fachmedien Wiesbaden, Imprint: Springer
-
Object-based Programming with Go
Maurer, Christian 2025 Springer
-
Recent Developments in the Design and Implementation of Programming Languages
de Boer, Frank S. ; Mauro, Jacopo 2020 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
-
Automated Trading with R – Quantitative Research and Platform Development
2016 Apress
-
Einführung in C – Praktisches Lern- und Arbeitsbuch für Programmieranfänger
Logofătu, Doina 2016 Springer Fachmedien Wiesbaden
-
Nichtsequentielle und Verteilte Programmierung mit Go – Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz
Maurer, Christian 2025 Springer Vieweg
-
Declarative Processing of Semistructured Web Data
Hanus, Michael 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Logic-Based Program Synthesis and Transformation – 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Alpuente, María 2011 Springer Berlin Heidelberg
-
Deep Dive Python – Techniques and Best Practices for Developers
Divakaran, Adarsh 2025 Apress, Imprint: Apress
-
Genetic Programming – 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23–25, 2025, Proceedings
Xue, Bing ; Manzoni, Luca ; Bakurov, Illya 2025 Springer Nature Switzerland, Imprint: Springer
-
Programmieren mit JavaScript – die vielseitige Sprache für Webentwicklung & mehr - Grundlagen und fortgeschrittene Techniken
Steyer, Ralph 2025 Springer Vieweg