کتاب زبان اصلی Algebraic Computability and Enumeration Models کتاب محاسبات جبری و مدل های شمارش Algebraic Computability and Enumeration Models نوشته سیروس اف نورانی در سال 2000 میلادی منتشر شده است این کتاب به بررسی مدل های محاسباتی جبری و روش های شمارش توابع و ساختارهای جبری می پردازد مطالب آن شامل خواص جبری مجموعه های محاسبه پذیر ماشین های تورینگ شمارش پذیری الگوریتم های شمارش و کاربردها در نظریه اعداد است این کتاب برای دانشجویان و پژوهشگران علوم کامپیوتر و ریاضیات مفید است