Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
29.2% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Springer-Verlag Berlin Heidelberg
Viviana Bono
,
Sara Capecchi
,
Ilaria Castellani (auth.)
,
Roberto Bruni
,
Vladimiro Sassone (eds.)
session
security
global
processes
ϕ
tpm
variables
transaction
calculus
games
systems
consider
transactions
protocol
key
function
springer
tuple
heidelberg
lncs
correlation
client
constraint
adversary
epkl
klaim
oracle
network
messages
orchestration
policy
korc
assume
behaviour
composition
constraints
pne
programming
check
defined
execution
epcas
values
corresponding
assertion
defined
monitor
nested
concurrent
interaction
Рік:
2012
Мова:
english
Файл:
PDF, 3.98 MB
Ваші теги:
0
/
0
english, 2012
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×