181. A Survey of verification techniques for parallel programs
پدیدآورنده: Barringer, Howard, 1591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
191
182. A VHDL primer /
پدیدآورنده: J. Bhasker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: VHDL (Computer hardware description language),VHDL,VHDL (Computer hardware description language),VHDL.
رده :
TK7885
.
7
.
B53
1999
183. 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
184. 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
185. A Web of Extended Metaphors in the Guerilla Open Access Manifesto of Aaron Swartz
پدیدآورنده: Swift, Kathy
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
186. A beginner's guide to Scala, object orientation and functional programming /
پدیدآورنده: John Hunt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Functional programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language),Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers)
رده :
QA76
.
7
187. 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
188. A beginner's guide to using open access data /
پدیدآورنده: Saif Aldeen S. AlRyalat and Shaher M. Momani.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Biology-- Research-- Methodology.,Medicine-- Research-- Methodology.,Open access publishing.,Biomedical Research-- methods.,Open Access Publishing.,Biology-- Research-- Methodology.,COMPUTERS-- Database Management-- General.,MEDICAL-- Biostatistics.,Medicine-- Research-- Methodology.,Open access publishing.,SCIENCE-- Biotechnology.
رده :
R850
.
A57
2019
189. A better pencil :
پدیدآورنده: Dennis Baron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Writing materials and instruments-- History.,Written communication-- Technological innovations.,LANGUAGE ARTS & DISCIPLINES-- Literacy.,Writing-- Materials and instruments.,Written communication-- Technological innovations.
رده :
Z45
.
B37
2009eb
190. 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
191. A bridge between control science and technology: Proceedings of the Ninth Triennial World Congress of IFAC, Budapest, Hungary, 2-6 July 1984
پدیدآورنده: general editors, Janos Gertler and Laszlo Keviczky
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Automatic control,Congresses ، Systems engineering
رده :
TJ
212
.
2
.
I58
1984
192. A brief history of computing
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computers ; History. ;
193. A broadcast engineering tutorial for non-engineers /
پدیدآورنده: Graham Jones.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Radio broadcasting.,Radio-- Transmitters and transmission.,Television broadcasting.,Television-- Transmitters and transmission.,Radio-- Émetteurs et transmission.,Radio.,Télévision-- Émetteurs et transmission.,Télévision.,Radio broadcasting.,Radio broadcasting.,Radio-- Transmitters and transmission.,Radio-- Transmitters and transmission.,TECHNOLOGY & ENGINEERING-- Mobile & Wireless Communications.,TECHNOLOGY & ENGINEERING-- Radio.,Television broadcasting.,Television broadcasting.,Television-- Transmitters and transmission.,Television-- Transmitters and transmission.
رده :
TK6561
.
J66
2005eb
194. A+ certification interactive workbook
پدیدآورنده: Dulaney, Emmett A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing personnel,Examinations -- Study guides ، Computers
رده :
QA
76
.
3
.
D85
195. 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
196. 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
197. 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
198. A code mapping scheme for dataflow software pipelining
پدیدآورنده: / G.R. Gao
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer architecture,Parallel processing (Electronic Computers),Software computing
رده :
QA76
.
9
.
A73G36
1991
199. A collection of programming problems and techniques
پدیدآورنده: Maurer, Hermann A.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Problems, exercises, etc
رده :
QA
76
.
6
.
M38
200. A collection of programming problems & techniques
پدیدآورنده: MAURER,HERMANN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
6
.
M38
