kitab axtarışı
kitablar
Dəstək ol
Giriş
Giriş
Avtorizasiyadan keçmiş istifadəçilər üçün aşağıdakılar mövcuddur:
fərdi tövsiyələr
Telegram botu
yükləmə tarixçəsi
Email-a və ya Kindle-a göndərmək
seçimin idarə edilməsi
seçilmişlərə əlavə edilməsi
Şəxsi
Kitab sorğuları
Öyrənməsi
Z-Recommend
Kitab siyahısı
Ən məşhurları
Kateqoriyalar
İştirak
Dəstək ol
Yükləmələr
Litera Library
Kağız kitabları iadə edin
Kağız kitabları əlavə edin
Search paper books
Mənim LITERA Point'um
Açar sözlərin axtarışı
Main
Açar sözlərin axtarışı
search
1
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Springer
Kurt Jensen
,
Lars M. Kristensen
marking
packet
transition
protocol
function
binding
module
packets
timed
markings
recv
nets
multiset
tokens
transmit
network
ack
simulation
noxdata
definition
nodes
petri
arcs
occurrence
node
transitions
models
initial
receiver
enabled
nextsend
delay
element
first
analysis
sender
shows
shown
tools
scc
hierarchical
modelling
reachable
defined
nextrec
spaces
sets
method
input
sendpacket
İl:
2009
Dil:
english
Fayl:
PDF, 3.53 MB
Sizin teqləriniz:
5.0
/
5.0
english, 2009
1
bu linkə
keçid edin və ya Telegramda "@BotFather" botunu axtarın
2
/newbot komandanı göndərin
3
Botunuzun adını qeyd edin
4
Bot üçün istifadəçi adını qeyd edin
5
BotFather-dən gələn son mesajını kopyalayıb bura daxil edin
×
×