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
Functional Algorithms, Verified!
Independent
Tobias Nipkow
,
Jasmin Blanchette
,
Manuel Eberl
,
Alejandro Gómez Londoño
,
Peter Lammich
,
Christian Sternagel
,
Simon Wimmer
,
Bohua Zhan
trees
function
node
insert
jxs
merge
induction
braun
fib
correctness
heap
functions
invar
sorted
inorder
prove
height
mset
delete
implementation
lemma
binary
element
bool
algorithm
map
avl
nodes
bst
lists
invariant
set_tree
heaps
search
analysis
deletion
proofs
amortized
figure
queue
insertion
recursive
operations
isin
inv
isabelle
rank
splay
define
proved
Yıl:
2021
Dil:
english
Dosya:
PDF, 1.21 MB
Etiketleriniz:
0
/
5.0
english, 2021
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
×
×