有判断力
发表于 2025-3-21 17:09:21
书目名称Recent Trends in Algebraic Development Techniques影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0823384<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0823384<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0823384<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0823384<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0823384<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0823384<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0823384<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0823384<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0823384<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0823384<br><br> <br><br>
无能性
发表于 2025-3-21 23:11:45
http://reply.papertrans.cn/83/8234/823384/823384_2.png
多嘴多舌
发表于 2025-3-22 01:19:54
http://reply.papertrans.cn/83/8234/823384/823384_3.png
连系
发表于 2025-3-22 07:10:52
http://reply.papertrans.cn/83/8234/823384/823384_4.png
白杨鱼
发表于 2025-3-22 10:24:19
978-3-540-64299-2Springer-Verlag Berlin Heidelberg 1998
lacrimal-gland
发表于 2025-3-22 16:34:55
Recent Trends in Algebraic Development Techniques978-3-540-69719-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
BYRE
发表于 2025-3-22 17:18:32
Conference proceedings 1998, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types,
MURAL
发表于 2025-3-22 22:31:29
0302-9743 , WADT ‘98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract da
转向
发表于 2025-3-23 04:15:28
http://reply.papertrans.cn/83/8234/823384/823384_9.png
Extort
发表于 2025-3-23 07:19:02
http://reply.papertrans.cn/83/8234/823384/823384_10.png