counterfeit 发表于 2025-3-21 19:53:10

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

reflection 发表于 2025-3-22 00:14:05

978-3-642-01134-4Springer-Verlag Berlin Heidelberg 2012

glomeruli 发表于 2025-3-22 00:52:25

http://reply.papertrans.cn/11/1024/102387/102387_3.png

remission 发表于 2025-3-22 05:13:26

http://reply.papertrans.cn/11/1024/102387/102387_4.png

bisphosphonate 发表于 2025-3-22 12:36:02

http://reply.papertrans.cn/11/1024/102387/102387_5.png

AWL 发表于 2025-3-22 16:12:42

http://reply.papertrans.cn/11/1024/102387/102387_6.png

蛙鸣声 发表于 2025-3-22 18:56:01

Reiter Defaults and Autoepistemic Logicsetzer sind große, komplexe Softwaresysteme.Wie entwickelt man Systeme mit den Attributen „groß“ und „komplex“? Man tut sich leichter, wenn man eine Zerlegung des Gesamtsystems in Teilsysteme (Komponenten) wohl definierter und gut verstandener Funktionalität hat. Diese Struktur sollte zusätzlich sin

CORD 发表于 2025-3-22 21:25:36

Deontic Logic, Contrary-to-Duty Obligationsikation dieser Aufgabe ein. Schließlich zeigen wir, wie endliche Automaten für die Realisierung eingesetzt werden können. Wir erläutern, wie man zu einem regulären Ausdruck einen nichtdeterministischen endlichen Automaten erzeugt, der genau die von dem regulären Ausdruck beschriebene Sprache akzepti

nostrum 发表于 2025-3-23 01:50:21

Reiter Defaults and Autoepistemic Logicaktische Struktur des Programms zu identifizieren. Die syntaktische Struktur gibt an, wie die verschiedenen syntaktischen Einheiten des Programms ineinander geschachtelt sind. Syntaktische Einheiten in imperativen Sprachen sind z. B. Variablen, Ausdrücke, Anweisungen, Anweisungsfolgen und Deklaratio

insert 发表于 2025-3-23 06:49:04

http://reply.papertrans.cn/11/1024/102387/102387_10.png
页: [1] 2 3 4
查看完整版本: Titlebook: Übersetzerbau; Band 2: Syntaktische Reinhard Wilhelm,Helmut Seidl,Sebastian Hack Textbook 2012 Springer-Verlag Berlin Heidelberg 2012 Analy