981. Superkey: version 1.0: owner's handbook
پدیدآورنده :
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : Electronic data processing - Keyboarding,Computers - Access control,Superkey (Computer program)
رده :
QA76
.
9
.
K48
,
S86
1985
982. Symbolic model checking
پدیدآورنده : by Kenneth L. McMillan
موضوع : Electronic digital computers - Circuits - Design - Data processing,Symbolic circuit analysis - Data processing,Logic design - Data processing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
983. System analysis by digital computer
پدیدآورنده : Kuo,Franklin F.ed
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Engineering ، Electronic data processing,، System analysis,Programming ، Electronic digital computers
رده :
TA
345
.
K86
984. System analysis by digital computer
پدیدآورنده : Kuo, Franklin F
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Engineering-- Data processing,، System analysis,، Electronic digital computers-- Programming
رده :
TA
345
.
K86
985. System structure in data, programs, and computers
پدیدآورنده : Johnson, Lyle R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic data processing,، Electronic digital computers
رده :
QA
76
.
J62
986. System structure in data, programs, and computers
پدیدآورنده : Johnson, Lyle R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic data processing,، Electronic digital computers
رده :
QA
76
.
J62
987. Task scheduling in parallel and distributed systems
پدیدآورنده : EL-Rewini, Hesham.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel processing )Electronic computers( , Electronic data processing - Distributed processing , Multitasking )Computer science(
رده :
QA
76
.
58
.
E43
1994
988. Task scheduling in parallel and distributed systems
پدیدآورنده : EL-Rewini, Hesham.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing-- Distributed processing,، Multitasking )Computer science(
رده :
QA
76
.
58
.
E43
1994
989. Technical dictionary of data processing, computers, office machines, Datenverarbeitung, Rechner, Buromaschinen. Traitement des donnees, calculateurs, machines de bureau. Obrabotka dannykh, Vychislitelnye i Kontorskie mashiny
پدیدآورنده : Burger, Erich.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic data processing-- Dictionaries-- Polyglot,، Computers-- Dictionaries-- Polyglot,، Electronic office machines-- Dictionaries-- Polyglot,، Dictionaries, Polyglot
رده :
QA
76
.
15
.
B46
1970
990. Technical et science informatiques : TSI
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic data processing - Periodicals , Electronic digital computers - Periodicals , Programming )Electronic computers( - Periodicals
رده :
QA
75
.
5
.
T43
1992
991. Telematic society : a challenge for tomorrow
پدیدآورنده : Martin, James
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Telecommunication,، Computers,، Electronic data processing
رده :
TK
5101
.
M327
1981
992. The Application of digital computers to structural engineering problems
پدیدآورنده : / D. M. Brotton
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Structural analysis (engineering),Electronic data processing - Civil engineering,Electronic digital computers
رده :
TA645
.
B75
993. The Auerbach annual
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic data processing - Periodicals,، Computers - Periodicals
رده :
QA
76
.
A845
994. <The> Cambridge Handbook of Information and Computer Ethics
پدیدآورنده : / Edited by Luciano Floridi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computers -- Moral and ethical aspects,Information technology -- Moral and ethical aspects,Electronic data processing -- Moral and ethical aspects,Informationstechnik, swd,Ethik, swd
رده :
QA76
,.
9
.
M65
,
C36
2010
995. The Computer Glossary:The Complete Illustrated Desk Reference
پدیدآورنده :
کتابخانه: کتابخانه دانشکده دامپزشکی دانشگاه تهران (تهران)
موضوع : COMPUTERS-DICTIONARIES,ELECTRONIC DATA PROCESSING-DICTIONARIES
رده :
QA
76
.
15
.
F7341995
996. The Computer programmer's dictionary and handbook
پدیدآورنده : Spencer, Donald D
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Dictionaries ، Programming )Electronic computers(,Machines - Dictionaries ، Electronic data processing
رده :
QA
76
.
15
.
S65
997. The Computer science problem solver
پدیدآورنده : staff of Research and Education Association ; M. Fogiel, director
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Problems, exercises, etc ، Electronic data processing,Problems, exercises, etc ، Computers
رده :
QA
76
.
28
.
C6
1981
998. The Computer science problem solver:a complete solution guid to any textbook
پدیدآورنده : staff of Research and Education Association ; M. Fogiel, director
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Problems, exercises, etc ، Electronic data processing,Problems, exercises, etc ، Computers
رده :
QA
76
.
28
.
C65
999. The Concurrency control problem for database systems
پدیدآورنده : Casanova, Marco Antonio
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Data base management,، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
116
1000. <The> New Hacker's Dictionary
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Electronic data processing - Terminology - Humor,Computers - Humor,Computers - Slang - Dictionaries,دادهپردازی -- اصطلاح ها و تعبیرها-- شوخی ها و بذلهگویی ها,کامپیوترها -- شوخی ها و بذلهگویی ها,کامپیوترها -- اصطلاحهای عوامانه -- واژهنامهها,Raymond, Eric S.,Steele Jr., Guy L.; foreword and cartoons
رده :
CD-B
,
PN
,
6231
,.
E4H3
,
1996