Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
19.3% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи 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
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×