შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024
თანხის შეგროვების შესახებ
წიგნების ძებნა
წიგნები
შეწირულობა:
24.2% ამოწურულია
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
ჩემი LITERA Point
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
The Space and Motion of Communicating Agents
Cambridge University Press
Robin Milner
bigraphs
transition
reaction
ccs
bigraph
category
graphs
systems
node
defined
sorting
define
ipo
bisimilarity
nodes
abstract
transitions
congruence
product
concrete
redex
rpo
prove
binding
nets
graph
theorem
proposition
ı̃
diagram
rpos
brs
composition
functor
relative
context
categories
width
outer
quotient
reactive
active
bigraphical
edges
sorted
discrete
exists
parametric
assume
contextual
წელი:
2009
ენა:
english
ფაილი:
PDF, 2.12 MB
თქვენი თეგები:
0
/
0
english, 2009
2
The Security of Critical Infrastructures: Risk, Resilience and Defense
Springer
Marcus Matthias Keupp (editor)
security
network
critical
analysis
nodes
supply
systems
attacks
infrastructure
traffic
node
forensic
demand
risk
networks
graph
infrastructures
import
capacity
approach
total
victims
grid
function
response
privacy
aviation
national
conference
defense
swiss
transshipment
bigraphical
edges
keupp
closure
optimal
switzerland
arcs
intentional
disruption
population
significant
destination
operations
operators
resilience
scenarios
maximum
effective
წელი:
2020
ენა:
english
ფაილი:
PDF, 3.45 MB
თქვენი თეგები:
0
/
0
english, 2020
3
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Springer International Publishing
Emilio Tuosto
,
Chun Ouyang (eds.)
session
url
cloud
processes
computing
context
policies
systems
models
defined
policy
graph
transition
resource
first
sect
successor
transitions
operational
standard
definition
extended
facpl
resources
approach
path
springer
ontology
permit
equal
execution
πnd
different
pic
messages
client
firing
encoding
lncs
instances
formal
lemma
port
sequences
heidelberg
syntax
behavior
parameterization
version
activity
წელი:
2014
ენა:
english
ფაილი:
PDF, 7.75 MB
თქვენი თეგები:
0
/
0
english, 2014
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×