도서 검색
책
기부
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
Telegram 봇
다운로드 기록
Email 혹은 Kindle로 전송하기
선택 목록 관리
즐겨찾기에 저장하기
개인
책 요청
연구
Z-Recommend
책 목록
가장 인기 있는
카테고리
참여
기부
업로드
Litera Library
종이책 기부하기
종이책 추가하기
Search paper books
나의 LITERA Point
핵심어 검색
Main
핵심어 검색
search
1
Program Development by Refinement: Case Studies Using the B Method
Springer-Verlag London
Ken A. Robinson (auth.)
,
Emil Sekerinski
,
Kaisa Sere (eds.)
refinement
operations
node
truck
variables
implementation
invariant
specification
machines
false
select
operation
belt
systems
abstract
procedures
step
initialisation
load2
nodes
method
bool
heap
container
item
parallel
global
algorithm
customer
arm2
sets
refined
edges
yob
obligations
balancing
parameters
controller
input
rot
loadl
queue
card
estim12
recl2
customers
crane
accounts
arml
composition
년:
1999
언어:
english
파일:
PDF, 29.09 MB
개인 태그:
0
/
0
english, 1999
2
Functional Safety for Embedded Systems
CRC Press
Guoqi Xie
,
Yawen Zhang
,
Renfa Li
,
Kenli Li
,
Keqin Li
reliability
safety
parallel
task
requirement
algorithm
embedded
tasks
systems
ecus
ecu
values
optimization
automotive
rreq
asil
response
algorithms
maximum
shown
motivational
heft
verification
calculate
method
generated
fault
enhancement
ffsv1
µs
calculated
ephco
ffsv2
rtreq
assigned
rmax
gmfra
gmnra
decomposition
n10
ssfse
validation
cehco
mdcrr
actual
scheduling
shows
bfse
figure
recovery
년:
2023
언어:
english
파일:
PDF, 13.18 MB
개인 태그:
0
/
5.0
english, 2023
3
Monadic Design Patterns for the Web
Artima Press
L.G. Meredith
glossary
contents
download
www.wowebook.com
suggest
discuss
overview
monad
syntax
trait
monads
function
abstract
parser
monadic
programming
map
collections
abstraction
parsing
parameter
context
extends
operations
presentation
notation
java
method
match
zippers
container
monoid
calculus
functions
operation
continuations
contexts
defined
streams
category
concrete
requests
override
sets
variables
dddeeefff
dsl
composition
element
implementation
년:
2012
언어:
english
파일:
PDF, 8.87 MB
개인 태그:
0
/
0
english, 2012
4
铁路勘测设计程序实例 FORTRAN语言
人民铁道出版社
铁道部第三勘测设计院科学技术研究所编
goto
nzl
abs
dyzp
iabs
nstq
nstz
10x
a1l
ag1
ktc
nseq
rrr
al1
nxp
sqrt
a12
kzl
ctr
a10
nste
bid
nq2
rra
12x
60x
agy
b1d
clp
j2,1
jqk1
nql
srr
agw
nfl
nq1
nqb
nzp
rea
a38
abr
bgd
bhr
computation
fida
k1,1
k1,3
ka1
neg
nqa
년:
1979
언어:
chinese
파일:
PDF, 9.57 MB
개인 태그:
0
/
0
chinese, 1979
1
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×