Inexorable
发表于 2025-3-23 12:34:25
http://reply.papertrans.cn/63/6270/626959/626959_11.png
burnish
发表于 2025-3-23 16:36:29
http://reply.papertrans.cn/63/6270/626959/626959_12.png
OPINE
发表于 2025-3-23 19:38:10
Jeremy Gibbons,Donnacha Oisín Kidney,Tom Schrijvers,Nicolas Wuuction into the subject while some others form an advanced textbook. The intended audience is graduate and PhD students and researchers in the theory of partial differential equations or in mathematical modelling of distributed parameter systems..978-3-7643-7397-9Series ISSN 0373-3149 Series E-ISSN 2296-6072
腼腆
发表于 2025-3-24 01:51:54
http://reply.papertrans.cn/63/6270/626959/626959_14.png
aspersion
发表于 2025-3-24 03:26:53
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626959.jpg
keloid
发表于 2025-3-24 10:29:14
http://reply.papertrans.cn/63/6270/626959/626959_16.png
Bouquet
发表于 2025-3-24 12:51:23
0302-9743 n Tbilisi, Georgia, in September 2022. .The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs..978-3-031-16911-3978-3-031-16912-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
Anticoagulants
发表于 2025-3-24 15:10:54
https://doi.org/10.1007/978-3-031-16912-0artificial intelligence; automata theory; computer networks; computer programming; computer systems; data
改变立场
发表于 2025-3-24 21:12:31
978-3-031-16911-3The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl
万花筒
发表于 2025-3-24 23:21:13
Mathematics of Program Construction978-3-031-16912-0Series ISSN 0302-9743 Series E-ISSN 1611-3349