Ved at vælge "Accepter alle", giver du Rakuten Kobo og deres partnere tilladelse til at bruge cookies, sporing og lignende teknologier til at indsamle dine personlige data og behandle dem til følgende formål: at drive hjemmesiden og Kobos tjenester og sikre, at de fungerer korrekt, at levere personligt tilpasset indhold til dig på Kobo og annoncere for Kobo på andre platforme, og at måle analyser og analysere, hvordan vores hjemmeside og tjenester bliver brugt. Ellers skal du klikke på "Afvis" nedenfor for at afvise alle ikke-væsentlige formål eller se "Databeskyttelsesindstillinger" for at administrere dine præferencer for hvert formål. Læs vores Databeskyttelsespolitik.
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
Kobo giver bogelskere mulighed for at læse mere.
Miao Pan, Jingyi Wang, Sai Mounika Errapotu, Xinyue Zhang, Jiahao Ding, Zhu Han
466,97 kr.
Martin Fränzle, Deepak Kapur, Naijun Zhan
466,97 kr.
Naijun Zhan, Shuling Wang, Hengjun Zhao
1.027,44 kr.
Vær den første til at bedømme og anmelde denne bog!
Sriram Sankaranarayanan, Natasha Sharygina
Heather Yu, C. V. Ramamoorthy, Arvind K. Joshi, Lotfi A. Zadeh, Phillip C.-Y. Sheu
1.219,61 kr.
Holger Hermanns, Jun Sun, Lei Bu
747,20 kr.
Timothy Bourke, Liqian Chen, Amir Goharshady
747,20 kr.
Shengchao Qin, Jim Woodcock, Wenhui Zhang
700,49 kr.
Wei Dong, Jean-Pierre Talpin
607,08 kr.
Sven Hartmann, Josef Küng, Gabriele Kotsis, A Min Tjoa, Ismail Khalil
466,97 kr.
Xin Wang, Maria Luisa Sapino, Wook-Shin Han, Amr El Abbadi, Gill Dobbie, Zhiyong Feng, Yingxiao Shao, Hongzhi Yin
934,02 kr.
Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato
840,61 kr.
Amir Goharshady, Christoph Haase
681,81 kr.
Zhisheng Huang, Wouter Beek, Hua Wang, Rui Zhou, Yanchun Zhang
466,97 kr.
Zhi Jin, Yuncheng Jiang, Robert Andrei Buchmann, Yaxin Bi, Ana-Maria Ghiran, Wenjun Ma
747,20 kr.
Jinguang Han, Yang Xiang, Guang Cheng, Willy Susilo, Liquan Chen
747,20 kr.
Edward Curry, Maribel Acosta, Maria Poveda-Villalón, Marieke van Erp, Adegboyega Ojo, Katja Hose, Cogan Shimizu, Pasquale Lisena
700,49 kr.
De-Shuang Huang, Chuanlei Zhang, Wei Chen, Bo Li, Qinhu Zhang, Wenzheng Bao, Yijie Pan, Prashan Premaratne
747,20 kr.
Vytautas Štuikys, Robertas Damaševičius
840,61 kr.
Giuseppe Amato, Vladimir Mic, Agma Traina, Nicola Messina, Laurent Amsaleg, Gylfi Þór Guðmundsson, Björn Þór Jónsson, Lucia Vadicamo
607,08 kr.
Yu Weng, Yuyu Yin, Li Kuang, Zijian Zhang
466,97 kr.
Nadia Tawbi, Nora Cuppens-Boulahia, Lingyu Wang, Frédéric Cuppens, Joaquin Garcia-Alfaro
466,97 kr.
Yulei Wu, Fei Hu, Geyong Min, Albert Y. Zomaya
538,03 kr.
Sokratis Katsikas, Christos Xenakis, Christos Kalloniatis, Costas Lambrinoudakis
700,49 kr.
Radi Petrov Romansky, Nikolay Lyuboslavov Hinov
2.297,50 kr.
Christos Faloutsos, Philip S. Yu, Jiawei Han
1.868,14 kr.
Haofen Wang, Xianpei Han, Ming Liu, Gong Cheng, Yongbin Liu, Ningyu Zhang
747,20 kr.
Bohan Li, Lin Yue, Jing Jiang, Weitong Chen, Xue Li, Guodong Long, Fei Fang, Han Yu
700,49 kr.
Honghao Gao, Xinheng Wang, Nikolaos Voros
840,61 kr.
Daniel Garijo, Sabrina Kirrane, Angelo Salatino, Cogan Shimizu, Maribel Acosta, Andrea Giovanni Nuzzolese, Sebastián Ferrada, Thibaut Soulard, Kouji Kozaki, Hideaki Takeda, Anna Lisa Gentile
747,20 kr.
Weili Guan, Xuemeng Song, Dongliang Zhou, Liqiang Nie
373,55 kr.
Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider
466,97 kr.
Wenjie Zhang, Lei Zou, Zakaria Maamar, Lu Chen
840,61 kr.
Christian S. Jensen, Ee-Peng Lim, De-Nian Yang, Wang-Chien Lee, Vincent S. Tseng, Vana Kalogeraki, Jen-Wei Huang, Chih-Ya Shen
840,61 kr.
