търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
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
Език:
english
Файл:
PDF, 1.12 MB
Вашите тагове:
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
Година:
1990
Език:
english
Файл:
PDF, 693 KB
Вашите тагове:
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
Година:
2003
Език:
english
Файл:
PDF, 168 KB
Вашите тагове:
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
Година:
2018
Език:
chinese
Файл:
EPUB, 163 KB
Вашите тагове:
0
/
2.5
chinese, 2018
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×