Darowizna 15 września 2024 – 1 października 2024
O zbieraniu funduszy
wyszukiwanie książek
książki
Darowizna:
65.3% wykorzystano
Wejdź
Wejdź
uprawnieni użytkownicy mają dostęp do:
osobiste rekomendacje
Bot Telegramu
historia pobierania
wyślij do Email lub Kindle
zarządzanie zbiorami
zapisywanie w ulubionych
Osobiste
Zapytania o książkę
Nauka
Z-Recommend
Lista książek
Najbardziej popularne
Kategorie
Uczestnictwo
Wsparcie
Pobrania
Litera Library
Podaruj papierowe książki
Dodaj papierowe książki
Search paper books
Mój LITERA Point
Wyszukiwanie kluczowych słów
Main
Wyszukiwanie kluczowych słów
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
Rok:
1999
Język:
english
Plik:
PDF, 29.09 MB
Twoje tagi:
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
Rok:
2023
Język:
english
Plik:
PDF, 13.18 MB
Twoje tagi:
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
Rok:
2012
Język:
english
Plik:
PDF, 8.87 MB
Twoje tagi:
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
Rok:
1979
Język:
chinese
Plik:
PDF, 9.57 MB
Twoje tagi:
0
/
0
chinese, 1979
1
Skorzystaj z
tego linku
lub wyszukaj bota „@BotFather” w Telegramie
2
Wyślij polecenie /newbot
3
Wpisz nazwę swojego bota
4
Wprowadź nazwę użytkownika dla bota
5
Skopiuj najnowszą wiadomość od BotFather i wklej ją tutaj
×
×