籌款 9月15日 2024 – 10月1日 2024
關於籌款
書籍搜索
圖書
籌款:
66.7% 已募集
登錄
登錄
訪問更多功能
個人建議
電報機器人
下載歷史
發送到電子郵件或 Kindle
管理書單
保存到收藏夾
個人的
查詢書籍
探索
Z-推薦
書單
最受歡迎
類別
貢獻
捐款
上傳
Litera Library
捐贈紙質書籍
添加紙質書籍
Search paper books
我的 LITERA Point
術語搜索
Main
術語搜索
search
1
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science, 3472)
Springer
jpg
input
sequences
testing
output
7bs
implementation
preorder
transition
uio
algorithm
initial
specification
trace
homing
synchronizing
method
node
labeled
finite
machines
processes
current
automata
systems
figure
tests
mealy
conformance
preorders
traces
distinguishing
graph
button
defined
outputs
applying
refusal
path
algorithms
apply
sets
valid
equivalent
pds
shown
step
checking
internal
tester
年:
2005
語言:
english
文件:
RTF , 3.66 MB
你的標籤:
0
/
0
english, 2005
2
Асинхронные автоматы: Классификация и тестирование
Бурдонов И.Б.
,
Косачев А.С.
,
Кулямин В.В.
автомата
автомат
переходов
состоянии
автоматов
стимулов
переходы
переход
множество
словарной
функции
слов
состояния
состояние
состояний
стимул
стимула
множества
пустых
автоматы
рис
класса
сериализаций
входного
реакции
очереди
тестирования
пустые
сериализации
входное
квази
класс
называть
перехода
пустой
автомате
конечное
число
конечных
каждого
функция
входной
входных
реакций
совпадает
допустимых
словарная
посылающие
стимулы
функцию
語言:
russian
文件:
PDF, 1.53 MB
你的標籤:
0
/
0
russian
3
YHT Cover.qxd
JAYNE BROOKS
iec
voltage
isolation
specified
maximum
coupler
output
circuit
input
insulation
partial
discharge
method
temperature
magnetic
couplers
electrical
measuring
safety
figure
immunity
pulse
measurement
apparent
standards
resistance
peak
reinforced
transient
iorm
voltages
terminals
tests
device
current
manufacturer
ratings
testing
defined
publication
bsi
rated
values
materials
supply
datasheet
devices
initial
package
rate
年:
2011
語言:
english
文件:
PDF, 1.34 MB
你的標籤:
0
/
0
english, 2011
4
Giant osmotic energy conversion measured in a single transmembrane boron nitride nanotube
Nature Publishing Group
Alessandro Siria & Philippe Poncharal & Anne-Laure Biance & Rémy Fulcrand & Xavier Blase & Stephen T. Purcell & Lydéric Bocquet
surface
bnnt
osmotic
current
nanotube
transport
salt
nanotubes
boron
fluid
conductance
methods
supplementary
driven
membrane
nitride
streaming
nanofluidic
measured
measurements
phys
transmembrane
difference
diffusio
fluidic
l.b
mobility
range
salinity
versus
zeta
chemical
cmin
corresponding
density
device
experimental
induced
iosm
kosm
layer
linear
m22
reservoirs
voltage
cmax
conductivity
dashed
electron
gradient
年:
2013
語言:
english
文件:
PDF, 662 KB
你的標籤:
0
/
0
english, 2013
5
iOS App界面设计创意与实践
人民邮电出版社
Shawn Welch
ios
iphone
xcode
app
ipad
builder
myvariable
ffa
ipod
fef
simulator
touch
shawn
welch
itunes
core
developer
fea
fromideatoapp.com
uiviewcontroller
arf
ffe
mvc
rra
alloc
arh
asr
fre
hra
library
prat
10s
abr
documents
eab
fpr
frr
iosh
kelby
mra
mylabel
pragma
pray
rtt
sce
uilabel
1os
aiff
animation
apple
文件:
PDF, 50.76 MB
你的標籤:
0
/
0
1
關注
此鏈接
或在 Telegram 上找到“@BotFather”機器人
2
發送 /newbot 命令
3
為您的聊天機器人指定一個名稱
4
為機器人選擇一個用戶名
5
從 BotFather 複製完整的最後一條消息並將其粘貼到此處
×
×