کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابLogic for concurrency and synchronisation[CD]
پدیدآورنده: / edited by Ruy J.G.B. de Queiroz
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Proof theory,Modality (Logic),Parallel programming (Computer science)
رده :
CD1743-35
