kitap ara
kitaplar
Destekle
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
Program Proofs
The MIT Press
K. Rustan M. Leino
function
method
invariant
lemma
ensures
specification
prove
repr
array
valid
verifier
node
postcondition
dafny
assert
predicate
statement
ghost
forall
multiset
termination
module
element
decreases
implementation
key
precondition
programs
functions
a.length
induction
specifications
clause
fib
append
values
proofs
recursive
constructor
queue
match
assertion
programming
modifies
assignment
𝒲𝒫
invariants
datatype
false
defined
Yıl:
2023
Dil:
english
Dosya:
EPUB, 7.92 MB
Etiketleriniz:
5.0
/
5.0
english, 2023
2
Program Proofs
MIT Press
K. Rustan
,
M. Leino
function
method
invariant
lemma
ensures
specification
prove
repr
array
valid
verifier
node
postcondition
dafny
assert
predicate
statement
ghost
forall
multiset
termination
module
element
decreases
implementation
key
precondition
programs
functions
a.length
induction
specifications
clause
fib
append
values
proofs
recursive
constructor
queue
match
assertion
programming
modifies
assignment
𝒲𝒫
invariants
datatype
false
defined
Yıl:
2023
Dil:
english
Dosya:
EPUB, 7.92 MB
Etiketleriniz:
5.0
/
5.0
english, 2023
3
Optimal Transport: A Semi-Discrete Approach
De Gruyter
Gershon Wolansky
p⃗
m⃗
ℐ
𝕄
theorem
𝒥
convex
δn
dμ
partition
θi
optimal
ℝ
μi
function
ξθ
ϕ
partitions
exists
ℝn
stable
assumption
ℱθ
q⃗
price
proposition
measures
ξ0
transport
vector
μ⃗
a⃗
implies
coalition
𝒫
assume
ℚ
lemma
monge
consider
equilibrium
𝒮𝒫
sets
subpartition
θ1
θm
resp
z⃗
𝒥2
functions
Yıl:
2021
Dil:
english
Dosya:
PDF, 4.04 MB
Etiketleriniz:
0
/
5.0
english, 2021
4
Optimal Transport: A Semi-discrete Approach
de Gruyter
Gershon Wolansky
p⃗
m⃗
ℐ
𝕄
theorem
𝒥
convex
δn
dμ
partition
θi
optimal
ℝ
μi
function
ξθ
ϕ
partitions
exists
ℝn
stable
assumption
ℱθ
q⃗
price
proposition
ξ0
measures
transport
vector
μ⃗
a⃗
implies
coalition
𝒫
assume
ℚ
lemma
monge
consider
equilibrium
𝒮𝒫
sets
subpartition
θ1
θm
resp
z⃗
𝒥2
functions
Yıl:
2019
Dil:
english
Dosya:
PDF, 8.11 MB
Etiketleriniz:
0
/
0
english, 2019
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
×
×