弄混 发表于 2025-3-21 17:33:23

书目名称Software Engineering and Formal Methods影响因子(影响力)<br>        http://impactfactor.cn/if/?ISSN=BK0870816<br><br>        <br><br>书目名称Software Engineering and Formal Methods影响因子(影响力)学科排名<br>        http://impactfactor.cn/ifr/?ISSN=BK0870816<br><br>        <br><br>书目名称Software Engineering and Formal Methods网络公开度<br>        http://impactfactor.cn/at/?ISSN=BK0870816<br><br>        <br><br>书目名称Software Engineering and Formal Methods网络公开度学科排名<br>        http://impactfactor.cn/atr/?ISSN=BK0870816<br><br>        <br><br>书目名称Software Engineering and Formal Methods被引频次<br>        http://impactfactor.cn/tc/?ISSN=BK0870816<br><br>        <br><br>书目名称Software Engineering and Formal Methods被引频次学科排名<br>        http://impactfactor.cn/tcr/?ISSN=BK0870816<br><br>        <br><br>书目名称Software Engineering and Formal Methods年度引用<br>        http://impactfactor.cn/ii/?ISSN=BK0870816<br><br>        <br><br>书目名称Software Engineering and Formal Methods年度引用学科排名<br>        http://impactfactor.cn/iir/?ISSN=BK0870816<br><br>        <br><br>书目名称Software Engineering and Formal Methods读者反馈<br>        http://impactfactor.cn/5y/?ISSN=BK0870816<br><br>        <br><br>书目名称Software Engineering and Formal Methods读者反馈学科排名<br>        http://impactfactor.cn/5yr/?ISSN=BK0870816<br><br>        <br><br>

神经 发表于 2025-3-21 21:27:03

978-3-319-66196-4Springer International Publishing AG 2017

DOTE 发表于 2025-3-22 02:10:37

http://reply.papertrans.cn/88/8709/870816/870816_3.png

PAEAN 发表于 2025-3-22 05:26:11

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/870816.jpg

火车车轮 发表于 2025-3-22 09:21:16

http://reply.papertrans.cn/88/8709/870816/870816_5.png

contrast-medium 发表于 2025-3-22 14:01:09

http://reply.papertrans.cn/88/8709/870816/870816_6.png

acrimony 发表于 2025-3-22 19:27:51

http://reply.papertrans.cn/88/8709/870816/870816_7.png

Tremor 发表于 2025-3-23 00:45:13

Bjørnar Luteberget,John J. Camilleri,Christian Johansen,Gerardo Schneider mathematische Problemstellungen mit Hilfe dieser Systeme lösen lassen. Ausführliche Lösungen zu den meisten Übungen werden im Anhang bereitgestellt. Das Buch ist ab dem ersten Semester verwendbar, ist aber auch zum Selbststudium geeignet.978-3-540-66058-3978-3-642-60222-1

indigenous 发表于 2025-3-23 03:05:46

Laura Bozzelli,Alberto Molinari,Angelo Montanari,Adriano Peron mathematische Problemstellungen mit Hilfe dieser Systeme lösen lassen. Ausführliche Lösungen zu den meisten Übungen werden im Anhang bereitgestellt. Das Buch ist ab dem ersten Semester verwendbar, ist aber auch zum Selbststudium geeignet.978-3-540-66058-3978-3-642-60222-1

Fermentation 发表于 2025-3-23 08:35:49

http://reply.papertrans.cn/88/8709/870816/870816_10.png
页: [1] 2 3 4 5 6 7
查看完整版本: Titlebook: Software Engineering and Formal Methods; 15th International C Alessandro Cimatti,Marjan Sirjani Conference proceedings 2017 Springer Intern