търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Modal and Temporal Properties of Processes
Springer-Verlag New York
Colin Stirling (auth.)
processes
tick
transition
fixed
player
modal
observable
formula
figure
proposition
finite
bisimulation
graph
fonnula
strategy
winning
infinite
defined
formulas
equivalent
prove
goal
games
transitions
tock
assume
behaviour
wins
temporal
checking
consider
tableau
crossing
ccross
iiv
variables
ctl
induction
operators
fonnulas
infinitely
subset
define
initial
calculus
choose
sets
successful
vertex
graphs
Година:
2001
Език:
english
Файл:
PDF, 7.06 MB
Вашите тагове:
0
/
0
english, 2001
2
Modal and temporal properties of processes
Springer-Verlag New York
Colin Stirling (auth.)
processes
tick
modal
formula
transition
fixed
player
observable
figure
bisimulation
formulas
proposition
finite
strategy
graph
winning
infinite
defined
assume
temporal
equivalent
goal
games
prove
transitions
crossing
behaviour
checking
tock
wins
consider
tableau
function
vertex
ctl
induction
variables
terminal
operators
calculus
ccross
infinitely
initial
subset
define
successful
sets
choose
graphs
protocol
Година:
2001
Език:
english
Файл:
DJVU, 1.73 MB
Вашите тагове:
0
/
0
english, 2001
3
Compute's First Book of TI Games
Compute
C. Regena
hchar
goto
key
char
screen
row
rnd
gchar
gosub
keys
arrow
spaces
chr
maze
sprite
tab
vchar
player
random
square
games
step
motion
plr
regena
extended
graphics
randomize
sprites
statement
asc
check
define
joystick
keyboard
squares
correct
translated
column
labyrinth
choose
path
colors
beep
delsprite
starting
drawn
memory
puzzle
rcross
Година:
1983
Език:
english
Файл:
PDF, 14.10 MB
Вашите тагове:
0
/
0
english, 1983
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×