募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
22.0% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
创建 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Bibliography on Abstract Data Types
Springer-Verlag Berlin Heidelberg
B. Kutzler
,
F. Lichtenberger (auth.)
abstract
algebraic
specification
specifications
programming
proc
goguen
systems
abstraction
univ
bergstra
implementation
implementations
verification
ehrig
approach
report
etal
zfm
informatik
80b
structures
correctness
broy
initial
algebras
rewriting
formal
programs
lncs
80a
equational
abstraits
ehrich
frg
equations
guttag
parameterized
nourani
abstractions
klaeren
proving
theories
dcs
method
conf
sigplan
methodology
structured
notices
年:
1983
语言:
english
文件:
PDF, 7.87 MB
您的标签:
0
/
0
english, 1983
2
Compilerbau 004
ubersetzung
semantische
semantik
programmiersprache
abstrakte
bereiche
funktionen
inhaltsverzeichnis
korrektheit
statische
syntax
zwischencode
deklarationen
klaeren
anweisungen
ausdr
beispiel
februar
herbert
ocke
pl0
pld
plp
ubingen
arbeitsbereich
blockschachtelung
datenstrukturen
datentypen
deklarationssemantik
eberhard
einfachen
informatik
karls
konstantenfaltung
kurzschlussauswertung
pl.ps.gz
prof
programmierung
prozedurparametern
pu.informatik.uni
schickard
tuebingen.de
ucke
ucken
universit
wilhelm
www
语言:
german
文件:
TXT, 5 KB
您的标签:
0
/
0
german
3
Checkliste: Arbeit beim Kunden
Tsubame
braucht
fuer
kunden
betriebsmittel
verarbeitung
alternativen
falls
fertig
www.tsubame.de
festlegen
getestet
implementierung
schiefgeht
tst
arbeiten
beruecksichtigen
bestimmte
check
kuhlmann
moeglich
ruy
vollstaendig
vorfeld
vorkommen
www.amtrs.de
zustand
abteilung
abweichungen
aktuellen
alternative
analysieren
anlage
anzahl
auftragnehmer
ausfuehren
ausgangspunkt
basteln
beschreibung
besseren
besten
betriebsinternen
bilbox
blogs
bzw
chek
darf
dritten
durchfuehrung
eigentum
einplannen
语言:
german
文件:
PDF, 131 KB
您的标签:
0
/
0
german
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×