-
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
-
Transactions on Modularity and Composition I
Chiba, Shigeru ; Südholt, Mario ; Eugster, Patrick ; Ziarek, Lukasz ; Leavens, Gary T. 2016 Springer International Publishing
-
Reliable Software Technologies – Ada-Europe 2015 – 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
De la Puente, Juan A. ; Vardanega, Tullio 2015 Springer International Publishing
-
Efficient resource utilization using multi-step-ahead workload prediction technique in cloud
Banerjee, Sounak ; Roy, Sarbani ; Khatua, Sunirmal
-
Energy-efficient migration techniques for cloud environment: a step toward green computing
Bhattacherjee, Srimoyee ; Das, Rituparna ; Khatua, Sunirmal ; Roy, Sarbani
-
Toward maximization of profit and quality of cloud federation: solution to cloud federation formation problem
Ray, Benay Kumar ; Saha, Avirup ; Khatua, Sunirmal ; Roy, Sarbani
-
Predicting long time contributors with knowledge units of programming languages: an empirical study
Ahasanuzzaman, Md ; Oliva, Gustavo A. ; Hassan, Ahmed E.
-
Exact Methods for the Travelling Salesperson Problem with Self-Deleting Graphs
Pekar, Daniel ; Beck, J. Christopher 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
RPID: Rust Programmable Interface for Domain-Independent Dynamic Programming
Kuroiwa, Ryo ; Beck, J. Christopher 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
C++ mit Visual Studio 2017 und Windows Forms-Anwendungen – Ein Fach- und Lehrbuch für Standard C++ und Windows Forms-Anwendungen
Kaiser, Richard 2018 Springer Berlin Heidelberg
-
Beginning Django – Web Application Development and Deployment with Python
2017 Apress
-
An Introduction to Statistics with Python – With Applications in the Life Sciences
Haslwanter, Thomas 2016 Springer International Publishing
-
Database Programming Languages (DBPL-4) – Proceedings of the Fourth International Workshop on Database Programming Languages — Object Models and Languages, Manhattan, New York City, USA, 30 August–1 September 1993
1994 Springer London
-
Logic and Its Applications – 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings
Aiswarya, C. ; Sen, Prabal Kumar ; Srivastava, Shashi M. 2025 Springer Nature Switzerland, Imprint: Springer
-
Recent Trends in Algebraic Development Techniques – 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
Țuțu, Ionuț 2025 Springer Nature Switzerland, Imprint: Springer
-
52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025)
Censor-Hillel, Keren ; Grandoni, Fabrizio ; Ouaknine, Joël ; Puppis, Gabriele 2025 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
-
The Python Workbook – A Brief Introduction with Exercises and Solutions
Stephenson, Ben 2025 Springer Nature Switzerland, Imprint: Springer
-
Julia Programming for Physics Applications
Türeci, R. Gökhan ; Dağıstanlı, Hamdi ; Türk Çakır, İlkay 2025 Springer Nature Switzerland, Imprint: Springer
-
Reversible Computation – 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Krivine, Jean ; Stefani, Jean-Bernard 2015 Springer International Publishing
-
C++ Recipes – A Problem-Solution Approach
2015 Apress