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

1. Aspects of computation and automata theory with applications

پدیدآورنده: / editors Noam Greenberg ... [et al.]

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

موضوع: Machine theory.,Computational complexity.,Recursion theory.

رده :
RIS Bibtex ISO

2. Automata, languages, and programming :

پدیدآورنده: edited by Jan Paredaens.

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

موضوع: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.

رده :
RIS Bibtex ISO

3. Computability, complexity, and languages :

پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker

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

موضوع: Computational complexity,Formal languages,Machine theory

رده :
QA267
.
D38
1994
مشاهده در قفسه مجازی RIS Bibtex ISO

4. Computing with foresight and industry :

پدیدآورنده: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).

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

موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.

رده :
QA9
.
59
.
C67
2019
مشاهده در قفسه مجازی RIS Bibtex ISO

5. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983

پدیدآورنده: Internatinal FCT-confernce, Borgholm, Sweden, 3891

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

موضوع: ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses

رده :
QA
9
.
6
.
I57
1983
مشاهده در قفسه مجازی RIS Bibtex ISO

6. Fundamentals of computation theory

پدیدآورنده: / edited by Marek Karpinski

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

موضوع: Recursion theory -- Congresses,Computational complexity -- Congresses,Machine theory -- Congresses,Categories (Mathematics) -- Congresses

رده :
QA
9
.
6
.
I57
1977
مشاهده در قفسه مجازی RIS Bibtex ISO

7. Fundamentals of computation theory : Proceedings of the 1977 International FCT-Conference Poznan-Kornik, Doland, September 19-23, 1977

پدیدآورنده: / edited by Marek Karpinski

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

موضوع: Recursion theory - Congresse,Computational complexity - Congresses,Machine theory - Congresses

رده :
QA267
.
I57
1977
مشاهده در قفسه مجازی RIS Bibtex ISO

8. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977

پدیدآورنده: edited by Marek Karpinski

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

موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(

رده :
QA
76
.
L4
v
.
56
مشاهده در قفسه مجازی RIS Bibtex ISO

9. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977

پدیدآورنده: edited by Marek Karpinski

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

موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(

رده :
QA
76
.
L28
Vol
.
56
مشاهده در قفسه مجازی RIS Bibtex ISO

10. Fundamentals of computation theory: proceedings of the 1977 International FCT- Conference, Poznan-Kornik, Poland, September 19-23, 1977

پدیدآورنده: edited by Marek Karpinski

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

موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(

رده :
QA
9
.
6
.
I57
1977
مشاهده در قفسه مجازی RIS Bibtex ISO

11. Language and Automata Theory and Applications :

پدیدآورنده: edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.

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

موضوع: Computer science.,Computer software.,Logic design.

رده :
RIS Bibtex ISO

12. Mathematical Foundations of Computer Science 1976 :

پدیدآورنده: edited by Antoni Mazurkiewicz.

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

موضوع: Computer science.,Computer Science.,Computers.

رده :
QA267
.
3
E358
1976
مشاهده در قفسه مجازی RIS Bibtex ISO

13. Ordered Sets

پدیدآورنده: edited by Ivan Rival.

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

موضوع: Algebra.,Computational complexity.,Computer science.

رده :
RIS Bibtex ISO
  • »
  • 1
  • «

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

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