101. A Safety licensable computing architecture
پدیدآورنده: Wolfgang A. Halang ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Computer architecture,Reliability ، Electronic digital computers
رده :
QA
76
.
9
.
A73
S24
1993
102. A Safety licensable computing architecture
پدیدآورنده :
موضوع : ، Computer architecture,، Electronic digital computers- Reliability
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
103. A Sfety Licensarble computing architecture
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Computer architecture,، Electronic digital computers Reliability
رده :
QA
76
.
9
.
A73
S24
1993
104. <A> Structured approach to systems testing
پدیدآورنده: William E. Perry
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computer programs- Testing,Electronic digital computers- Testing
رده :
QA
،
76
.
6
،.
P468
،
1988
105. A Sun user's guide
پدیدآورنده: David England )editor( ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Sun computers,، Microcomputers
رده :
QA
76
.
8
.
S86
S86
1992
106. A Survey of digital computing
پدیدآورنده: George, Frank Honywill
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programmed instruction
رده :
QA
76
.
5
.
G395
1968
107. A Survey of verification techniques for parallel programs
پدیدآورنده: Barringer, Howard, 1591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
191
108. A VLSI architecture for concurrent data structures
پدیدآورنده: / by William J. Dally
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers -circuits,Integrated circuits-Very large scale in tegration,Computer architecture
رده :
621
.
395
D147V
109. A VLSI architecture for concurrent data structures
پدیدآورنده: Dally, William J.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers- Circuits,، Integrated circuits- Very large scale integration,، Computer architecture
رده :
TK
7888
.
4
.
D34
1987
110. A beginner's guide to VAX/VMS utilities and applications
پدیدآورنده: Sawey, Ronald M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، VAX/VMS )Computers operating system(,، Operating systems )Computers(
رده :
QA
76
.
76
.
O63
.
S36
1992
111. A book on C
پدیدآورنده: Meekings, B. A. E.)Brian A. E.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، C )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
C15
M43
1993
112. A brief history of computing
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computers ; History. ;
113. A+ certification interactive workbook
پدیدآورنده: Dulaney, Emmett A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing personnel,Examinations -- Study guides ، Computers
رده :
QA
76
.
3
.
D85
114. A+ certification study guide /
پدیدآورنده: Michael Pastore.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computers-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,Computers-- Examinations.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing personnel-- Certification.
رده :
HD8039
.
D37
.
P37
2003eb
115. A+ certification training guide: exams 220-201 & 220-202
پدیدآورنده: Brooks, Charles J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Examinations -- Study guides ، Computers,Certification ، Electronic data processing personnel
رده :
QA
76
.
76
.
B873
2001
116. A class of algorithms for distributed constraint optimization /
پدیدآورنده: Adrian Petcu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Constraint programming (Computer science),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Constraint programming (Computer science)
رده :
QA76
.
612
.
P48
2009eb
117. A code mapping scheme for dataflow software pipelining
پدیدآورنده: / G.R. Gao
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer architecture,Parallel processing (Electronic Computers),Software computing
رده :
QA76
.
9
.
A73G36
1991
118. A collection of programming problems and techniques
پدیدآورنده: Maurer, Hermann A.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Problems, exercises, etc
رده :
QA
76
.
6
.
M38
119. A collection of programming problems & techniques
پدیدآورنده: MAURER,HERMANN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
6
.
M38
120. A collection of technical papers: AIAA Computers in Aerospace VII Conference: Monterey, CA, Oct. 3-5, 1989
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Airborne computers,Congresses ، Aeronautics - Data processing,Congresses ، Command and control systems,Congresses ، Space flight - Data processing,Congresses ، Astronautics - Data processing
رده :
TL
696
.
C8A12
1989
