তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024
তহবিল সংগ্রহের বিষয়ে
বই অনুসন্ধান
বইগুলো
তহবিল সংগ্রহ:
53.5% সংগৃহীত
সাইন ইন করুন
সাইন ইন করুন
অনুমোদিত ব্যবহারকারীদের অ্যাক্সেস আছে:
ব্যক্তিগত সুপারিশ
Telegram বট
ডাউনলোড ইতিহাস
Email বা Kindle পাঠানো
বইয়ের তালিকা নিয়ন্ত্রণ
ফেভারিটে সংরক্ষণ করা
ব্যক্তিগত
বইয়ের অনুরোধ
এক্সপ্লোর
Z-Recommend
বইয়ের তালিকা
সবচেয়ে জনপ্রিয়
ক্যাটাগোরিগুলো
অংশগ্রহণ
দান করুন
আপলোডগুলি
Litera Library
কাগজের বই দান
কাগজের বই যোগ করুন
Search paper books
আমার LITERA Point
কীওয়ার্ড অনুসন্ধান
Main
কীওয়ার্ড অনুসন্ধান
search
1
Formal Refinement for Operating System Kernels
Springer-Verlag London
Iain D. Craig MA
,
PhD (auth.)
pid
operation
kernel
nullpid
serr
curr
ptab
refinement
pq1
schema
nxtp
queue
prio
processes
operations
defined
device
freebs
sq.pq
sysok
freech
specification
freehd
slps1
separation
freebs1
abstraction
prev
predicate
precondition
definition
syserr
first
prio1
procs
semaphore
implies
slps
element
expands
required
identifier
theorem
msg
sinuse
qlen
stack
sleepers
scheduler
msgsrc
সাল:
2007
ভাষা:
english
ফাইল:
PDF, 2.96 MB
আপনার ট্যাগগুলি:
0
/
0
english, 2007
2
Formal Refinement for Operating System Kernels
Springer
Iain D. Craig
pid
operation
kernel
nullpid
serr
curr
ptab
refinement
pq1
schema
nxtp
queue
prio
processes
operations
defined
device
freebs
sq.pq
sysok
freech
specification
freehd
slps1
separation
freebs1
abstraction
prev
predicate
precondition
definition
syserr
first
prio1
procs
semaphore
implies
slps
element
expands
required
identifier
theorem
msg
sinuse
qlen
stack
sleepers
scheduler
msgsrc
সাল:
2007
ভাষা:
english
ফাইল:
PDF, 2.35 MB
আপনার ট্যাগগুলি:
0
/
0
english, 2007
1
এই লিঙ্ক
অনুসরণ করুন অথবা Telegram-এ "@BotFather" বট অনুসন্ধান করুন
2
কমান্ড পাঠান / newbot
3
আপনার বটের জন্য একটি নাম উল্লেখ করুন
4
বটের জন্য একটি ব্যবহারকারীর নাম উল্লেখ করুন
5
BotFather থেকে লেটেস্ট মেসেজ কপি করে এখানে পেস্ট করুন
×
×