Bağış 15 Eylül 2024 – 1 Ekim 2024
Bağış toplama hakkında
kitap ara
kitaplar
Bağış:
71.3% ulaştı
Giriş yap
Giriş yap
giriş yapıldıktan sonra kullanıcılar aşağıdakileri kullanılabilir:
kişisel Tavsiyeler
Telegram botu
indirme geçmişi
E-posta'ya veya Kindle'e gönder
koleksiyon yönetimi
favorilere kaydet
Kişisel
Kitap istekleri
Keşfet
Z-Recommend
Kitap seçimi
En popüler
Kategoriler
Bağış
Destekle
Yüklenilenler
Litera Library
Kağıt kitapları bağış yapın
Basılı kitaplar ekleyin
Search paper books
Benim LITERA Point
Anahtar kelime araması
Main
Anahtar kelime araması
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
Yıl:
1995
Dil:
russian
Dosya:
ZiP, 2.68 MB
Etiketleriniz:
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
Yıl:
1991
Dil:
english
Dosya:
PDF, 5.53 MB
Etiketleriniz:
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
Yıl:
1991
Dil:
english
Dosya:
DJVU, 1.25 MB
Etiketleriniz:
0
/
0
english, 1991
1
Bu bağlantıyı
takip edin veya Telegram'da @BotFather botunu arayın
2
Ona /newbot gönder
3
Botunuz için bir ad girin
4
Bot için kullanıcı adını belirtin
5
BotFather'dan gelen son mesajı kopyalayın ve buraya yapıştırın
×
×