Bağış 15 Eylül 2024 – 1 Ekim 2024
Bağış toplama hakkında
kitap ara
kitaplar
Bağış:
71.1% 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
Algebra of Programming
Prentice Hall
Richard Bird
,
Oege de Moor
function
programming
functions
defined
prove
outr
lists
functor
listr
outl
theorem
arrow
wrap
snoc
category
zero
arrows
define
catamorphism
algorithm
greedy
step
algorithms
zip
equation
computing
exercises
monotonic
programs
fusion
initial
consider
element
prefix
relational
categories
perm
dynamic
products
datatypes
functors
unique
converse
preorder
succ
allegories
universal
composition
recursive
solution
Yıl:
1997
Dil:
english
Dosya:
DJVU, 2.07 MB
Etiketleriniz:
0
/
0
english, 1997
2
The Algebra of Programming
Prentice Hall
Richard Bird
,
Oege de Moor
function
programming
functions
defined
prove
outr
lists
functor
listr
outl
theorem
arrow
category
wrap
snoc
zero
arrows
define
catamorphism
algorithm
greedy
zip
algorithms
equation
step
monotonic
computing
exercises
programs
fusion
initial
perm
element
consider
categories
relational
products
succ
dynamic
datatypes
functors
converse
preorder
unique
allegories
universal
prefix
composition
concat
recursive
Yıl:
1997
Dil:
english
Dosya:
DJVU, 2.49 MB
Etiketleriniz:
0
/
0
english, 1997
3
The Algebra of Programming
Prentice Hall
Richard Bird
,
Oege de Moor
function
programming
functions
defined
prove
outr
lists
functor
listr
outl
theorem
arrow
wrap
snoc
category
zero
arrows
define
catamorphism
algorithm
greedy
step
algorithms
equation
zip
computing
monotonic
exercises
programs
fusion
initial
consider
element
relational
categories
prefix
products
dynamic
datatypes
functors
perm
succ
converse
preorder
unique
allegories
universal
composition
recursive
solution
Yıl:
1997
Dil:
english
Dosya:
PDF, 3.45 MB
Etiketleriniz:
0
/
0
english, 1997
4
Algebra of programming
Prentice Hall
Richard Bird
,
Oege de Moor
function
programming
functions
defined
prove
outr
lists
functor
listr
outl
theorem
arrow
wrap
snoc
category
zero
arrows
define
catamorphism
algorithm
greedy
algorithms
step
equation
zip
computing
exercises
monotonic
programs
fusion
initial
consider
element
relational
categories
prefix
dynamic
products
datatypes
functors
perm
succ
unique
converse
preorder
allegories
universal
composition
recursive
solution
Yıl:
1997
Dil:
english
Dosya:
DJVU, 2.45 MB
Etiketleriniz:
0
/
0
english, 1997
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
×
×