formalmethods | Akateeminen Kirjakauppa

Remke, Anne; Steffen, Bernhard
Springer
2025
Pehmeäkantinen kirja

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

Lamprecht, Anna-Lena
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Springer
2018
Pehmeäkantinen kirja

Bensalem, Saddek; Lakhnech, Yassine; Legay, Axel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

Cremers, Cas; Lehmann, Anja
Springer
2018
Pehmeäkantinen kirja

Gribaudo, Marco; Jansen, David N.; Remke, Anne
Springer
2020
Pehmeäkantinen kirja

Pun, Violet Ka I; Stolz, Volker; Simao, Adenilso
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

Kalenkova, Anna; Lozano, Jose A.; Yavorskiy, Rostislav
Springer
2021
Pehmeäkantinen kirja

Ciardo, Gianfranco; Kindler, Ekkart
Springer International Publishing AG
2014
Pehmeäkantinen kirja

Ábrahám, Erika; Palamidessi, Catuscia
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

Abraham, Erika; Havelund, Klaus
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

Klein, Gerwin; Gamboa, Ruben
Springer
2014
Pehmeäkantinen kirja

Chaudhuri, Swarat; Farzan, Azadeh
Springer International Publishing AG
2016
Pehmeäkantinen kirja

Jones, Cliff B.
Springer
2020
Kovakantinen kirja

Deng, Dun; Liu, Fenrong; Liu, Mingming; Westerståhl, Dag
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2020
Pehmeäkantinen kirja

Ben Hedia, Belgacem; Chen, Yu-Fang; Liu, Gaiyun; Yu, Zhenhua
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

Collart-Dutilleul, Simon
Springer Nature Switzerland AG
2021
Kovakantinen kirja

Jones, Cliff B.
Springer
2021
Pehmeäkantinen kirja

Zhou, Yuan; Teo, Sin G.; Xie, Xiaofei; Ding, Zuohua; Liu, Yang
Springer
2025
Pehmeäkantinen kirja