Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
пошук статей
статті
Пожертвування:
16.7% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Журнали
Участь
Підтримати
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Відкрити LITERA Point
Volume 358; Issue 2-3
Main
Theoretical Computer Science
Volume 358; Issue 2-3
Theoretical Computer Science
Volume 358; Issue 2-3
1
Editorial
Philippa Gardner
,
Nobuko Yoshida
Журнал:
Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 95 KB
Ваші теги:
english, 2006
2
Message-passing automata are expressively equivalent to EMSO logic
Benedikt Bollig
,
Martin Leucker
Журнал:
Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 401 KB
Ваші теги:
english, 2006
3
Probabilistic event structures and domains
Daniele Varacca
,
Hagen Völzer
,
Glynn Winskel
Журнал:
Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 359 KB
Ваші теги:
english, 2006
4
Asynchronous games 2: The true concurrency of innocence
Paul-André Melliès
Журнал:
Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 428 KB
Ваші теги:
english, 2006
5
Characterizing EF and EX tree logics
Mikolaj Bojańczyk
,
Igor Walukiewicz
Журнал:
Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 282 KB
Ваші теги:
english, 2006
6
Model checking restricted sets of timed paths
Nicolas Markey
,
Jean-François Raskin
Журнал:
Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 429 KB
Ваші теги:
english, 2006
7
Elimination of quantifiers and undecidability in spatial logics for concurrency
Luís Caires
,
Etienne Lozes
Журнал:
Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 395 KB
Ваші теги:
english, 2006
8
Author index
Журнал:
Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 117 KB
Ваші теги:
english, 2006
9
Resource control for synchronous cooperative threads
Roberto M. Amadio
,
Silvano Dal Zilio
Журнал:
Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 365 KB
Ваші теги:
english, 2006
10
A general approach to comparing infinite-state systems with their finite-state specifications
Antonín Kučera
,
Philippe Schnoebelen
Журнал:
Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 348 KB
Ваші теги:
english, 2006
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×