գրքերի որոնում
գրքեր
Աջակցել
Մուտք գործել
Մուտք գործել
մուտք գործելուց հետո օգտատերերին հասանելի են․
անհատականացված առաջարկություններ
Telegram բոտ
ներբեռնումների պատմությունը
էլ. փոստին կամ Kindle-ին ուղարկումը
հավաքածուների կառավարումը
ընտրյալներին պահպանումը
Անձնական
Գրքերի հարցումներ
Ուսումնասիրում
Z-Recommend
Գրքերի հավաքածու
Ամենահայտնի
Կատեգորիաներ
Մասնակցություն
Աջակցել
Ներբեռնումներ
Litera Library
Նվիրաբերել թղթե գրքեր
Ավելացնել թղթե գրքեր
Search paper books
Իմ LITERA Point-ը
Բանալի բառերի որոնում
Main
Բանալի բառերի որոնում
search
1
Programming and Mathematical Method: International Summer School
Springer-Verlag Berlin Heidelberg
Prof. Dr. Edsger W. Dijkstra (auth.)
,
Manfred Broy (eds.)
specification
function
input
programming
programs
output
defined
variables
define
trace
finite
choice
theorem
lemma
specifications
predicate
signals
signal
functions
false
abstract
sequ
refinement
systems
consider
composition
proofs
observation
step
operators
transform
prove
statement
obs
prefix
induction
infinite
partial
timed
processes
sequential
notation
streams
algorithm
edited
commands
concrete
x.p
atomic
equation
Տարի:
1992
Լեզու:
english
Ֆայլ:
DJVU, 3.91 MB
Ձեր թեգերը:
0
/
0
english, 1992
2
Programming and Mathematical Method: International Summer School
Springer-Verlag Berlin Heidelberg
Prof. Dr. Edsger W. Dijkstra (auth.)
,
Manfred Broy (eds.)
specification
function
input
programming
programs
output
variables
defined
trace
define
choice
theorem
lemma
specifications
predicate
signal
signals
functions
finite
false
abstract
sequ
refinement
systems
consider
composition
proofs
observation
step
operators
transform
prove
obs
statement
induction
partial
timed
processes
sequential
notation
streams
algorithm
edited
commands
x.p
concrete
equation
f.x
infinite
atomic
Տարի:
1992
Լեզու:
english
Ֆայլ:
PDF, 31.22 MB
Ձեր թեգերը:
0
/
0
english, 1992
3
商用微积分
何典恭编著
civ
cii
function
arr
brr
rrr
prr
brad
cit
coordinate
domf
fle
interval
xedom
bhr
edom
fla
fndom
inequality
ranf
rbs
rea
reece
renee
rrs
xedomf
y20
bard
ciii
ece
ence
fea
fuuction
gef
lyl
mrr
pema
positive
rarer
rpt
rra
rse
srr
tees
vav
ys0
aor
apb
arb
arerr
Տարի:
1980
Լեզու:
chinese
Ֆայլ:
PDF, 8.98 MB
Ձեր թեգերը:
0
/
0
chinese, 1980
1
Հետևեք
այս հղմանը
կամ որոնեք @BotFather բոտը Telegram-ում
2
Ուղարկեք /newbot հրամանը
3
Նշեք ձեր բոտի անունը
4
Նշեք բոտի օգտատիրոջ անունը
5
Պատճենեք վերջին հաղորդագրությունը BotFather-ից և տեղադրեք այն այստեղ
×
×