도서 검색
책
기부
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
Telegram 봇
다운로드 기록
Email 혹은 Kindle로 전송하기
선택 목록 관리
즐겨찾기에 저장하기
개인
책 요청
연구
Z-Recommend
책 목록
가장 인기 있는
카테고리
참여
기부
업로드
Litera Library
종이책 기부하기
종이책 추가하기
Search paper books
나의 LITERA Point
핵심어 검색
Main
핵심어 검색
search
1
Dictionary of the Apatani Language: Apatani-English Dictionary (with English-Apatani Index)
Bouchery Pascal
vsuff
variety
usage
suffix
rice
esp
subject
zool
indicating
paddy
n:num
apatani
encycl
bulla
vcn
reference
atan
pronoun
ngiika
ziro
piilo
etym
cane
siika
agr
sanii
myoko
n:qual
apin
subu
denoted
aji
murun
sword
basket
miyu
yasi
mithun
n:time
nphr
firewood
inka
alyi
species
nanii
roots
split
ajin
unspecified
hiila
년:
2009
언어:
english
파일:
PDF, 3.56 MB
개인 태그:
0
/
0
english, 2009
2
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Springer
Wolfgang Schreiner
invariant
theorem
algorithm
execution
client
riscal
formula
resource
array
bool
ensures
verification
false
variables
values
decreases
function
output
polynomial
error
invariants
executing
checked
inputs
step
propositional
satisfies
checking
corresponding
a:set
n:num
proc
search
nodes
clause
models
formulas
map
zero
discs
correctness
rnum
m:num
network
node
shared
specification
theorems
computation
clauses
년:
2023
언어:
english
파일:
PDF, 4.14 MB
개인 태그:
0
/
5.0
english, 2023
3
Formalization of Complex Analysis and Matrix Theory
Springer Singapore;Springer
Zhiping Shi
,
Yong Guan
,
Ximeng Li
theorem
matrix
function
complex
matrices
formalization
hol4
formalized
vectors
vector
linear
algebraic
dft
element
cft
rank
spaces
mathematical
operation
systems
product
operations
formal
rewrite_tac
addition
defined
gauge
functions
groups
exp
analysis
prove
integrable
proven
formalize
row
zero
formally
frequency
multiplication
omega
orthogonal
inverse
lemma
verification
verified
goal
definitions
fourier
theorems
년:
2020
언어:
english
파일:
PDF, 15.12 MB
개인 태그:
0
/
0
english, 2020
4
LALRPOP中文机翻
LALRPOP中文机翻unknown
lalrpop
析
expr
符
您
i32
input
码
匹
lexer
串
unwrap
牌
parse
操
opcode
优
测
添
_eq
match
stmt
error
n.fn
宏
箱
enum
parseerror
from_str
termparser
exprsparser
usize
逗
默
exprop
external
含
赖
rust
factorop
lalrpop_util
p:a
std
恢
盒
assert
build.rs
calculator2b
numsymbol
option
년:
2022
언어:
chinese
파일:
PDF, 840 KB
개인 태그:
0
/
2.0
chinese, 2022
1
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×