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
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
Jahr:
1999
Sprache:
english
Datei:
PDF, 29.09 MB
Ihre Tags:
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
Jahr:
2023
Sprache:
english
Datei:
PDF, 13.18 MB
Ihre Tags:
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
Jahr:
2012
Sprache:
english
Datei:
PDF, 8.87 MB
Ihre Tags:
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
Jahr:
1979
Sprache:
chinese
Datei:
PDF, 9.57 MB
Ihre Tags:
0
/
0
chinese, 1979
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
×
×