పుస్తకాల శోధన
పుస్తకాలు
మాకు మద్దతు ఇవ్వాలనుకుంటే
సైన్ ఇన్ చేయండి
సైన్ ఇన్ చేయండి
మరిన్ని ఫీచర్లను యాక్సెస్ చేయడానికి
వ్యక్తిగత సిఫార్సులు
Telegram బాట్
డౌన్లోడ్ చరిత్ర
ఇమెయిల్ లేదా Kindle కు పంపండి
పుస్తకాల జాబితాలను నిర్వహించండి
ఇష్టమైన వాటికి సేవ్ చేయండి
వ్యక్తిగతమైన
పుస్తక అభ్యర్థనలు
అన్వేషించండి
Z-సిఫార్సు చేయండి
పుస్తక సేకరణలు
అత్యంత ప్రజాదరణమైనవి
వర్గాలు
సహకారం
మాకు మద్దతు ఇవ్వాలనుకుంటే
అప్లోడ్లు
Litera Library
కాగితపు పుస్తకాలను విరాళంగా ఇవ్వండి
కాగితపు పుస్తకాలను జోడించండి
Search paper books
నా LITERA Point
కీలక పదాల శోధన
Main
కీలక పదాల శోధన
search
1
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Springer-Verlag Berlin Heidelberg
Herman Geuvers (auth.)
,
Ana Bove
,
Luís Soares Barbosa
,
Alberto Pardo
,
Jorge Sousa Pinto (eds.)
function
abstract
parser
first
functions
definition
λx
define
defined
programming
variables
inductive
calculus
checking
interpretation
input
recursive
agda
values
termination
algorithm
curry
dependent
instruction
inference
reduction
step
typed
zero
parsers
succ
combinator
argument
induction
predicate
proofs
haskell
datatype
rec
parsing
prove
recursion
datatypes
introduction
transform
theorem
context
map
sets
element
సంవత్సరం:
2009
భాష:
english
ఫైల్:
PDF, 3.41 MB
మీ ట్యాగ్లు:
0
/
0
english, 2009
2
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Springer-Verlag Berlin Heidelberg
Herman Geuvers (auth.)
,
Ana Bove
,
Luís Soares Barbosa
,
Alberto Pardo
,
Jorge Sousa Pinto (eds.)
function
abstract
parser
first
functions
definition
λx
define
defined
programming
variables
inductive
calculus
checking
interpretation
input
recursive
agda
values
termination
algorithm
curry
dependent
instruction
inference
reduction
step
typed
zero
parsers
succ
combinator
argument
induction
predicate
proofs
haskell
datatype
rec
parsing
prove
recursion
datatypes
introduction
transform
theorem
context
map
sets
element
సంవత్సరం:
2009
భాష:
english
ఫైల్:
PDF, 2.34 MB
మీ ట్యాగ్లు:
0
/
0
english, 2009
3
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Springer-Verlag Berlin Heidelberg
Herman Geuvers (auth.)
,
Ana Bove
,
Luís Soares Barbosa
,
Alberto Pardo
,
Jorge Sousa Pinto (eds.)
function
abstract
parser
first
functions
definition
λx
define
defined
programming
variables
inductive
calculus
checking
interpretation
input
recursive
agda
values
termination
algorithm
curry
dependent
instruction
inference
reduction
step
typed
zero
parsers
succ
combinator
argument
induction
predicate
proofs
haskell
datatype
rec
parsing
prove
recursion
datatypes
introduction
transform
theorem
context
map
sets
element
సంవత్సరం:
2009
భాష:
english
ఫైల్:
PDF, 2.23 MB
మీ ట్యాగ్లు:
0
/
5.0
english, 2009
4
Tesmeralsekdiz Sayı 1 - Sokak Sanatı, GiLLes Deleuze ve Sinema Teorisi
Algıyayın
Kolektif
sokak
deleuze
iği
sanatı
ış
leri
grafiti
ığı
uğu
kta
rası
kü
sinema
r.a
natı
sergi
imaj
nden
görü
gü
reket
rks
nsa
deği
bergson
üzeri
rla
sü
ayn
kavra
görsel
kleri
lgi
ltü
iyor
kend
ması
rkl
sokağın
böl
ndan
ayı
işler
çeki
şeh
kça
maj
reti
rşı
sokağı
సంవత్సరం:
2007
భాష:
turkish
ఫైల్:
PDF, 2.23 MB
మీ ట్యాగ్లు:
0
/
5.0
turkish, 2007
1
ఈ లింక్
ని అనుసరించండి లేదా టెలిగ్రామ్లో "@BotFather" బాట్ను కనుగొనండి
2
/ newbot ఆదేశాన్ని పంపండి
3
మీ చాట్బాట్ కోసం పేరును పేర్కొనండి
4
బాట్ కోసం వినియోగదారు పేరును ఎంచుకోండి
5
BotFather నుండి పూర్తి చివరి సందేశాన్ని కాపీ చేసి ఇక్కడ అతికించండి
×
×