Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
52.5% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
My LITERA Point
Terms search
Main
Terms search
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
Year:
1995
Language:
russian
File:
ZIP, 2.68 MB
Your 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
Year:
1991
Language:
english
File:
PDF, 5.53 MB
Your 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
Year:
1991
Language:
english
File:
DJVU, 1.25 MB
Your tags:
0
/
0
english, 1991
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×