21
Foundations of Software Science and Computation Structures [E-Book] : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
22
Programming Languages and Systems [E-Book] : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
23
Language, Logic, and Computation [E-Book] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers /
24
Observer Design for Control and Fault Diagnosis of Boolean Networks [E-Book] /
25
Graph Drawing and Network Visualization [E-Book] : 29th International Symposium, GD 2021, Tübingen, Germany, September 14-17, 2021, Revised Selected Papers /
26
Mathematical Morphology and Its Applications to Signal and Image Processing [E-Book] : 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings /
27
Exploiting structure in non-convex quadratic optimization and gas network planning under uncertainty [E-Book] /
28
Computational sciences [E-Book] /
29
Detection of Intrusions and Malware, and Vulnerability Assessment [E-Book] : 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings /
30
Advanced Information Systems Engineering [E-Book] : 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings /
31
Compressive Sensing for the Photonic Mixer Device [E-Book] : Fundamentals, Methods and Results /
32
High-Performance Scientific Computing [E-Book] : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 45, 2016, Revised Selected Papers /
33
Evolutionary Multi-Criterion Optimization [E-Book] : 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings /
34
High Performance Computing [E-Book] : 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings /
35
High Performance Computing [E-Book] : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers /
36
Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science [E-Book] : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, Revised Selected Papers /
37
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges [E-Book] : 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers /
38
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV [E-Book] : Special Issue on Database- and Expert-Systems Applications /
39
Smart Card Research and Advanced Applications [E-Book] : 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Papers /
40
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVI [E-Book] : Special Issue on Data Warehousing and Knowledge Discovery /