1. Abstract computing machines :
پدیدآورنده: / W. Kluge
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory,Lambda calculus
رده :
E-BOOK
2. Abstract computing machines ; a lambda calculus perspective
پدیدآورنده: / W. Kluge
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Machine theory,Lambda calculus
رده :
QA
278
.
K6
2005
3. Processes, terms and cycles
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Lambda calculus. ; Rewriting systems (Computer science) ; Machine theory. ;
4. Processes, terms and cycles
پدیدآورنده: / Aart Middeldorp ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Lambda calculus.,Rewriting systems (Computer science),Machine theory.
رده :
QA
,
9
.
5
,.
P76
,
2005
