pencarian buku
buku
Mendukung
Masuk
Masuk
pengguna terdaftar memiliki akses ke:
rekomendasi pribadi
Bot Telegram
riwayat unduhan
mengirim ke alamat email atau Kindle
manajemen daftar buku
penyimpanan ke Favorit
Pribadi
Permintaan untuk buku
Pengkajian
Z-Recommend
Daftar buku
Yang paling populer
Kategori
Partisipasi
Mendukung
Unggahan
Litera Library
Menyumbangkan buku kertas
Menambah buku kertas
Search paper books
LITERA Point saya
Pencarian kata kunci
Main
Pencarian kata kunci
search
1
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
Rumpe Bernhard
automaten
menge
semantik
agenten
gilt
transitionen
folgt
funktionen
definiert
transition
abbildung
automat
zustand
definieren
beweis
ausgabe
proposition
funktion
komponente
verwendet
klassen
verfeinerung
automatendokumente
daher
systemmodell
zustände
eingabe
fix.a
nachrichten
dokumente
folgende
aussage
darstellung
siehe
mengen
beschreibungstechniken
systems
besitzt
beschreibt
entwicklungsschritte
objektmodell
abschnitt
angegeben
erlaubt
syntax
beispiel
dokumentgraphen
systementwicklung
eigenschaften
methoden
Tahun:
1996
Bahasa:
english
File:
DJVU, 1.56 MB
Tag Anda:
0
/
0
english, 1996
2
Bildanalyse allgemeiner Dokumente
Springer-Verlag Berlin Heidelberg
Wolfgang Scherl (auth.)
bild
verfahren
knoten
graphen
grafik
kanten
zeigt
einzelnen
muster
kante
sowie
hierzu
z.b
bzw
anhand
zeiger
wortknoten
musters
errechnet
kette
produktionen
seiten
uber
deskriptor
dokumentgraphen
graphkomponenten
bedeutung
bezeichnet
deskriptoren
struktur
aufbau
folgenden
grammatik
grammatiken
innerhalb
symbole
zeigen
beispiel
anzahl
klassen
innenrand
sowohl
zugeordnet
buchstaben
dagm
dokumentes
dokumentmuster
aile
objekte
beschrieben
Tahun:
1987
Bahasa:
german
File:
PDF, 10.64 MB
Tag Anda:
0
/
0
german, 1987
3
Bildanalyse allgemeiner Dokumente
Springer-Verlag Berlin Heidelberg
Wolfgang Scherl (auth.)
bild
cfl
verfahren
knoten
grafik
graphen
kanten
zeigt
einzelnen
öd
kante
muster
sowie
hierzu
anhand
z.b
bzw
wortknoten
c_i
seiten
zeiger
errechnet
produktionen
musters
graphkomponenten
kette
dokumentgraphen
deskriptor
deskriptoren
grammatiken
zeigen
bedeutung
bezeichnet
folgenden
symbole
grammatik
innerhalb
beispiel
klassen
struktur
aufbau
dokumentmuster
gemäß
anzahl
dagm
sowohl
zugeordnet
dokumentes
beschrieben
herausgegeben
Tahun:
1987
Bahasa:
german
File:
DJVU, 3.58 MB
Tag Anda:
0
/
0
german, 1987
1
Pindah ke
tautan ini
atau temukan bot "@BotFather" di Telegram
2
Kirimlah perintah /newbot
3
Masukkan nama untuk bot Anda
4
Masukkan nama pengguna untuk bot
5
Salin pesan terbaru dari BotFather dan masukkannya di sini
×
×