Bağış 15 Eylül 2024 – 1 Ekim 2024
Bağış toplama hakkında
kitap ara
kitaplar
Bağış:
69.5% 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
Instruction Sequences for Computer Science
Atlantis Press
J A Bergstra
,
Cornelis A Middelburg
instruction
sequences
execution
bta
spisa
jump
boolean
function
axioms
reply
primitive
defined
arbitrary
method
probabilistic
ϕ
finite
theorem
threads
processing
operators
denoted
exists
memory
termination
recursive
πn
isna
sect
behaviour
bergstra
registers
halting
3sat
specification
f.u
isnr
polyadic
fixed
proposition
rec
extraction
indirect
notation
behaviours
maurer
poly
acpτ
effect
f.i
Yıl:
2012
Dil:
english
Dosya:
PDF, 1.53 MB
Etiketleriniz:
0
/
0
english, 2012
2
Instruction Sequences for Computer Science
Atlantis Press
Jan A. Bergstra
,
Cornelis A. Middelburg
instruction
sequences
execution
bta
spisa
jump
boolean
function
axioms
reply
primitive
defined
arbitrary
method
ϕ
probabilistic
finite
theorem
threads
processing
operators
denoted
exists
memory
termination
πn
isna
recursive
sect
behaviour
bergstra
registers
halting
3sat
specification
f.u
isnr
polyadic
fixed
proposition
rec
extraction
indirect
behaviours
notation
poly
acpτ
effect
f.i
maurer
Yıl:
2012
Dil:
english
Dosya:
PDF, 4.53 MB
Etiketleriniz:
0
/
0
english, 2012
3
Introduction to Process Algebra
Springer
Wan Fokkink
transition
bisimulation
recursive
recursion
branching
linear
axioms
specification
processes
theorem
transitions
rdp
modulo
πn
weight
operators
bisimilar
rsp
equations
acp
variables
tss
behaviour
rooted
silent
graph
τi
hx1
initial
congruence
equation
function
protocol
summand
merge
atomic
prove
axiomatisation
step
rewrite
abstraction
proceedings
specifications
systems
eacp
solution
bpa
acknowledgement
derive
verification
Yıl:
2000
Dil:
english
Dosya:
PDF, 1.14 MB
Etiketleriniz:
0
/
0
english, 2000
4
Introduction to process algebra
Springer
Wan Fokkink
transition
bisimulation
recursive
recursion
branching
linear
axioms
specification
processes
theorem
transitions
rdp
modulo
πn
weight
operators
bisimilar
rsp
equations
acp
variables
tss
behaviour
rooted
silent
graph
τi
hx1
initial
congruence
equation
function
protocol
summand
merge
atomic
prove
axiomatisation
step
rewrite
abstraction
proceedings
specifications
systems
eacp
solution
bpa
acknowledgement
derive
verification
Yıl:
2007
Dil:
english
Dosya:
PDF, 984 KB
Etiketleriniz:
0
/
0
english, 2007
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
×
×