81. Digital system design and microprocessors

المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)

موضوع: Digital integrated circuits,Logic design,Microprocessors,Microcomputers-programming

رده :
TK
7874
.
H393
1984

82. Digital system design & microprocessors

المؤلف:

المکتبة: (طهران)

موضوع: DIGITAL INTEGRATED CIRCUITS , LOGIC DESIGN , MICROCOMPUTERS-PROGRAMMING

رده :
TK
7874
.
H39

83. Discrete structures, logic, and computability

المؤلف:

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

موضوع: Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions

رده :
QA
76
,.
9
.
H42D5
2010

84. Discrete structures, logic, and computability

المؤلف:

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

موضوع: Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions

رده :
QA76
.
9
.
M35
,.
H44
2010

85. Discrete structures, logic, and computability

المؤلف:

المکتبة: (طهران)

موضوع: ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions

رده :
QA
76
.
9
.
M35H43
2010

86. Distributed constraint logic programming

المؤلف:

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

موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(

رده :
QA
76
.
63
.
L48
1993

87. Distributed constraint logic programming

المؤلف:

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

موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(

رده :
QA
76
.
63
.
L48
1993

88. Entscheidungstabellen; Hilfsmittel zur entscheidungsfindung, dokumentation und programmierung

المؤلف:

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

موضوع: ، Electronic digital computers-- Programming,، Decision logic tables

رده :
QA
76
.
6
.
F54

89. Essentials of logic programming

المؤلف:

المکتبة: (طهران)

موضوع: ، Logic programming

رده :
QA
76
.
63
.
H64
1990

90. Evolving Knowledge Bases

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Logic programming.,Expert systems (Computer science),برنامه‌نویسی منطقی.,سیستم‌های خبره (کامپیوتر),a03,a04,a03,a04

رده :
E-Book
,

91. Evolving knowledge base

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Logic programming.,Expert systems (Computer science)

رده :
QA
,
76
.
63
,.
L48
,
2003eb

92. Evolving knowledge bases

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

موضوع: Logic programming. ; Expert systems (Computer science) ;

93. Evolving knowledge bases :

المؤلف:

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

موضوع: Expert systems (Computer science),Logic programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Expert systems (Computer science),Logic programming.

رده :
QA76
.
63
.
L48
2003eb

94. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings

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

موضوع: ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses

رده :
QA
76
.
63
.
I566
1995

95. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: Congresses ، Logic programming,Congresses ، Prolog )Computer program language(

رده :
QA
76
.
63
I566
1995

96. Extensions of logic programming

المؤلف:

المکتبة: (کرمان)

موضوع: Logic programming -- Congresses

رده :
QA
76
.
73
.
E9
1993

97. Extensions of logic programming

المؤلف:

المکتبة: (کرمان)

موضوع: Logic programming -- Congresses

رده :
QA
76
.
73
.
E9
1993

98. Extensions of logic programming : International Workshop, Tubingen, FRG, December 8-10, 1989, Proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
475

99. Extensions of logic programming : international workshop, Tubingen, FRG, December 8-10, 1989 : proceedings

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

موضوع: ، Logic programming-- Congresses

رده :
QA
76
.
63
.
E97
1991

100. Extensions of logic programming : second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991: proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
596