wyszukiwanie książek
książki
Wsparcie
Wejdź
Wejdź
uprawnieni użytkownicy mają dostęp do:
osobiste rekomendacje
Bot Telegramu
historia pobierania
wyślij do Email lub Kindle
zarządzanie zbiorami
zapisywanie w ulubionych
Osobiste
Zapytania o książkę
Nauka
Z-Recommend
Lista książek
Najbardziej popularne
Kategorie
Uczestnictwo
Wsparcie
Pobrania
Litera Library
Podaruj papierowe książki
Dodaj papierowe książki
Search paper books
Mój LITERA Point
Wyszukiwanie kluczowych słów
Main
Wyszukiwanie kluczowych słów
search
1
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
Springer-Verlag Berlin Heidelberg
Dirk A. Taubner (auth.)
transition
finite
nets
defined
rec
systems
petri
hyp
extended
theorem
reach
exists
milner
contexts
parallel
induction
ccs
composition
recursion
abstract
implies
define
bisimulation
traces
transitions
prt
idf
qterms
furthermore
prove
operators
programming
proposition
reachable
goltz
counter
renaming
notation
processes
syntax
predicate
manipulation
bisimular
olderog
degano
function
lemma
onesyn
strongly
extensions
Rok:
1989
Język:
english
Plik:
PDF, 2.94 MB
Twoje tagi:
0
/
0
english, 1989
2
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
Springer-Verlag Berlin Heidelberg
Dirk A. Taubner (auth.)
transition
finite
nets
defined
rec
systems
petri
hyp
extended
theorem
reach
exists
milner
contexts
parallel
induction
ccs
composition
recursion
abstract
implies
define
bisimulation
traces
transitions
prt
idf
qterms
furthermore
prove
operators
programming
proposition
reachable
goltz
counter
renaming
notation
processes
syntax
predicate
manipulation
bisimular
olderog
degano
function
lemma
onesyn
strongly
extensions
Rok:
1989
Język:
english
Plik:
PDF, 9.03 MB
Twoje tagi:
0
/
0
english, 1989
3
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
Springer-Verlag Berlin Heidelberg
Dirk A. Taubner (auth.)
transition
finite
nets
defined
petri
systems
hyp
theorem
extended
milner
exists
contexts
parallel
rec
induction
ccs
composition
implies
reach
recursion
proposition
abstract
define
prt
idf
bisimulation
transitions
qterms
furthermore
prove
operators
programming
goltz
reachable
lemma
counter
syntax
anil
renaming
processes
zid
notation
predicate
traces
olderog
manipulation
bisimular
degano
function
onesyn
Rok:
1989
Język:
english
Plik:
DJVU, 1.31 MB
Twoje tagi:
0
/
0
english, 1989
4
Matching Equivalences on Higher Dimensional Automata Models
Oshevskaya E.S.
hda
thda
morphism
cubical
path
bisimulation
morphisms
cubes
d0i
lemma
mapping
cpl
maps
cube
hdal
hhp
paths
exists
figure
models
consider
αi
define
tcp
timed
assume
category
continuous
mpe
d01
d1j
dimensional
item
theorem
topological
u̇
defined
pr1
automata
moreover
segment
topology
adjacency
ṫ
d02
denote
mappings
categories
norm
prove
Język:
english
Plik:
PDF, 816 KB
Twoje tagi:
0
/
0
english
1
Skorzystaj z
tego linku
lub wyszukaj bota „@BotFather” w Telegramie
2
Wyślij polecenie /newbot
3
Wpisz nazwę swojego bota
4
Wprowadź nazwę użytkownika dla bota
5
Skopiuj najnowszą wiadomość od BotFather i wklej ją tutaj
×
×