ค้นหาหนังสือ
หนังสือ
บริจาค
ลงชื่อเข้าใช้
ลงชื่อเข้าใช้
เพื่อเข้าถึงฟีเจอร์เพิ่มเติม
คำแนะนำส่วนตัว
บอท Telegram
ประวัติการดาวน์โหลด
ส่งไปยังอีเมล หรือ Kindle
จัดการรายการในบุ๊กลิสต์
บันทึกในรายการโปรด
ส่วนตัว
คำร้องขอเพิ่มหนังสือ
น่าสนใจ
Z-Recommend
รายชื่อหนังสือ
ได้รับความนิยมมากที่สุด
หมวดหมู่
การมีส่วนร่วม
บริจาค
รายการที่อัพโหลด
Litera Library
บริจาคหนังสือกระดาษ
เพิ่มหนังสือกระดาษ
Search paper books
จุด LITERA Point ของฉัน
ค้นหาคีย์เวิร์ด
Main
ค้นหาคีย์เวิร์ด
search
1
Handbook of Truly Concurrent Process Algebra
Morgan Kaufmann
Ph.D. Yong Wang
bisimulation
aptcsat
pomset
σabs
modulo
transition
rec
aptcdat
aptcsrt
concurrent
σrel
defined
timing
δ̇
ã
theorem
aptcdrt
branching
soundness
renaming
abs
τi
rooted
batcsat
axiom
prove
rbhp
batcsrt
omit
similarly
linear
step
aptcτ
congruence
rbp
υabs
proven
rbs
labeled
pabs
aptc
axioms
equivalences
event
ρf
hhp
υrel
events
b̃
operators
ปี:
2023
ภาษา:
english
ไฟล์:
PDF, 1.11 MB
แท็กของคุณ:
0
/
0
english, 2023
1
ติดตาม
ลิงก์นี้
หรือค้นหาบอท "@BotFather" บน Telegram
2
ส่งคำสั่ง /newbot
3
ระบุชื่อสำหรับแชทบอทของคุณ
4
เลือกชื่อผู้ใช้สำหรับบอท
5
คัดลอกข้อความล่าสุดทั้งหมดจาก BotFather แล้ววางที่นี่
×
×