Suche nach Büchern
Bücher
Spenden
Einloggen
Einloggen
für autorisierte Benutzer stellen folgendes zur Verfügung:
Persönliche Empfehlungen
Telegram-Bot
Downloadverlauf
an E-Mail-Adresse oder Kindle senden
Bücherlisten verwalten
in Favoriten speichern
Persönlich
Suchanfrage nach dem Buch
Erkunden
Z-Recommend
Bücherlisten
Meistgefragt
Kategorien
Teilnahme
Spenden
Hochladen
Litera Library
Papierbücher spenden
Papierbücher hinzufügen
Search paper books
Mein LITERA Point
Suche nach den Begriffen
Main
Suche nach den Begriffen
search
1
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
The MIT Press
Sayan Mitra
automaton
𝒜
systems
hybrid
verification
figure
variables
automata
execution
invariant
input
function
initial
transition
models
trajectory
theorem
𝒜1
𝒜2
linear
finite
analysis
trajectories
algorithm
defined
proceedings
safety
transitions
equation
consider
output
clock
discrete
continuous
matrix
differential
reachable
define
stability
simulation
functions
executions
invariants
lyapunov
springer
formal
shown
ℝn
abstraction
conference
Jahr:
2021
Sprache:
english
Datei:
EPUB, 13.52 MB
Ihre Tags:
0
/
4.5
english, 2021
2
はじめの一歩 070 (週刊少年マガジンコミックス)
講談社
森川ジョージ
hioa
lodo
shh
ally
cme
eneno
gro
prr
rot
sass
sth
0aoaqa
25a
2bagy
2f7a1b
32x
4be
7yf
_mousme
aah
abm
abs
ache
achr
acth
aeek4
ahab
ahr
ation
atla
aud1
aupneaa
awe
ayala
azean
b4g
bac
baee
bane
bath
bbicobpse
bead
bes
bgm
bhg
bibgin
bids
bing
biounas
bliha
Jahr:
2004
Sprache:
japanese
Datei:
PDF, 79.35 MB
Ihre Tags:
0
/
5.0
japanese, 2004
3
河北省工农兵美术作品选e纪念毛主席在延安文艺座谈会上的讲话发表三十周年
石家庄:河北人民出版社
河北人民出版社编
canes
封
aaay
acces
aeons
amon
areer
arerr
badabr
berit
bes
brfese
bsr
cab
capr
cccveccvesces
ceb
ceeeev
ceeseecoeseeccncenssecananeneecaneseses
ceesne
cerenensescesencneanesee
ceseereeccceenecensennnscnnececeees
cesses
ceveereeeeee
chadd
chb
chd
cht
chul
cnees
coesesceecevennseecerconsneanener
coeter
cope
corb
core
coreescen
coreoeeseenecesensenees
corre
coveereeescesevsensansseseecancnennes
covsesveeseceecencencencaneanenaneneesseneesesses
crag
crd
creseeeeeseeceeveenes
crete
crg
crsceeeeeeeeceesnneeensenceceecereee
cuavtsraskend
cveveeeeecevcnennoscecanseneneseecensenee
danieye
dbt
Jahr:
1972
Sprache:
chinese
Datei:
PDF, 11.91 MB
Ihre Tags:
0
/
0
chinese, 1972
1
Folgen Sie
diesem Link
oder finden Sie einen Bot "@BotFather" in Telegram
2
Senden Sie Befehl /newbot
3
Geben Sie den Namen für Ihren Bot an
4
Geben Sie den Benutzername für den Bot
5
Kopieren Sie die letzte Meldung von BotFather und fügen Sie hier ein
×
×