Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024
Về việc thu tiền
tìm kiếm sách
sách
Tăng quỹ:
53.5% đạt
Đang nhập
Đang nhập
Người dùng đã xác minh danh tính được phép:`
nhận xét cá nhân
Telegram bot
Lịch sử download
gửi tới email hoắc Kindle
xóa mục
lưu vào mục được chọn
Cá nhân
Yêu cầu sách
Khám phá
Z-Recommend
Danh sách sách
Phổ biến
Thể loại
Đóng góp
Quyên góp
Lượt uload
Litera Library
Tặng sách giấy
Thêm sách giấy
Search paper books
LITERA Point của tôi
Tìm từ khóa
Main
Tìm từ khóa
search
1
Axiom: Volume 8: Axiom Graphics
Bronstein M.
viewport
buttonqueue
buttons
define
dsply
float
void
xoption
extern
buttonwidth
dflag
gsetforeground
buttonheight
view3d
buttony
buttonx
fprintf
graphstatearray
0x00
viewdata
intsize
controlwindow
strcpy
trashgc
apoly
char
readviewman
monocolor
viewout
stderr
textcolor
spadsock
gdrawline
graph
quadmesh
grapharray
globalgc1
view2d
axiom
sprintf
hview3d
centerx
floatsize
viewwindow
buttonkey
xhalf
filename
yhalf
psdata
volumebuttons
Ngôn ngữ:
english
File:
PDF, 1.12 MB
Các thể loại của bạn:
0
/
0
english
2
Programming in Martin-Löf's Type Theory: An Introduction
Oxford University Press, USA
Bengt Nordstrom
,
Kent Petersson
,
Jan M. Smith
sets
equality
canonical
elimination
element
introduction
equal
subset
proposition
judgement
arity
assumption
apply
bool
function
defined
succ
assumptions
propositions
constants
specification
formation
programming
judgements
inl
introduce
a00
induction
formal
inr
introduced
substitution
false
natrec
split
primitive
propositional
listrec
urec
assume
programs
cartesian
computation
martin
product
prove
mathematics
proofs
forms
constructor
Năm:
1990
Ngôn ngữ:
english
File:
PDF, 693 KB
Các thể loại của bạn:
0
/
0
english, 1990
3
A to Z of C :: 49. Writing YACC
R. Rajesh Jeba Anbiah
char
fprintf
cptr
extern
putc
output_file
define
unsigned
new2
stderr
nrules
goto
lineno
bucket
no_space
nstates
static
stateno
endif
sizeof
verbose_file
myname
malloc
yydebug
count
input_file_name
nsyms
rflag
ritem
symbol_name
ntokens
printf
yyn
reduce
symbol_value
shift
start_symbol
nitems
cache
cachec
core
prec
shifts
s_lineno
yacc
yychar
pitem
text_file
action_code
ngotos
Năm:
2003
Ngôn ngữ:
english
File:
PDF, 168 KB
Các thể loại của bạn:
0
/
0
english, 2003
4
Docker Swarm 源码分析
iBooker it-ebooks
it-ebooks
swarm
usage
cluster
log.fatal
readme.md
docker
discovery
addr
c.string
cli.stringflag
github.com
码
advertise
c.isset
log.fatalf
manage
赖
dflag
dockerfile
timeout
tls
录
cluster.go
driver
filter
heartbeat
install
tlscacert
tlsconfig
tlsverify
库
测
godep
manager
strategy
c.app.name
c.stringslice
cli.boolflag
cluster_test.go
compose.yml
cors
docker_swarm_code
flags
func
hosts
magnum
nodes
run.sh
scheduler
script.sh
Năm:
2018
Ngôn ngữ:
chinese
File:
EPUB, 163 KB
Các thể loại của bạn:
0
/
2.5
chinese, 2018
1
Đi tới
đường link này
hoặc tìm bot "@BotFather" trên Telegram
2
Xin gửi lệnh /newbot
3
Xin nêu tên cho bot của bạn
4
Xin nêu tên người dùng cho bot
5
Xin copy tin nhắn gần đây từ BotFather và dán nó và đây
×
×