寄付 2024年9月15日 – 2024年10月1日
募金について
本の検索
本
寄付:
60.7% 完了
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
The Book of Traces
World Scientific
V Diekert
,
G Rozenberg
trace
traces
finite
downloaded
www.worldscientific.com
graph
defined
proposition
recognizable
dependence
alph
rational
monoid
systems
lemma
graphs
complex
theorem
asynchronous
commutation
transition
figure
trobe
infinite
institute
exists
weizmann
function
morphism
automata
prove
partial
structures
letter
product
monoids
consider
define
concurrent
concatenation
rec
labelled
induction
automaton
denote
formula
sets
prefix
subset
implies
年:
1995
言語:
english
ファイル:
PDF, 24.00 MB
あなたのタグ:
0
/
0
english, 1995
2
Über die Erkennbarkeit unendlicher Spuren
Vieweg+Teubner Verlag
unknown
automaten
gilt
büchi
spuren
alph
folgt
satz
wobei
diamant
bzw
menge
automat
existiert
rec
asynchron
alphinf
berechnung
deterministische
zeigen
konstruktion
asynchrone
folgenden
wörter
bedingung
spursprachen
abbildung
d.h
eigenschaft
gegeben
beweis
deterministischer
monoid
weiterhin
existieren
homomorphismus
akzeptiert
erkennbarkeit
abgeschlossen
bezeichnet
endliche
erkennbare
folgende
unendlicher
erkannt
unendlich
deterministischen
falls
mengen
zustände
beachte
年:
1996
言語:
german
ファイル:
PDF, 9.15 MB
あなたのタグ:
0
/
4.0
german, 1996
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×