Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024
Σχετικά με συγκέντρωση χρημάτων
αναζήτηση βιβλίων
βιβλία
Δωρεές:
67.3% έχει επιτευχθεί
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
search
1
TaeguTec - Каталог металлорежущего инструмента компании (Корея)
пластины
обозначение
сталь
резания
винт
стр
сплав
пластина
фрезы
обработки
ключ
m16
hsk
скорость
размеры
подача
размер
страница
☞
диаметр
чугун
shd
tdr
сплавы
обработка
tt8020
m12
k10
din69871
режимы
m24
сож
mill
taegutec
складе
комплектующие
рис
m10
стандартная
позиция
наличии
tt9030
inserts
tbta
державки
угол
bt50
bta
конус
нержавеющая
Γλώσσα:
russian
Αρχείο:
PDF, 118.11 MB
Οι ετικέτες (tags) σας:
0
/
0
russian
2
Two-Level Functional Languages
Cambridge University Press
Flemming Nielson
,
Hanne Riis Nielson
function
penv
analysis
lemma
tenv
binding
interpretation
consider
fix
formed
bool
calculus
lnt
strictness
induction
define
fst
bta
tuple
assume
env
lists
element
snd
false
generation
compile
resume
abstract
finite
functions
defined
variables
explicit
formedness
partial
argument
nothunk
programs
otherwise
desired
callrec
exseq
strict
correctness
stack
values
comps
immediate
void
Έτος:
1992
Γλώσσα:
english
Αρχείο:
DJVU, 1.48 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 1992
3
Two-Level Functional Languages
Cambridge University Press
Flemming Nielson
,
Hanne Riis Nielson
function
penv
analysis
tenv
binding
interpretation
lemma
consider
formed
bool
lnt
fix
calculus
strictness
induction
define
env
tuple
lists
assume
element
bta
snd
fst
generation
compile
finite
resume
abstract
false
defined
functions
variables
explicit
formedness
partial
programs
argument
nothunk
desired
otherwise
correctness
strict
callrec
immediate
exseq
comps
stack
values
combinator
Έτος:
1992
Γλώσσα:
english
Αρχείο:
PDF, 7.05 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 1992
4
Supported Tris-Triazole Ligands for Batch and Continuous-Flow Copper-Catalyzed Huisgen 1,3-Dipolar Cycloaddition Reactions
MDPI
Alessandra Pucci
,
Gianluigi Albano
,
Matteo Pollastrini
,
Antonio Lucci
thf
meoh
cuaac
crossref
catalysts
reaction
supported
tbta
azide
ascorbate
sodium
figure
resin
ch2
entries
asc
catalyst
equiv
continuous
conversion
catalytic
alkyne
rate
triazole
runs
batch
reactor
monolithic
solvent
entry
cuso4
monomer
pcfr
preparation
reactors
activity
mcfr
mol
benzylazide
devices
mmol
reactions
alcohol
catalyzed
cycloaddition
initial
propargyl
chemistry
reduced
synthesis
Έτος:
2020
Γλώσσα:
english
Αρχείο:
PDF, 2.26 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 2020
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×