书籍搜索
书
捐款
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering
Addison-Wesley Pub (Sd)
John Wordsworth
schema
false
specification
enrolled
sets
predicate
operations
function
operation
predicates
response
values
exercises
library
refinement
specifications
ectr
notation
schemas
abstract
sarray
declaration
tested
informal
concrete
formal
input
variables
figure
programming
manager
algorithm
enrol
existential
ctr
initial
declarations
defined
precise
disjunction
invariant
assistant
quantifier
functions
array
command
quantification
behaviour
conjunction
onjshelves
年:
1992
语言:
english
文件:
DJVU, 2.12 MB
您的标签:
0
/
0
english, 1992
2
Programiz Swift 教程(初译)
iBooker it-ebooks
it-ebooks
符
swift
函
您
循
串
false
范
含
func
操
码
访
储
键
控
递
优
guard
赋
印
套
嵌
典
statements
programming
msg
签
switch
屏
幕
默
intarr
www.programiz.com
repeat
迭
添
索
somevalue
output
sitename
function
jack
iteration
someclosure
apple.com
匹
currentlevel
nepal
顺
年:
2020
语言:
chinese
文件:
EPUB, 787 KB
您的标签:
0
/
4.0
chinese, 2020
3
Data Structures & Algorithms Interview Questions You'll Most Likely Be Asked, 3rd Edition
Vibrant Publishers
Publishers
,
Vibrant
array
node
linked
element
algorithm
interview
algorithms
search
graph
likely
sorted
binary
nodes
sorting
structures
stack
hash
huffman
key
vertex
pointer
function
coding
queue
stored
values
adjacency
path
step
arrays
memory
vertices
check
interviewer
lists
insert
counter
hashing
traversal
implement
matrix
linear
customer
false
specific
graphs
implementation
programming
sets
operation
年:
2016
语言:
english
文件:
EPUB, 1.00 MB
您的标签:
0
/
0
english, 2016
4
Методические указания по программированию на С++
Иевлев И.И.
класса
char
функции
файл
операции
класс
файла
оператор
выражение
классов
примеры
члены
void
строки
данных
типа
вывода
символ
ввода
возвращает
поток
функций
const
число
переменной
потока
тип
функция
intstack
базового
операция
struct
классы
указатель
cout
endl
вывод
данные
переменных
имеют
описание
открыть
переменные
define
delete
stdio.h
объекта
памяти
производного
производных
语言:
russian
文件:
DOC, 346 KB
您的标签:
0
/
0
russian
5
Java语言实用教程
邵丽萍等编著
java
println
applet
static
false
void
args
printin
char
float
switch
exe
2_01
fef
leap
rea
arr
boolean
rik
bie
byte
download
rra
abr
arr3
clock
epr
ffe
fre
intarr
lab
prr
standard
cels
demo
downloads
earl
frm
import
j2sdk1
j2sdkl
j2se
oak
path
pras
rab
rrs
brr
brs
bse
年:
2004
语言:
chinese
文件:
PDF, 44.43 MB
您的标签:
0
/
0
chinese, 2004
6
Работа с указателями в DELPHI. Как избежать использования неактуальных указателей
Becker D.S.
pointer
mov
myptr
указатель
памяти
указателей
function
eax
ptr
указателя
ecx
method
указатели
byte
isnil
nilify
getmem
integer
pointers
sizeof
formname
freemem
memory
tobject
количество
указателями
delphi
myarray
vcl
xptr
байт
использования
использовать
массив
модуль
объекта
устанавливает
array
assigned
char
dispose
longint
mdi
nildispose
nilfree
nilfreemem
sender
tform
корректного
любых
语言:
russian
文件:
DOC, 54 KB
您的标签:
0
/
0
russian
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×