3141. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
3142. Threshold logic
پدیدآورنده : LEWIS,PHILIP M
کتابخانه: (طهران)
موضوع : THRESHOLD LOGIC , ELECTRONIC DIGITAL COMPUTERS-CIRCUITS
رده :
TK
7888
.
3
.
L4
3143. Threshold logic
پدیدآورنده : Lewis, Philip M.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Threshold logic,، Electronic digital computers-- Circuits
رده :
TK
7888
.
3
.
L4
3144. Threshold logic: a synthesis approach
پدیدآورنده : Dertouzos, Michael L.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Threshold logic,، Electronic digital computers-- Circuits
رده :
QA
401
.
D38
3145. Time domain representation of speech sounds :
پدیدآورنده : Asoke Kumar Datta.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Signal processing-- Digital techniques.,Speech processing systems.,Time-domain analysis.,COMPUTERS-- General.,Signal processing-- Digital techniques.,Speech processing systems.,Time-domain analysis.
رده :
TK7882
.
S65
3146. Tool integration and design environments: Proceedings of the IFIP WG 10.2 workshop on tool integration and design environments Paderborn, FRG, 26-27 November, 1987
پدیدآورنده : Edited by Franz J. Rammig
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : System design- Congresses,Electronic digital computers- Design and construction- Data proessing- Congresses,Computer- aided design- Congresses
رده :
QA
،
76
.
9
،.
S88
,
I354
،
1987
3147. Top-down structured programming techniques
پدیدآورنده : McGowan, Clement L.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
M318
1975
3148. Topics in engineering logic
پدیدآورنده : Madler, Morton.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Design and construction,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
N3
1962
3149. Topics in interval analysis
پدیدآورنده : edited by E. Hansen,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Interval analysis )Mathematics( - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
.
S92
297
1968
3150. #Tower's International digital IC selector:
پدیدآورنده : #by T. D. Towers
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Electronic digital computers
رده :
#
TK
،#.
T73
3151. Transmission lines in computer engineering /
پدیدآورنده : Sol Rosenstark
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electric circuit analysis,Electronic digital computers-- Circuits-- Design and construction,Microwave wiring
رده :
TK7888
.
4
.
R66
1994
3152. Trends and applications: 1978; distributed processing
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic data processing,، Electronic digital computers
رده :
QA
76
.
5
.
S98
1978
3153. Trends and applications; micro and mini systems. ]Held[ in Gaithersburg, Maryland May 27, 1976
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Congresses,، Miniature computers-- Congresses
رده :
QA
76
.
5
.
S96
1976
3154. Trends in information processing systems : 3rd conference of the European Cooperation in Informatics, Munich, October 20-22, 1981 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic data processing - Congresses,، Electronic digital computers - Congresses
رده :
QA
75
.
5
.
T73
3155. Tutorial on software design techniques
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Programs
رده :
QA
76
.
6
.
T88
1980
3156. Tutorial on software design techniques: October 12, 1976, San Francisco, California
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Computer programs
رده :
QA
76
.
6
.
T88
3157. Tutorial : reduced instruction set computers
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers,، Computer architecture
رده :
QA
76
.
5
.
T876
1986
3158. Understanding computers, What managers and users need to know
پدیدآورنده : Walsh, Myles E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic digital computers
رده :
QA
76
.
5
.
W285
3159. Understanding computers and data processing today and tomorrow
پدیدآورنده : / Charles S. Parker
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Electronic digital computers
رده :
QA76
.
5
.
P318
1987
3160. Understanding computers and data processing Today and tomorrow
پدیدآورنده : parker , Charles S. 5491-
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Electronic digital computers
رده :
QA
76
.
5
.
P37
1987
