-
Domain Decomposition Methods in Science and Engineering XXVII
2024 Springer Nature Switzerland
-
Integer Programming and Combinatorial Optimization – 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3–5, 2024, Proceedings
Vygen, Jens ; Byrka, Jarosław 2024 Springer Nature Switzerland, Imprint: Springer
-
IDAC-Dose 2.2, an internal dosimetry software for diagnostic nuclear medicine based on the latest ICRP adult and paediatric reference computational phantoms
Andersson, Martin ; Eckerman, Keith ; Mattsson, Sören
-
High Performance Computing in Science and Engineering – Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
Kozubek, Tomas ; Blaheta, Radim ; Šístek, Jakub ; Rozložník, Miroslav ; Čermák, Martin 2016 Springer International Publishing
-
Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing – EPASA 2015, Tsukuba, Japan, September 2015
Sakurai, Tetsuya ; Zhang, Shao-Liang ; Imamura, Toshiyuki ; Yamamoto, Yusaku ; Kuramashi, Yoshinobu ; Hoshi, Takeo 2017 Springer International Publishing
-
Open Problems in Optimization and Data Analysis
Pardalos, Panos M. ; Migdalas, Athanasios 2018 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
-
Einführung in Unix/Linux für Naturwissenschaftler – Effizientes wissenschaftliches Arbeiten mit der Unix-Kommandozeile
Erben, Thomas 2017 Springer Berlin Heidelberg
-
Matrix Algebra – Theory, Computations and Applications in Statistics
Gentle, James E. 2017 Springer International Publishing
-
Integer Programming and Combinatorial Optimization – 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11–13, 2025, Proceedings
Megow, Nicole ; Basu, Amitabh 2025 Springer Nature Switzerland, Imprint: Springer
-
Matrix Algebra – Theory, Computations and Applications in Statistics
Gentle, James E. 2024 Springer International Publishing, Imprint: Springer
-
MATLAB und Simulink Schnellkurs für Ingenieure
Hossain, Eklas 2025 Springer Nature Switzerland, Imprint: Springer Vieweg
-
Non-numerical weakly relational domains
Seidl, Helmut ; Erhard, Julian ; Tilscher, Sarah ; Schwarz, Michael
-
Simula Research Laboratory – by Thinking Constantly about it
Tveito, Aslak 2010 Springer Berlin
-
Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials
Bates, Daniel J. ; Hauenstein, Jonathan D. ; Niemerg, Matthew E. ; Sottile, Frank
-
Incremental bounded model checking for embedded software
Schrammel, Peter ; Kroening, Daniel ; Brain, Martin ; Martins, Ruben ; Teige, Tino ; Bienmüller, Tom
-
Pyomo — Optimization Modeling in Python
Hart, William E. ; Laird, Carl D. ; Watson, Jean-Paul ; Woodruff, David L. ; Hackebeil, Gabriel A. ; Nicholson, Bethany L. ; Siirola, John D. 2017 Springer International Publishing
-
Uncertainty Quantification in Scientific Computing – 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
Dienstfrey, Andrew 2012 Springer Berlin
-
Thermo-Hydro-Mechanical-Chemical Processes in Porous Media – Benchmarks and Examples
Kolditz, Olaf 2012 Springer Berlin