相持不下 发表于 2025-3-21 18:48:28

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

conservative 发表于 2025-3-21 21:25:27

http://reply.papertrans.cn/59/5810/580922/580922_2.png

OREX 发表于 2025-3-22 01:16:22

http://reply.papertrans.cn/59/5810/580922/580922_3.png

小歌剧 发表于 2025-3-22 05:01:26

http://reply.papertrans.cn/59/5810/580922/580922_4.png

Truculent 发表于 2025-3-22 11:14:09

http://reply.papertrans.cn/59/5810/580922/580922_5.png

不满分子 发表于 2025-3-22 15:41:26

kanntmachungen ergibt. Der Bundesanzeiger ist damit für Interessierte zur spannenden Lektüre geworden. Der Vorteil dieser Form der Offenlegung ist, daß die offenlegungspflichtigen Unterlagen im Bundesanzeiger vollständig zur Verfügung stehen und ohne zusätzliche Kosten in Bibliotheken eingesehen wer

Indelible 发表于 2025-3-22 18:25:14

http://reply.papertrans.cn/59/5810/580922/580922_7.png

吊胃口 发表于 2025-3-23 01:03:33

https://doi.org/10.1007/978-3-642-03153-3Coq; abstract syntax; combinator parsing; concrete syntax; context-free grammar; dependent types; domain-s

Carcinogenesis 发表于 2025-3-23 02:37:25

http://reply.papertrans.cn/59/5810/580922/580922_9.png

gusher 发表于 2025-3-23 06:58:59

http://reply.papertrans.cn/59/5810/580922/580922_10.png
页: [1] 2 3 4
查看完整版本: Titlebook: Language Engineering and Rigorous Software Development; International LerNet Ana Bove,Luís Soares Barbosa,Jorge Sousa Pinto Textbook 2009 S