• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۱۷۰ پاسخ غیر تکراری از ۱۷۱ پاسخ تکراری در مدت زمان ۰,۳۳ ثانیه یافت شد.

161. Symposium on semantics of algorithmic languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / edited by E. Engeler

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses

رده :
QA
76
.
7
.
S9
1971

162. Syntax-directed semantics :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Zoltán Fülöp, Heiko Vogler.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.

رده :
QA76
.
7
Z658
1998

163. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: editors, J.W. de Bakker and J.J.M.M. Rutten

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses

رده :
QA
76
.
642
.
T45
1992

164. The Logic of Partial Information

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: by Areski Nait Abdallah.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.

رده :
QA76
.
7
B937
1995

165. The formal semantics of programming languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / Glynn Winskel

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Programming languages (Electronic computers) -- Semantics

رده :
QA
76
.
7
.
W555
1993

166. The logic of partial information

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Nait Abdallah, Areski

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
N35
1995

167. The logic of partial information

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Areski Nait Abdallah

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
N3

168. Towards a formal description of Ada

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: edited by D. Bjorner and O.N. Oest

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics

رده :
QA
76
.
L4
v
.
98

169. Towards a formal description of Ada

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: edited by D. Bjørner and O.N. Oest.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.

رده :
QA76
.
73
.
A35
E358
1980

170. Truth, deduction, and computation

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / R.E. Davis

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing

رده :
QA76
.
7
.
D386
1989
  • »
  • 9
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال