모금 9월 15일 2024 – 10월 1일 2024
모금에 대해서
도서 검색
책
모금:
63.6% 도달
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
Telegram 봇
다운로드 기록
Email 혹은 Kindle로 전송하기
선택 목록 관리
즐겨찾기에 저장하기
개인
책 요청
연구
Z-Recommend
책 목록
가장 인기 있는
카테고리
참여
기부
업로드
Litera Library
종이책 기부하기
종이책 추가하기
Search paper books
나의 LITERA Point
핵심어 검색
Main
핵심어 검색
search
1
Categorical Combinators, Sequential Algorithms, and Functional Programming
Birkhäuser Basel
Pierre-Louis Curien
output
snd
sequential
app
categorical
fst
valof
calculus
algorithms
function
define
functions
defined
ofst
combinators
prove
stable
abstract
combinatory
category
cartesian
cds
structures
dcds
concrete
theorem
abstraction
models
pcf
extensional
ccl
equations
induction
algorithm
finite
domains
exists
osnd
continuous
values
suppose
event
requete
algebraic
notation
cpo
proposition
categories
succ
constants
년:
1993
언어:
english
파일:
PDF, 11.41 MB
개인 태그:
0
/
0
english, 1993
2
Categorical Combinators, Sequential Algorithms, and Functional Programming
Birkhäuser
Pierre-Louis Curien
output
sequential
valof
snd
categorical
app
calculus
fst
algorithms
function
functions
define
defined
combinators
prove
abstract
combinatory
stable
category
ccl
cartesian
cds
structures
dcds
concrete
theorem
abstraction
pcf
extensional
models
ofst
induction
equations
algorithm
domains
finite
exists
continuous
values
algebraic
suppose
event
requete
notation
cpo
proposition
osnd
categories
programming
constants
년:
1993
언어:
english
파일:
DJVU, 3.07 MB
개인 태그:
0
/
0
english, 1993
3
Категориальная абстрактная машина. Конспект лекций: введение в вычисления
Учебно-консультационный центр "ЮрИнфоР"
В. Э. Вольфенгаген
терм
snd
стек
вычисления
вычисление
вычислений
fst
freeze
терма
кода
выражения
инструкций
равенства
состояние
абстрактная
osnd
выражений
дает
расширение
реализация
среды
beta
msuf
абстрактной
далее
значения
объект
примеры
символов
стека
упражнения
языка
1;2
инструкция
качестве
комбинаторной
равенство
введение
вида
машины
оптимизации
положим
программирования
способ
false
unfreeze
вариант
д.з.к
исходного
набор
년:
2001
언어:
russian
파일:
DJVU, 284 KB
개인 태그:
0
/
0
russian, 2001
4
无机化学例题与习题
北京:人民教育出版社
(日)宫崎正藏著;王秉济等译
errr
agcl
hcl
naoh
rrr
2mnso
agno
2kmno
60x
osnd
zncl
60g
ener
fecl
fre
koh
mgo
ptcl
rab
sncl
2fe
2hi
2kmn0
aram
arh
arr
awe
bbr
beak
brr
bru
cannizzaro
cuo
eeee
eere
eset
fea
fef
fpa
hno
hra
kcl
kmn0
nacl
pbo
ray
rhe
rma
rmr
rra
년:
1980
언어:
chinese
파일:
PDF, 10.02 MB
개인 태그:
0
/
0
chinese, 1980
5
化学试题精编·精要·精解 上
北京:中国青年出版社
师化主编
naoh
2fe
rea
hco
rra
clo
hcl
hno
hpo
kno
nacl
arr
cuso
fea
mgso
nahco
2cl
arh
rhe
rrr
2br
2fecl
a.b
agno
bby
bie
brea
brr
frr
prr
ray
rfra
rrb
x.y
ater
bba
bef
bfe
bok
bram
broy
brt
caco
coo
erle
fre
hbr
horn
hra
hrp
년:
1996
언어:
chinese
파일:
PDF, 9.42 MB
개인 태그:
0
/
0
chinese, 1996
6
1985年日本全国入学统考化学预测题及分析
哈尔滨:黑龙江科学技术出版社
王兴仁,于文刚编译
rrr
rra
arr
rhe
arb
awe
cuso
hra
hrs
mrr
ors
rma
afao
agno
bah
chs
mre
naoh
oam
ohm
rmr
sma
abr
aera
areer
arh
ark
brr
coona
emo
fre
heh
hood
hrsa
meee
nacl
nahco
oas
orme
pah
rah
rrb
rrs
aor
apra
aram
arate
gea
haf
hopnz
년:
1985
언어:
chinese
파일:
PDF, 3.61 MB
개인 태그:
0
/
0
chinese, 1985
1
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×