101. Real time programming 1980: Proceedings of the IFAC/IFIP workshop, schloss Retzhof, Leibinitz, Austria, 14- 16 April 1980
پدیدآورنده : edited by V.H.Haase, ist ed
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Real- time data processing - congresses,، Electronic digital computers- programming- congresses,، Ada )computer program language( - congresses
رده :
QA
76
.
54
.
R42
1980
102. Reliable EDP application design
پدیدآورنده : Gilb, Tom.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer programs-- Reliability,، Electronic data processing,، Electronic digital computers-- Reliability
رده :
QA
76
.
6
.
G54
103. STOC'10 : proceedings of the 2010 ACM symposium on theory of computing, Cambridge, MA, USA, June 5-8 2010
پدیدآورنده : sponsored by ACM SIGACT; supported by Microsoft Research....]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2010
104. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
پدیدآورنده : sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2011
105. Scientific and engineering problem-solving with the computer
پدیدآورنده : Bennett, William Ralph
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، BASIC )Computer program language(,Data processing ، Problem solving
رده :
QA
76
.
6
.
B45
1976
106. Scientific and engineering problem-solving with the computer
پدیدآورنده : Bennett, William Ralph
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، BASIC )Computer program language(,، Problem solving-- Data processing
رده :
QA
76
.
6
.
B45
107. Scientific and engineering problem solving with the computer
پدیدآورنده : / William Ralph Bennett
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Basic (Computer program language),Problem solving - Data processing
رده :
001
.
642
Be-S
1976
108. Scientific and engineering problem-solving with the computer
پدیدآورنده : Bennett, William Ralph
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، BASIC )Computer program language(,، Problem solving -- Data processing
رده :
QA
76
.
6
.
B45
109. Scientific computing and automation (Europe) 1990
پدیدآورنده : edited by E.J. Karjalainen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering-- Congresses.,Electronic digital computers-- Scientific applications-- Congresses.,Science-- Data processing-- Congresses.,Technology-- Data processing-- Congresses.
110. Starting a small business; player's manual
پدیدآورنده : Gupta, Shiv K.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Management ، Small business,، Digital computer simulation,Data processing- Game theory ، Electronic
رده :
HD
69
.
S6
.
G8
111. Structural Information and Communication Complexity :
پدیدآورنده : Keren Censor-Hillel, Michele Flammini (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Computer networks.,Digital communications.,Electronic data processing-- Distributed processing.
رده :
QA76
.
9
.
A43
112. Structural information and communication complexity :
پدیدآورنده : Zvi Lotker, Boaz Patt-Shamir (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
رده :
QA76
.
9
.
A43
113. The computer book; programming and language skills for students of ESL
پدیدآورنده : Abdulaziz, Mohyeddin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic data processing,Programming ، Electronic digital computers,، BASIC )Computer program language(,Textbooks for foreign speakers ، English language
رده :
QA
76
.
A258
1985
114. Use of digital computers for engineering applications
پدیدآورنده : Haberman, Charles M
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic data processing-- Engineering,، FORTRAN )Computer program language(,، Electronic digital computers-- Programming
رده :
TA
343
.
H3
115. Verilog digital computer design :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Verilog (Computer hardware description language) ; Electronic digital computers ; Design and construction ; Data processing ;
116. Windows remote access toolkit
پدیدآورنده : Angell, David
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : Distributed processing ، Electronic data processing,Remote access ، Computer networks,، Digital communications,، Microsoft Windows )Computer file(
رده :
QA76
.
9
.
D5A5
1998
117. Windows remote access toolkit
پدیدآورنده : Angell, David.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Distributed processing ، Electronic data processing,، Computer networks,، Digital communications,، Microsoft Windows )Computer file(
رده :
QA
76
.
9
.
D5
A54
1998
118. Windows remote access toolkit
پدیدآورنده : Angell, David
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Electronic data processing -- Distributed processing,، Computer networks,، Digital communications,، Microsoft Windows )Computer file(
رده :
QA
76
.
9
.
D5A54
119. level synthesis-High
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : aided design. ; -Electronic digital computers ; Design and construction ; Data processing. ; Computer hardware description languages. ; System design ; Data processing. ; Computer
120. 8th Workshop on Parallel and Distributed Simulation )PADS'94( : proceedings of the 1994 Workshop on Parallel and Distributed Simulation, July 6-8, 1994, Edinburgh, Scotland, U.K.
پدیدآورنده : edited by D.K. Arvind, Rajive Bagrodia, Jason Yi-Bing Lin; sponsored by Association of Computing Machinery--SIGSIM, the Society for Computer Simulation International, Institute of Electrical and Electronics Engineers, Computer Society
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Digital computer simulation,Distributed processing Congresses ، Electronic data processing,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
C65
W69
1994
