军械 发表于 2025-3-21 16:04:19

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

加花粗鄙人 发表于 2025-3-21 23:14:26

http://reply.papertrans.cn/88/8709/870805/870805_2.png

Directed 发表于 2025-3-22 02:08:56

rmal geometric methods have played important roles in engineering fields..This work introduces a theoretically rigorous and practically efficient method for computing Riemannian metrics with prescribed Gaussian curvatures on discrete surfaces—discrete surface Ricci flow, whose continuous counter par

CLEFT 发表于 2025-3-22 05:07:57

Ross Horne,Timur Umarovl surface and the support function can be seen as dual implicitization. The support function can be used to parameterize a surface by its inverse Gauss map. This map makes it relatively simple to study isophotes (which are simply images of spherical circles) and offset surfaces (which are obtained b

Gastric 发表于 2025-3-22 11:32:14

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

抗原 发表于 2025-3-22 14:36:39

Giovanni Bernardi,Matthew Hennessyess inherent in practical problems and data.Includes supplem."Mathematics of Uncertainty" provides the basic ideas and foundations of uncertainty, covering the fields of mathematics in which uncertainty, variability, imprecision and fuzziness of data are of importance. This introductory book describ

丰富 发表于 2025-3-22 17:59:56

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

Glucose 发表于 2025-3-22 21:32:59

http://reply.papertrans.cn/88/8709/870805/870805_8.png

Hemodialysis 发表于 2025-3-23 05:16:36

http://reply.papertrans.cn/88/8709/870805/870805_9.png

一个姐姐 发表于 2025-3-23 07:15:44

Andreas Ibingess inherent in practical problems and data.Includes supplem."Mathematics of Uncertainty" provides the basic ideas and foundations of uncertainty, covering the fields of mathematics in which uncertainty, variability, imprecision and fuzziness of data are of importance. This introductory book describ
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Software Engineering and Formal Methods; SEFM 2013 Collocated Steve Counsell,Manuel Núñez Conference proceedings 2014 Springer Internationa