пошук книг
книги
Підтримати
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на 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 та вставте його сюди
×
×