寄付 2024年9月15日 – 2024年10月1日
募金について
本の検索
本
寄付:
58.5% 完了
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
Handbook of Truly Concurrent Process Algebra
Morgan Kaufmann [MK], Morgan Kaufmann Publishers, Elsevier
Yong Wang
bisimulation
denoted
τi
corresponding
probabilistic
strongly
concurrent
prove
transition
pomset
omit
αn
step
sending
α1
reading
hhp
sends
theorem
receives
kab
transitions
sufficient
desired
protocol
cpkb
resource
phhp
php
recursion
processes
generates
cpkt
aptc
handbook
function
gnskt
ckab
linear
modulo
weakly
branching
atomic
computations
alice
event
reverse
processing
so1
pairwise
年:
2024
言語:
english
ファイル:
PDF, 8.96 MB
あなたのタグ:
0
/
5.0
english, 2024
2
Handbook of Truly Concurrent Process Algebra
Morgan Kaufmann [MK], Morgan Kaufmann Publishers, Elsevier
Yong Wang
bisimulation
denoted
τi
corresponding
probabilistic
strongly
concurrent
prove
transition
pomset
omit
αn
step
sending
α1
reading
hhp
sends
theorem
receives
kab
transitions
sufficient
desired
protocol
cpkb
resource
phhp
php
recursion
processes
generates
cpkt
aptc
handbook
function
gnskt
ckab
linear
modulo
weakly
branching
atomic
computations
alice
event
reverse
processing
so1
pairwise
年:
2024
言語:
english
ファイル:
PDF, 14.77 MB
あなたのタグ:
0
/
5.0
english, 2024
3
Handbook of Truly Concurrent Process Algebra
Morgan Kaufmann [MK], Morgan Kaufmann Publishers, Elsevier
Yong Wang
bisimulation
denoted
τi
corresponding
probabilistic
strongly
concurrent
prove
transition
pomset
omit
αn
step
sending
α1
reading
hhp
sends
theorem
receives
kab
transitions
sufficient
desired
protocol
cpkb
resource
phhp
php
recursion
processes
generates
cpkt
aptc
handbook
function
gnskt
ckab
linear
modulo
weakly
branching
atomic
computations
alice
event
reverse
processing
so1
pairwise
年:
2024
言語:
english
ファイル:
PDF, 14.77 MB
あなたのタグ:
0
/
5.0
english, 2024
4
Handbook of Truly Concurrent Process Algebra
Elsevier
Yong Wang
bisimulation
denoted
τi
corresponding
probabilistic
strongly
concurrent
prove
transition
pomset
omit
αn
step
sending
α1
reading
hhp
sends
theorem
receives
kab
transitions
sufficient
desired
protocol
cpkb
resource
phhp
php
recursion
processes
generates
cpkt
aptc
handbook
function
gnskt
ckab
linear
modulo
weakly
branching
atomic
computations
alice
event
reverse
processing
so1
pairwise
年:
2023
言語:
english
ファイル:
PDF, 14.98 MB
あなたのタグ:
0
/
5.0
english, 2023
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×