ค้นหาหนังสือ
หนังสือ
บริจาค
ลงชื่อเข้าใช้
ลงชื่อเข้าใช้
เพื่อเข้าถึงฟีเจอร์เพิ่มเติม
คำแนะนำส่วนตัว
บอท Telegram
ประวัติการดาวน์โหลด
ส่งไปยังอีเมล หรือ Kindle
จัดการรายการในบุ๊กลิสต์
บันทึกในรายการโปรด
ส่วนตัว
คำร้องขอเพิ่มหนังสือ
น่าสนใจ
Z-Recommend
รายชื่อหนังสือ
ได้รับความนิยมมากที่สุด
หมวดหมู่
การมีส่วนร่วม
บริจาค
รายการที่อัพโหลด
Litera Library
บริจาคหนังสือกระดาษ
เพิ่มหนังสือกระดาษ
Search paper books
จุด LITERA Point ของฉัน
ค้นหาคีย์เวิร์ด
Main
ค้นหาคีย์เวิร์ด
search
1
Formal Models of Operating System Kernels
Springer
Iain D. Craig
operation
processes
kernel
apref
storage
pid
proposition
queue
elts
defined
operations
procs
virtual
lpno
segment
schema
currentp
clock
priority
swapping
messages
pref
swapped
device
freeids
holes
systems
isr
interrupt
sched
current
driver
predicate
pagetable
descriptor
semaphore
context
scheduler
lock
logicalpageno
specification
contains
definition
first
identifier
implies
fault
required
lck
operating
ปี:
2007
ภาษา:
english
ไฟล์:
PDF, 1.91 MB
แท็กของคุณ:
0
/
5.0
english, 2007
2
Formal Models of Operating System Kernels
Springer
Iain D. Craig
operation
processes
kernel
apref
storage
pid
proposition
queue
elts
defined
operations
procs
virtual
lpno
segment
schema
currentp
clock
priority
swapping
messages
pref
swapped
device
freeids
holes
systems
isr
interrupt
sched
current
driver
predicate
pagetable
descriptor
semaphore
context
scheduler
lock
logicalpageno
specification
contains
definition
first
identifier
implies
fault
required
lck
operating
ปี:
2007
ภาษา:
english
ไฟล์:
PDF, 1.77 MB
แท็กของคุณ:
0
/
0
english, 2007
3
Formal Models of Operating System Kernels
Springer
Iain D. Craig
operation
processes
kernel
apref
storage
pid
proposition
queue
elts
defined
operations
procs
virtual
lpno
segment
schema
currentp
clock
priority
swapping
messages
pref
swapped
device
freeids
holes
systems
isr
interrupt
sched
current
driver
predicate
pagetable
descriptor
semaphore
context
scheduler
lock
logicalpageno
specification
contains
definition
first
identifier
implies
fault
required
lck
operating
ปี:
2006
ภาษา:
english
ไฟล์:
PDF, 1.60 MB
แท็กของคุณ:
0
/
0
english, 2006
4
Formal Models of Operating System Kernels
Springer
Iain D. Craig
operation
processes
kernel
apref
storage
pid
proposition
queue
elts
defined
operations
procs
virtual
lpno
segment
schema
currentp
clock
priority
swapping
messages
pref
swapped
device
freeids
holes
systems
isr
interrupt
sched
current
driver
predicate
pagetable
descriptor
semaphore
context
scheduler
lock
logicalpageno
specification
contains
definition
first
identifier
implies
fault
required
lck
operating
ปี:
2007
ภาษา:
english
ไฟล์:
PDF, 1.79 MB
แท็กของคุณ:
0
/
0
english, 2007
1
ติดตาม
ลิงก์นี้
หรือค้นหาบอท "@BotFather" บน Telegram
2
ส่งคำสั่ง /newbot
3
ระบุชื่อสำหรับแชทบอทของคุณ
4
เลือกชื่อผู้ใช้สำหรับบอท
5
คัดลอกข้อความล่าสุดทั้งหมดจาก BotFather แล้ววางที่นี่
×
×