wyszukiwanie książek
książki
Wsparcie
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
A Survey of Verification Techniques for Parallel Programs
Springer-Verlag Berlin Heidelberg
Howard Barringer (auth.)
processes
parallel
programs
proofs
correctness
rdy
rmn
variables
count
examples
false
method
rmx
sequential
inference
bagol
specification
buffer
mysz
zac
interference
input
invariant
assertions
verification
owicki
integer
methods
outp
critical
tnp
mym
append
assertion
element
lmax
statement
approach
consider
predicate
specifications
compt
lattice
original
p_on
parallelism
summary
auxiliary
bubble
seq
Rok:
1985
Język:
english
Plik:
DJVU, 781 KB
Twoje tagi:
0
/
0
english, 1985
2
結界師 第29巻
小学館
田辺イエロウ
rro
bie
o46
ous
rrs
419e
bbe
bes
boe
brl
brr
brs
c9979
hoh
hry
hsn
illustration
isbn978
kaw
mbh
nase
ores
ors
osteo
rees
rmr
rss
shs
ttt
ues
wipe
3y72o
_v
aaonlsh
abet
abin
abobcsi1y
abode
absa
ache
acon
arik
aritszhes
arneoe
arps
arr
assene
asso
aste
atary
Rok:
2010
Język:
japanese
Plik:
PDF, 37.33 MB
Twoje tagi:
0
/
5.0
japanese, 2010
3
KW-10型文氏消声器研制报告
北京市劳动保护科学研究所;闽东噪声控制设备厂;北京市丰台矿用工具厂
北京市劳动保护科学研究所,闽东噪声控制设备厂,北京市丰台矿用工具厂
mre
prl
rrr
1104b
1odxkhfs
3bn
aawkrhrime
abn
afl
agra
ags
aoa
aram
aret
arf
arh
arie
armaxere
arp
arrbm
atrrhprabp
atw
b25
baar
babar
babee
baer
bagol
bahfpea1s4b
baia
bars
bauer
baw
bayrax
bbl
bbs
beale
bears
beb
bema
betes
blm
bmt
bnl
bohs
bork
boros
bpay
brant
brr
Język:
chinese
Plik:
PDF, 151 KB
Twoje tagi:
0
/
0
chinese
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
×
×