შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024
თანხის შეგროვების შესახებ
წიგნების ძებნა
წიგნები
შეწირულობა:
53.4% ამოწურულია
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
ჩემი LITERA Point
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
Kurszk
Gabo
Robert Moore
tengeralattjáró
kurszk
orosz
flotta
eagle
seaway
popov
tengeri
haditengerészet
amerikai
katonai
barents
norvég
mentési
oroszok
nyugati
brit
matróz
tenger
búvárok
rekesz
fedélzetén
csapóajtó
oroszország
verics
osztályú
putyin
műszaki
skorgen
tengernagy
tengeralattjárók
alatti
scott
hátsó
szergej
terület
kolesznyikov
tengeren
augusztus
russell
felszínre
lr5
priz
tengerészek
haditengerészeti
közvetlenül
rekeszben
szén
hadgyakorlat
mentő
წელი:
2019
ენა:
hungarian
ფაილი:
MOBI , 933 KB
თქვენი თეგები:
0
/
0
hungarian, 2019
2
Transactions on Petri nets and other models of concurrency IV
Springer-Verlag Berlin Heidelberg
Jörg Desel (auth.)
,
Kurt Jensen
,
Susanna Donatelli
,
Maciej Koutny (eds.)
ϕ
nets
petri
systems
transition
path
task
formula
organizational
checking
transitions
scheduling
algorithm
parametric
graph
tasks
springer
first
vicinity
lncs
models
heidelberg
processes
event
respecting
search
components
clock
figure
bounded
approach
reachability
workflow
consider
defined
caching
component
exists
lemma
algorithms
function
bmc
different
lcga
memory
πk
organization
schedule
verification
bfs
წელი:
2010
ენა:
english
ფაილი:
PDF, 4.09 MB
თქვენი თეგები:
0
/
0
english, 2010
3
Transactions on Petri Nets and Other Models of Concurrency IV
Springer-Verlag Berlin Heidelberg
Kurt Jensen
,
Susanna Donatelli
,
Maciej Koutny
,
(eds.)
ϕ
nets
petri
systems
transition
path
task
formula
organizational
checking
transitions
scheduling
algorithm
parametric
graph
tasks
springer
first
vicinity
lncs
models
heidelberg
processes
event
respecting
search
components
clock
figure
bounded
approach
reachability
workflow
consider
defined
caching
component
exists
lemma
algorithms
function
bmc
different
lcga
memory
πk
organization
schedule
verification
bfs
წელი:
2010
ენა:
english
ფაილი:
PDF, 4.72 MB
თქვენი თეგები:
0
/
0
english, 2010
4
Transactions on Petri Nets and Other Models of Concurrency IV
Springer-Verlag Berlin Heidelberg
Jörg Desel (auth.)
,
Kurt Jensen
,
Susanna Donatelli
,
Maciej Koutny (eds.)
ϕ
nets
petri
systems
transition
path
task
formula
organizational
checking
transitions
scheduling
algorithm
parametric
graph
tasks
springer
first
vicinity
lncs
models
heidelberg
processes
event
respecting
search
components
clock
figure
bounded
approach
reachability
workflow
consider
defined
caching
component
exists
lemma
algorithms
function
bmc
different
lcga
memory
πk
organization
schedule
verification
bfs
წელი:
2010
ენა:
english
ფაილი:
PDF, 3.92 MB
თქვენი თეგები:
0
/
0
english, 2010
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×