αναζήτηση βιβλίων
βιβλία
Υποστήριξη
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
search
1
Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
Springer
Michael Hanus
,
Atsushi Igarashi
,
(eds.)
programming
function
doi.org
probabilistic
programs
error
approach
variables
first
query
algorithm
sect
defined
reduction
compiler
probability
examples
generated
proofs
unfolding
formula
cyclic
definition
step
springer
implementation
consider
zipper
context
acm
core
wdρ
ocaml
verification
bool
facts
lncs
inductive
attribute
systems
values
define
theorem
functions
haskell
desugaring
false
predicate
proceedings
rewriting
Έτος:
2022
Γλώσσα:
english
Αρχείο:
PDF, 8.01 MB
Οι ετικέτες (tags) σας:
0
/
5.0
english, 2022
2
Nûdem hejmar-15
F.Cewerî (Ed.)
xanî
nûdem
dewlerê
payiz
199j
mîr
bedir
kamiran
xan
platon
celadet
derheqa
y6n
babel
galilei
bhd
dewleta
mayakovskî
kuştin
tişrên
ehmedê
dewlet
gorkî
îbnî
meyerhold
xebata
êzîdiyan
dewletê
haldûn
machîavelî
dinyayê
loma
rên
div6
dibîne
karên
stalîn
mendelstam
siyasî
avakirina
gelê
hevdû
serî
xwendin
girîng
nivîsîn
yek6
yekîtiya
dosya
hobbes
Έτος:
1995
Γλώσσα:
kurdish
Αρχείο:
PDF, 2.83 MB
Οι ετικέτες (tags) σας:
0
/
0
kurdish, 1995
3
NÛDEM - 15 Kovara Hunerî Edebî & Çandî
Firat CEWERİ (Chief Editor)
xanî
nûdem
dewlerê
payiz
199j
mîr
bedir
kamiran
xan
platon
celadet
derheqa
y6n
babel
galilei
bhd
dewleta
mayakovskî
kuştin
tişrên
ehmedê
dewlet
gorkî
îbnî
meyerhold
xebata
êzîdiyan
dewletê
haldûn
machîavelî
dinyayê
loma
rên
div6
dibîne
karên
stalîn
mendelstam
siyasî
avakirina
gelê
hevdû
serî
xwendin
girîng
nivîsîn
yek6
yekîtiya
dosya
hobbes
Έτος:
1995
Γλώσσα:
kurdish
Αρχείο:
PDF, 2.83 MB
Οι ετικέτες (tags) σας:
0
/
0
kurdish, 1995
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×