-
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
-
Information Security Practice and Experience – 19th International Conference, ISPEC 2024, Wuhan, China, October 25–27, 2024, Proceedings
Xia, Zhe ; Chen, Jiageng 2025 Springer Nature Singapore, Imprint: Springer
-
Engineering Psychology and Cognitive Ergonomics – 22nd International Conference, EPCE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I
Harris, Don ; Li, Wen-Chin 2025 Springer Nature Switzerland, Imprint: Springer
-
Engineering Psychology and Cognitive Ergonomics – 22nd International Conference, EPCE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II
Harris, Don ; Li, Wen-Chin 2025 Springer Nature Switzerland, Imprint: Springer
-
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
-
Computational Science and Its Applications – ICCSA 2025 Workshops – Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part IX
Gervasi, Osvaldo ; Murgante, Beniamino ; Garau, Chiara ; Karaca, Yeliz ; Faginas Lago, Maria Noelia ; Scorza, Francesco ; Braga, Ana Cristina 2026 Springer Nature Switzerland, Imprint: Springer
-
Bulk-Driven Circuit Techniques for CMOS FDSOI Processes – From Circuit Concept to Implementations
Gerfers, Friedel 2025 Springer Nature Switzerland, Imprint: Springer
-
Advances in Computer Graphics – 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1–5, 2024, Proceedings, Part III
Magnenat-Thalmann, Nadia ; Kim, Jinman ; Sheng, Bin ; Deng, Zhigang ; Thalmann, Daniel ; Li, Ping 2025 Springer Nature Switzerland, Imprint: Springer
-
Internet of Things, Smart Spaces, and Next Generation Networks and Systems – 24th International Conference, NEW2AN 2024, and 17th Conference, ruSMART 2024, Marrakesh, Morocco, December 11–12, 2024, Proceedings, Part II
Koucheryavy, Yevgeni ; Aziz, Ahmed 2026 Springer Nature Switzerland, Imprint: Springer
-
Engineering Trustworthy Software Systems – 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures
Bowen, Jonathan P. ; Gomes, Cláudio ; Liu, Zhiming 2025 Springer Nature Singapore, Imprint: Springer
-
Computational Science and Its Applications – ICCSA 2025 Workshops – Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part VI
Gervasi, Osvaldo ; Murgante, Beniamino ; Garau, Chiara ; Karaca, Yeliz ; Faginas Lago, Maria Noelia ; Scorza, Francesco ; Braga, Ana Cristina 2026 Springer Nature Switzerland, Imprint: Springer
-
Internet of Things, Smart Spaces, and Next Generation Networks and Systems – 24th International Conference, NEW2AN 2024, and 17th Conference, ruSMART 2024, Marrakesh, Morocco, December 11–12, 2024, Proceedings, Part I
Koucheryavy, Yevgeni ; Aziz, Ahmed 2026 Springer Nature Switzerland, Imprint: Springer
-
Smart Grid and Internet of Things – 8th EAI International Conference, SGIoT 2024, Taichung, Taiwan, November 23–24, 2024, Proceedings
Deng, Der-Jiunn ; Chen, Jyh-Cheng 2026 Springer Nature Switzerland, Imprint: Springer
-
Smart Cities – 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12–14, 2024, Revised Selected Papers
Nesmachnow, Sergio ; Hernández Callejo, Luis 2025 Springer Nature Switzerland, Imprint: Springer
-
Computational Science and Its Applications – ICCSA 2025 Workshops – Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part IV
Gervasi, Osvaldo ; Murgante, Beniamino ; Garau, Chiara ; Karaca, Yeliz ; Faginas Lago, Maria Noelia ; Scorza, Francesco ; Braga, Ana Cristina 2026 Springer Nature Switzerland, Imprint: Springer
-
Pattern Recognition – 46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10–13, 2024, Proceedings, Part II
Cremers, Daniel ; Lähner, Zorah ; Moeller, Michael ; Nießner, Matthias ; Ommer, Björn ; Triebel, Rudolph 2025 Springer Nature Switzerland, Imprint: Springer
-
Applications of Evolutionary Computation – 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23–25, 2025, Proceedings, Part II
García-Sánchez, Pablo ; Hart, Emma ; Thomson, Sarah L. 2025 Springer Nature Switzerland, Imprint: Springer
-
Information and Communication Technologies (ICT) for the intelligent operation of building energy systems: design, implementation and evaluation in a living lab
Redder, Florian ; Althaus, Philipp ; Ubachukwu, Eziama ; Mork, Maximilian ; Johnen, Sascha ; Küpper, Christian ; Lieberenz, Paul ; Oden, Marieluise ; Westphal, Lidia ; Storek, Thomas ; Xhonneux, André ; Müller, Dirk
-
New Media Pedagogy: Research Trends, Methodological Challenges, and Successful Implementations – Third International Conference, NMP 2024, Kraków, Poland, November 28–29, 2024, Revised Selected Papers
Tomczyk, Łukasz 2025 Springer Nature Switzerland, Imprint: Springer