పుస్తకాల శోధన
పుస్తకాలు
మాకు మద్దతు ఇవ్వాలనుకుంటే
సైన్ ఇన్ చేయండి
సైన్ ఇన్ చేయండి
మరిన్ని ఫీచర్లను యాక్సెస్ చేయడానికి
వ్యక్తిగత సిఫార్సులు
Telegram బాట్
డౌన్లోడ్ చరిత్ర
ఇమెయిల్ లేదా Kindle కు పంపండి
పుస్తకాల జాబితాలను నిర్వహించండి
ఇష్టమైన వాటికి సేవ్ చేయండి
వ్యక్తిగతమైన
పుస్తక అభ్యర్థనలు
అన్వేషించండి
Z-సిఫార్సు చేయండి
పుస్తక సేకరణలు
అత్యంత ప్రజాదరణమైనవి
వర్గాలు
సహకారం
మాకు మద్దతు ఇవ్వాలనుకుంటే
అప్లోడ్లు
Litera Library
కాగితపు పుస్తకాలను విరాళంగా ఇవ్వండి
కాగితపు పుస్తకాలను జోడించండి
Search paper books
నా LITERA Point
కీలక పదాల శోధన
Main
కీలక పదాల శోధన
search
1
Process Algebra: Equational Theories of Communicating Processes
CUP
J. C. M. Baeten
,
T. Basten
,
M. A. Reniers
bsp
transition
recursion
theorem
recursive
processes
systems
specification
deduction
tsp
mpt
axioms
consider
axiom
equational
rec
composition
bspτ
operators
branching
prove
bisimilarity
variables
bcp
defined
πn
function
bspdrt
parallel
signature
a.x
choice
termination
theories
aip
assume
finite
bisimulation
bsprec
prefix
implies
specifications
solution
conservative
tcp
step
tcpτ
proposition
trace
completeness
సంవత్సరం:
2010
భాష:
english
ఫైల్:
PDF, 1.55 MB
మీ ట్యాగ్లు:
0
/
0
english, 2010
2
君のいる町 第05巻
講談社
瀬尾 公治
orr
ors
shs
sth
woe
ags
aso
boe
brs
comics
hse
magazine
oas
ofa
ooo
oos
shonen
srs
ssa
sts
tbo
tit
yrs
ahs
ames
arr
bes
bof
bros
brt
cis
cros
dam
dore
eek
eho
fio
fre
hiv
hsa
isbn978
occ
onan
oof
orc
osb
otb
ous
prot
sats
సంవత్సరం:
2009
భాష:
japanese
ఫైల్:
PDF, 39.86 MB
మీ ట్యాగ్లు:
0
/
5.0
japanese, 2009
1
ఈ లింక్
ని అనుసరించండి లేదా టెలిగ్రామ్లో "@BotFather" బాట్ను కనుగొనండి
2
/ newbot ఆదేశాన్ని పంపండి
3
మీ చాట్బాట్ కోసం పేరును పేర్కొనండి
4
బాట్ కోసం వినియోగదారు పేరును ఎంచుకోండి
5
BotFather నుండి పూర్తి చివరి సందేశాన్ని కాపీ చేసి ఇక్కడ అతికించండి
×
×