7 1 10 Dirk Beyer Editor Ana Cavalcanti Editor mixed material 9783031572593 Switzerland Springer Cham 2024 Fundamental Approaches to Software Engineering cover_fundamental-approaches-to-software-engineering-20240803083321.jpg Martin Lackner Primary Author Piotr Skowron Primary Author mixed material 9783031090165 Switzerland Springer Cham 2022 cover_multi-winner-voting-with-approval-preferences-20240806083947.jpg Kazushi Ikeda Editor Yoshiumi Kawamura Editor Kazuhisa Makino Editor Satoshi Tsujimoto Editor Nobuo Yamashita Editor Shintaro Yoshizawa Editor Hanna Sumita Editor mixed material 9789819997725 Switzerland Springer Cham 2024 cover_advanced-mathematical-science-for-mobility-society-20240731132353.jpg Jianfeng Xu Primary Author Shuliang Wang Primary Author Zhenyu Liu Primary Author Yashi Wang Primary Author Yingfei Wang Primary Author Yingxu Dang Primary Author mixed material 9789811999291 Switzerland Springer Cham 2023 Objective Information Theory cover_objective-information-theory-20240803084741.jpg Nataša Jonoska Editor Erik Winfree Editor mixed material 9789811998911 Switzerland Springer Cham 2023 cover_visions-of-dna-nanotechnology-at-40-for-the-next-40-20240806084738.jpg Einar Broch Johnsen Editor Manuel Wimmer Editor mixed material 9783030994297 Switzerland Springer Cham 2022 cover_fundamental-approaches-to-software-engineering-20240807092338.jpg Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 Primary Author Whalen, Michael Primary Author mixed material 9783854480464 Vienna TU Wien Academic Press 2021 Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 cover_proceedings-of-the-21st-conference-on-formal-methods-in-computer-aided-20240504124300.jpg