تعداد ۲۴ پاسخ غیر تکراری از ۲۸ پاسخ تکراری در مدت زمان ۴,۵۰ ثانیه یافت شد.

1. Artificial Intelligence in Logic Design

پدیدآورنده : by Svetlana N. Yanushkevich.

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

موضوع : Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.

2. Dag Prawitz on proofs and meaning /

پدیدآورنده : Heinrich Wansing, editor

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

موضوع : Logic design.,Logic, Symbolic and mathematical.,Logic.,Philosophy.,Logics and Meanings of Programs.,Mathematical Logic and Foundations.,Philosophy.

رده :

BC71

3. Foundations of computing : system development with set theory and logic

پدیدآورنده : Scheurer, Thierry

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

موضوع : ، System design,، Set theory,، Logic, Symbolic and mathematical

رده :

QA

76

.

9

.

S88

.

S29

1994

4. Foundations of computing : system development with set theory and logic

پدیدآورنده : Scheurer, Thierry.

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

موضوع : System design , Set theory , Logic, Symbolic and mathematical

رده :

QA

76

.

9

.

S88

S29

1994

5. Introduction to digital logic design

پدیدآورنده : Hayes, John Patrick, 4491-

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

موضوع : Design ، Electronic digital computers -- Circuits,، Logic design,، Logic, Symbolic and mathematical

رده :

TK

7888

.

4

.

H29I6

6. Introduction to digital logic design

پدیدآورنده : Hayes, John Patrick

موضوع : Design ، Electronic digital computers -- Circuits,، Logic design,، Logic, Symbolic and mathematical

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

7. Introduction to digital logic design

پدیدآورنده : Hayes, John Patrick

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

موضوع : Circuits -- Design ، Electronic digital computers,، Logic design,، Logic, Symbolic and mathematical

رده :

TK

7888

.

4

.

H39

1993

8. Iteration Theories :

پدیدآورنده : by Stephen L. Bloom, Zoltán Ésik.

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

موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.

رده :

QA76

.

9

.

M35

B978

1993

9. Logic design theory

پدیدآورنده : / Nripendra N. Biswas

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

موضوع : Logic design,Logic, Symbolic and mathematical

رده :

TK7888

,.

4

.

B57

1993

10. Logic design theory

پدیدآورنده : Nripendra N. Biswas

موضوع : Logic design,Logic, Symbolic and mathematical

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

11. Logic design theory

پدیدآورنده : Biswas, Nripendra Nath

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Logic design,، Logic, Symbolic and mathematical

رده :

TK

7888

.

4

.

B57

12. Logic design theory

پدیدآورنده : / Nripendra N. Biswas

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

موضوع : Logic design,Logic, Symbolic and mathematical

رده :

TK7888

.

4

.

B57

1993

13. Logical Methods

پدیدآورنده : edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.

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

موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.

14. Logically determined design :

پدیدآورنده : / Karl M. Fant

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

موضوع : Asynchronous circuits , Design and construction,Logic, Symbolic and mathematical,Logic design,Computer architecture

رده :

E-BOOK

15. Logically determined design

پدیدآورنده : / Karl M. Fant

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

موضوع : Asynchronous circuits- Design and construction,Logic, Symbolic and mathematical,Logic design,Computer architecture

رده :

TK7868

.

A79F36

2005

16. Logically determined design : clockless system design with NULL convention logic

پدیدآورنده : Fant, Karl M.

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

موضوع : Design and construction ، Asynchronous circuits,، Logic, Symbolic and mathematical,، Logic design,، Computer architecture

رده :

TK

7868

.

A79F26

17. Ones and zeroes

پدیدآورنده : John Gregg

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

موضوع : Electronic digital computers - circuits - Design,Logic, Symbolic and mathematical,Algebra, Boolean,Set theory

رده :

TK

,

7888

.

4

,.

G74

18. Specifying systems :

پدیدآورنده : Leslie Lamport.

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

موضوع : Computer systems-- Specifications.,Logic, Symbolic and mathematical.,System design.

19. Structural Complexity II

پدیدآورنده : by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.

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

موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.

رده :

QA267

.

B956

1990

20. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings

پدیدآورنده : B. Banieqbal, H. Barringer, A. Pnueli )eds.(

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

موضوع : ، System design,، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

398

»
2
1
«

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