carian buku
buku
Menyokong
Log masuk ke
Log masuk ke
pengguna yang dibenarkan mempunyai akses kepada:
cadangan peribadi
Bot Telegram
sejarah muat turun
menghantar ke E-mel atau Kindle
pengurusan senarai buku
penyimpanan ke favorit
Peribadi
Permintaan buku
Penelitian
Z-Recommend
Senarai buku
Yang paling popular
Kategori
Penyertaan
Menyokong
Muat naik
Litera Library
Menyumbangkan buku kertas
Menambahkan buku-buku kertas
Search paper books
LITERA Point saya
Carian kata kunci
Main
Carian kata kunci
search
1
Code Generation with Templates
Atlantis Press
Jeroen Arnoldus
,
Mark van den Brand
,
A. Serebrenik
,
J.J. Brunekreef
syntax
template
templates
placeholder
match
output
unparser
metalanguage
generation
abstract
parse
input
function
defined
figure
placeholders
generator
nonterminal
context
definition
generated
java
implementation
unparse
replace
trees
expr
sentence
evaluator
subtemplate
original
aterm
pico
shows
substitution
error
contains
programming
grammars
errors
generators
approach
module
bstvars
xhtml
discussed
transition
necessary
syntactical
studies
Tahun:
2012
Bahasa:
english
Fail:
PDF, 4.45 MB
Tag anda:
0
/
4.0
english, 2012
2
Code Generation with Templates
Atlantis Press
Jeroen Arnoldus
,
Mark van den Brand
,
A. Serebrenik
,
J.J. Brunekreef (auth.)
syntax
template
templates
placeholder
match
output
unparser
metalanguage
generation
abstract
parse
input
function
defined
figure
placeholders
generator
nonterminal
context
definition
generated
java
implementation
unparse
replace
trees
expr
sentence
evaluator
subtemplate
original
aterm
pico
shows
substitution
error
contains
programming
grammars
errors
generators
approach
module
bstvars
xhtml
discussed
transition
necessary
syntactical
studies
Tahun:
2012
Bahasa:
english
Fail:
PDF, 2.32 MB
Tag anda:
0
/
0
english, 2012
3
Programming Language Theory and Its Implementation
Prentice Hall
Michael J.C. Gordon
function
lisp
functions
verification
calculus
defined
false
variables
programming
theorem
exp
defmacro
hoare
command
defun
chk
setq
implies
programs
commands
specification
conversion
macros
depth
prove
combinators
floyd
notation
values
correctness
atom
define
evaluated
equal
seq
examples
lambda
prover
recursive
combinatory
mathematical
reduction
reduce
syntax
rewrite
macro
assign
verifier
evaluates
lists
Tahun:
1988
Bahasa:
english
Fail:
DJVU, 1.12 MB
Tag anda:
0
/
0
english, 1988
4
Programming Language Theory and Its Implementation
Prentice Hall
Michael J.C. Gordon
function
lisp
functions
verification
calculus
defined
false
variables
programming
theorem
exp
defmacro
defun
command
hoare
setq
chk
implies
programs
commands
specification
conversion
depth
macros
prove
floyd
notation
combinators
values
atom
correctness
define
evaluated
equal
lambda
prover
recursive
seq
curry
syntax
examples
macro
reduction
rewrite
mathematical
reduce
assign
suc
combinatory
evaluates
Tahun:
1988
Bahasa:
english
Fail:
DJVU, 1.07 MB
Tag anda:
0
/
0
english, 1988
1
Ikuti
pautan ini
atau cari bot "@BotFather" dalam Telegram
2
Hantar arahan /newbot
3
Berikan nama untuk bot anda
4
Berikan nama pengguna untuk bot
5
Salin mesej terbaharu daripada BotFather dan tampalkannya di sini
×
×