Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024
Դրամահավաքի մասին
գրքերի որոնում
գրքեր
Նվիրատվություններ:
20.8% իրականացված է
Մուտք գործել
Մուտք գործել
մուտք գործելուց հետո օգտատերերին հասանելի են․
անհատականացված առաջարկություններ
Telegram բոտ
ներբեռնումների պատմությունը
էլ. փոստին կամ Kindle-ին ուղարկումը
հավաքածուների կառավարումը
ընտրյալներին պահպանումը
Անձնական
Գրքերի հարցումներ
Ուսումնասիրում
Z-Recommend
Գրքերի հավաքածու
Ամենահայտնի
Կատեգորիաներ
Մասնակցություն
Աջակցել
Ներբեռնումներ
Litera Library
Նվիրաբերել թղթե գրքեր
Ավելացնել թղթե գրքեր
Search paper books
Բացել LITERA Point
Բանալի բառերի որոնում
Main
Բանալի բառերի որոնում
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
Տարի:
1997
Լեզու:
english
Ֆայլ:
DJVU, 2.07 MB
Ձեր թեգերը:
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
Տարի:
1997
Լեզու:
english
Ֆայլ:
DJVU, 2.49 MB
Ձեր թեգերը:
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
Տարի:
1997
Լեզու:
english
Ֆայլ:
PDF, 3.45 MB
Ձեր թեգերը:
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
Տարի:
1997
Լեզու:
english
Ֆայլ:
DJVU, 2.45 MB
Ձեր թեգերը:
0
/
0
english, 1997
1
Հետևեք
այս հղմանը
կամ որոնեք @BotFather բոտը Telegram-ում
2
Ուղարկեք /newbot հրամանը
3
Նշեք ձեր բոտի անունը
4
Նշեք բոտի օգտատիրոջ անունը
5
Պատճենեք վերջին հաղորդագրությունը BotFather-ից և տեղադրեք այն այստեղ
×
×