本の検索
本
ドネーション
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
Application and Theory of Petri Nets and Concurrency: 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Springer International Publishing
Susanna Donatelli
,
Stefan Haar
nets
petri
transition
transitions
marking
sts
lemma
systems
doi.org
algorithm
defined
markings
reachability
reachable
definition
springer
initial
bounded
first
graph
event
interval
step
abs
sigt
processes
lncs
firing
saturation
models
variables
theorem
approach
node
exists
finite
sect
coverability
enabled
corresponding
abstract
synthesis
occurrence
sets
function
define
trace
different
tokens
consider
年:
2019
言語:
english
ファイル:
PDF, 17.45 MB
あなたのタグ:
0
/
0
english, 2019
2
Optimal Engineering Design: Principles and Applications
CRC Press
James N. Siddall
optimization
values
variables
function
method
zero
ncons
nequs
psi
constraints
search
optimum
maximum
subroutine
constraint
programming
step
solution
methods
xstrt
input
rmax
curves
diameter
nviol
linear
functions
reduce
npenal
rmin
specifications
feasible
penalty
techniques
shown
criterion
abs
output
dimension
inequality
iprint
random
weight
4sl
strategy
matrix
convergence
required
examples
appendix
年:
1982
言語:
english
ファイル:
PDF, 20.01 MB
あなたのタグ:
5.0
/
5.0
english, 1982
3
RSA and PUBLIC-KEY CRYPTOGRAPHY
Richard A. Mollin
alice
signature
protocol
key
sends
computes
identification
alice’s
rsa
ecash
mallory
sigk
step
random
crc
llc
signatures
compute
brands
verification
algorithm
security
dsa
elgamal
trent
card
legitimate
schemes
selects
accepts
authentication
schnorr
secure
valid
vendor
challenge
exercises
signing
commerce
response
schnorr’s
verify
α2
bob’s
certificate
dlp
impersonation
modulo
protocols
setup
年:
2007
言語:
english
ファイル:
PDF, 789 KB
あなたのタグ:
0
/
0
english, 2007
4
Last of the Morticians
Galaxy
E. C. Tubb
ephraim
casket
profession
ceremony
forks
mutes
burial
bury
burying
fifteen
funeral
rigelian
saul
wasn
anyway
candy
decent
doll
fingle
finished
gesligk
isn
march
quit
rangk
scowled
sigk
silver
tavern
tributes
wants
accidents
admit
allowed
ambassador
bearers
bedroom
blake
businessman
carrying
chadwell
couldn
crossing
dignity
dolls
doors
faded
false
floral
grin
年:
1959
言語:
english
ファイル:
EPUB, 99 KB
あなたのタグ:
0
/
0
english, 1959
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×