Spende 15. September, 2024 – 1. Oktober, 2024
Über Spenden
Suche nach Büchern
Bücher
Spende:
71.4% erreicht
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
Секреты программирования игр
Питер
JIa Мот А.
,
Ратклифф Д.
,
Семинаторе М.
,
Тайлер Д.
define
char
void
mov
sprite
function
buffer
driver
unsigned
digpak
sprite_ptr
memory
offset
idle
midpak
background
push
pcx_picture_ptr
acbp
endp
segment
extern
pcx
scale
functions
printf
cdecl
current
theaudio
screen
cproc
pcx_grap_bitmap
xor
dgroup
compute
row
zero
pointer
key
player
drivers
audio
select
_text
arg
66h
byte
sprite_width
float
endif
Jahr:
1995
Sprache:
russian
Datei:
ZIP, 2.68 MB
Ihre Tags:
0
/
0
russian, 1995
2
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Cambridge University Press
E.-R. Olderog
trace
nets
transition
specification
petri
readiness
processes
communications
consider
formulas
abstract
engage
marking
transitions
prefix
cproc
finite
equation
renaming
upd
specifications
theorem
concurrency
logical
operators
semantic
operational
recursion
choice
concurrent
induction
divergence
automata
defined
implies
sets
expansion
exists
traces
behaviour
yields
closure
lemma
comm
satisfying
correctness
parallel
initial
context
satisfies
Jahr:
1991
Sprache:
english
Datei:
PDF, 5.53 MB
Ihre Tags:
0
/
0
english, 1991
3
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Cambridge University Press
E. -R. Olderog
trace
nets
transition
specification
petri
readiness
communications
processes
consider
formulas
abstract
marking
transitions
engage
prefix
cproc
finite
renaming
upd
equation
specifications
theorem
concurrency
operators
semantic
choice
operational
recursion
logical
concurrent
induction
lemma
automata
divergence
implies
defined
sets
exists
expansion
behaviour
traces
yields
closure
comm
parallel
satisfying
correctness
initial
satisfies
context
Jahr:
1991
Sprache:
english
Datei:
DJVU, 1.25 MB
Ihre Tags:
0
/
0
english, 1991
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
×
×