Doações 15 de Setembro 2024 – 1º de Outubro 2024
Sobre a angariação de fundos
pesquisa de livros
livros
Doações:
68.2% atingido
Entrar
Entrar
para acessar mais recursos:
Recomendações pessoais
Telegram bot
Baixar histórico
Enviar para o E-mail ou Kindle
gerenciar as listas de livros
salvar para os favoritos
Pessoal
Pedidos de livro
Explorar
Z-Recomendado
Coleções de livros
Mais populares
Categorias
Contribuição
Doar
Carregamentos
Litera Library
Doe livros de papel
Adicione livros de papel
Search paper books
Meu LITERA Point
Pesquisa de termos
Main
Pesquisa de termos
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
Ano:
1993
Idioma:
english
Arquivo:
PDF, 11.41 MB
As suas tags:
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
Ano:
1993
Idioma:
english
Arquivo:
DJVU, 3.07 MB
As suas tags:
0
/
0
english, 1993
3
Категориальная абстрактная машина. Конспект лекций: введение в вычисления
Учебно-консультационный центр "ЮрИнфоР"
В. Э. Вольфенгаген
терм
snd
стек
вычисления
вычисление
вычислений
fst
freeze
терма
кода
выражения
инструкций
равенства
состояние
абстрактная
osnd
выражений
дает
расширение
реализация
среды
beta
msuf
абстрактной
далее
значения
объект
примеры
символов
стека
упражнения
языка
1;2
инструкция
качестве
комбинаторной
равенство
введение
вида
машины
оптимизации
положим
программирования
способ
false
unfreeze
вариант
д.з.к
исходного
набор
Ano:
2001
Idioma:
russian
Arquivo:
DJVU, 284 KB
As suas tags:
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
Ano:
1980
Idioma:
chinese
Arquivo:
PDF, 10.02 MB
As suas tags:
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
Ano:
1996
Idioma:
chinese
Arquivo:
PDF, 9.42 MB
As suas tags:
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
Ano:
1985
Idioma:
chinese
Arquivo:
PDF, 3.61 MB
As suas tags:
0
/
0
chinese, 1985
1
Siga a
este link
ou encontre o bot "@BotFather" no Telegram
2
Send /equipe newbot
3
Indique o nome para o seu chatbot
4
Escolha um nome de usuário para um bot
5
Copia a última mensagem de BotFather e insira-a aqui
×
×