Sumbangan 15 hb September 2024 – 1 hb Oktober 2024
Mengenai pengumpulan sumbangan
carian buku
buku
Sumbangan:
71.1% dicapai
Log masuk ke
Log masuk ke
pengguna yang dibenarkan mempunyai akses kepada:
cadangan peribadi
Bot Telegram
sejarah muat turun
menghantar ke E-mel atau Kindle
pengurusan senarai buku
penyimpanan ke favorit
Peribadi
Permintaan buku
Penelitian
Z-Recommend
Senarai buku
Yang paling popular
Kategori
Penyertaan
Menyokong
Muat naik
Litera Library
Menyumbangkan buku kertas
Menambahkan buku-buku kertas
Search paper books
LITERA Point saya
Carian kata kunci
Main
Carian kata kunci
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
Tahun:
1995
Bahasa:
russian
Fail:
ZIP, 2.68 MB
Tag anda:
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
Tahun:
1991
Bahasa:
english
Fail:
PDF, 5.53 MB
Tag anda:
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
Tahun:
1991
Bahasa:
english
Fail:
DJVU, 1.25 MB
Tag anda:
0
/
0
english, 1991
1
Ikuti
pautan ini
atau cari bot "@BotFather" dalam Telegram
2
Hantar arahan /newbot
3
Berikan nama untuk bot anda
4
Berikan nama pengguna untuk bot
5
Salin mesej terbaharu daripada BotFather dan tampalkannya di sini
×
×