عنوان
پدید آورنده
موضوع
رده
QA۹/۵۴ /ل۲ ۱۳۸۲
QA
۹
/
۵۴
/
ل
۲ ۱۳۸۲
کتابخانه
محل استقرار
1402012705
ز۵/۹۳
Logic for concurrency and synchronisation
/ edited by Ruy J.G.B. de Queiroz
Dordrecht
: Kulwer Academic Pub.
, 2003 = 1382.
xxi، ۲۸۴ ص.
مصور، نمودار
(Trends in logic; v. 18)
کتابنامه
لاجیک فور کانکرنسی اند سینکرنایزیشن
برهان
منطق موجهات
برنامهنویسی موازی
۱۱۵
/
۳
QA
۹
/
۵۴
/
ل
۲ ۱۳۸۲
، روی ، ویراستار، Queiroz, Ruy J.G.B. de
old catalog
