Suche nach Büchern
Bücher
Spenden
Einloggen
Einloggen
für autorisierte Benutzer stellen folgendes zur Verfügung:
Persönliche Empfehlungen
Telegram-Bot
Downloadverlauf
an E-Mail-Adresse oder Kindle senden
Bücherlisten verwalten
in Favoriten speichern
Persönlich
Suchanfrage nach dem Buch
Erkunden
Z-Recommend
Bücherlisten
Meistgefragt
Kategorien
Teilnahme
Spenden
Hochladen
Litera Library
Papierbücher spenden
Papierbücher hinzufügen
Search paper books
Mein LITERA Point
Suche nach den Begriffen
Main
Suche nach den Begriffen
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
Jahr:
2001
Sprache:
english
Datei:
PDF, 7.06 MB
Ihre Tags:
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
Jahr:
2001
Sprache:
english
Datei:
DJVU, 1.73 MB
Ihre Tags:
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
Jahr:
1983
Sprache:
english
Datei:
PDF, 14.10 MB
Ihre Tags:
0
/
0
english, 1983
1
Folgen Sie
diesem Link
oder finden Sie einen Bot "@BotFather" in Telegram
2
Senden Sie Befehl /newbot
3
Geben Sie den Namen für Ihren Bot an
4
Geben Sie den Benutzername für den Bot
5
Kopieren Sie die letzte Meldung von BotFather und fügen Sie hier ein
×
×