البحث عن الكتب
الكتب
التبرع والدعم
تسجيل الدخول
تسجيل الدخول
المستخدمين المصرح لهم متاح لهم التالي:
توصيات شخصية
روبوت Telegram
تاريخ التنزيلات
إرسال إلي Email أو Kindle
إدارة المجموعات المختارة
حفظ في المفضلة
شخصي
طلبات الكتب
تعلم
Z-Recommend
قوائم الكتب المختارة
الأكثر شهرة
الفئات
مشاركة
التبرع والدعم
التحميلات
Litera Library
التبرع بالكتب الورقية
أضف كتبًا ورقية
Search paper books
LITERA Point الخاص بي
البحث عن الكلمات الرئيسية
Main
البحث عن الكلمات الرئيسية
search
1
Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
Springer-Verlag Berlin Heidelberg
Stål Aanderaa (auth.)
,
E. Börger
,
G. Jäger
,
H. Kleine Büning
,
S. Martini
,
M. M. Richter (eds.)
function
variables
theorem
finite
formula
lemma
defined
linear
curtask
category
formulas
define
clauses
partial
input
calculus
fixpoint
functions
predicate
assume
graph
structures
clause
fixed
sets
logical
induction
interpretation
prove
proposition
lambda
statement
memory
consider
equivalent
transition
task
computation
logn
programs
corresponding
formulae
resp
programming
exists
symbols
equations
proofs
algorithm
models
عام:
1993
اللغة:
english
ملف:
DJVU, 3.83 MB
الشعارات الخاصة بك:
0
/
0
english, 1993
2
Expert System Applications
Springer-Verlag Berlin Heidelberg
William J. Clancey
,
Conrad Bock (auth.)
,
Leonard Bolc
,
Michael J. Coombs (eds.)
task
context
systems
circuit
reasoning
defined
solving
fuzzy
goal
artificial
function
intelligence
metarules
specific
possibility
hypotheses
network
figure
current
values
element
lisp
functions
approach
etn
statement
strategy
prade
resistor
method
neomycin
predicate
abstract
contexts
mechanism
analysis
attribute
inference
interpreter
semantic
diagnosis
operation
rulefor
explicit
solution
attributes
metarule
programmer
probability
causal
عام:
1988
اللغة:
english
ملف:
PDF, 22.97 MB
الشعارات الخاصة بك:
0
/
0
english, 1988
3
A to Z of C :: 47. Writing Operating System
R. Rajesh Jeba Anbiah
void
ptcb
unsigned
define
psem
ticks
pstackrec
char
stacksize
taskstatus
tcb
task
curtask
buf
mils
ptcbi
ptaskparam
stack
02d
ptcb_rec
ossemwait
ezos_86
osdisable
osenable
ptcbsi
tputs
interrupt
intsenabled
numtasks
operating
osschedule
ossemclear
ossleep
ostaskcreate
tsk_err_timeout
dumpstack
kernel
ptcbsc
run_asap
screen
tasksp
taskss
tprintf
_sp
_ss
christensen
false
funcptr
multitasking
os_infinite_wait
عام:
2003
ملف:
PDF, 38 KB
الشعارات الخاصة بك:
0
/
0
2003
1
ادخل علي
هذا الرابط
أو إبحث عن البوت "@BotFather" في Telegram
2
أرسل الأمر /newbot
3
أدخل إسمًا للبوت الخاص بك
4
أدخل إسم المستخدم للبوت
5
انسخ الرسالة الأخيرة من BotFather والصقها هنا
×
×