գրքերի որոնում
գրքեր
Աջակցել
Մուտք գործել
Մուտք գործել
մուտք գործելուց հետո օգտատերերին հասանելի են․
անհատականացված առաջարկություններ
Telegram բոտ
ներբեռնումների պատմությունը
էլ. փոստին կամ Kindle-ին ուղարկումը
հավաքածուների կառավարումը
ընտրյալներին պահպանումը
Անձնական
Գրքերի հարցումներ
Ուսումնասիրում
Z-Recommend
Գրքերի հավաքածու
Ամենահայտնի
Կատեգորիաներ
Մասնակցություն
Աջակցել
Ներբեռնումներ
Litera Library
Նվիրաբերել թղթե գրքեր
Ավելացնել թղթե գրքեր
Search paper books
Իմ LITERA Point-ը
Բանալի բառերի որոնում
Main
Բանալի բառերի որոնում
search
1
Communication and Concurrency
Prentice Hall PTR
Robin Milner
proposition
calculus
bisimulation
prove
composition
define
consider
defined
systems
equations
variables
examples
combinators
equality
transition
bisimilarity
jobber
defining
buffn
equation
induction
specification
behaviour
programming
finite
sequential
observation
restriction
determinacy
summation
confluent
hoare
sched
combinator
whenever
wish
congruence
hammer
scheduler
ports
confluence
expansion
inference
relabelling
definitions
function
assume
standard
labels
operators
Տարի:
1995
Լեզու:
english
Ֆայլ:
DJVU, 1.99 MB
Ձեր թեգերը:
0
/
0
english, 1995
2
Communication and Concurrency
PH
Milner R.
proposition
calculus
bisimulation
prove
composition
define
consider
defined
systems
equations
variables
examples
combinators
equality
transition
jobber
bisimilarity
defining
equation
buffn
induction
specification
behaviour
programming
sequential
finite
observation
restriction
determinacy
hoare
summation
confluent
sched
whenever
wish
combinator
congruence
scheduler
hammer
ports
confluence
expansion
inference
relabelling
definitions
function
assume
standard
labels
operators
Տարի:
1995
Լեզու:
english
Ֆայլ:
DJVU, 1.96 MB
Ձեր թեգերը:
0
/
0
english, 1995
1
Հետևեք
այս հղմանը
կամ որոնեք @BotFather բոտը Telegram-ում
2
Ուղարկեք /newbot հրամանը
3
Նշեք ձեր բոտի անունը
4
Նշեք բոտի օգտատիրոջ անունը
5
Պատճենեք վերջին հաղորդագրությունը BotFather-ից և տեղադրեք այն այստեղ
×
×