2141. Vector game math processors

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)

رده :
QA76
.
5
.
L446
2003eb

2142. Veracity of big data :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms.,Data editing.,Data integrity.,Databases-- Evaluation.,Verification (Logic)-- Computer programs.,Artificial intelligence.,Computer algorithms.,COMPUTERS-- General.,Data editing.,Data integrity.,Databases-- Evaluation.,Databases.

رده :
QA76
.
9
.
A43

2143. Verification and evaluation of computer and communication systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.

رده :
TK5105
.
5

2144. Verification of reactive systems

پدیدآورنده :

کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع : Computer systems- - Verification,Formal methods (computer science),Computer algorithms

رده :
QA
76
.
76
.
V47S34
2003

2145. Verification of reactive systems

پدیدآورنده :

کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع : Computer systems -- Verification,Formal methods (computer science),Computer algorithms

رده :
QA
76
.
76
.
V47S34
2004

2146. Verification of reactive systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)

رده :
QA76
.
76
.
V47
K538
2004

2147. Verification of reactive systems: formal methods and algorithms

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms

رده :
QA
76
.
76
.
V47
.
S34
2003

2148. Vision chips : implementing vision algorithms with analog VLSI circuits

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Computer vision , Integrated circuits - Very large scale integration , Computer algorithms

رده :
TA
1634
.
V54

2149. Vlsi algorithms & architectures:3rd aegean workshop on computing,

کتابخانه: (طهران)

موضوع : INTEGRATED CIRCUITES-VERY LARGE SCALE , COMPUTER ARCHITECTURE-CONGRESSES , ALGORITHMS-CONGRESSE

رده :
TK
7874
.
A338
1988

2150. WALCOM

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer algorithms -- Congresses.,Algorithm Analysis and Problem Complexity.,Math Applications in Computer Science.,الگوریتم‌های کامپیوتری -- کنگره ها

رده :
QA
76
.
9
.
A43W32
2015
E-Book
,

2151. WALCOM

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses

رده :
QA
،
76
.
9
،.
D35
,
W34
،
2010

2152. WALCOM

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer algorithms -- Congresses.,Computer algorithms,الگوریتم‌های کامپیوتری -- کنگره ها ,الگوریتم‌های کامپیوتری

رده :
QA
76
.
9
.
W32
2016
E-Book
,

2153. WALCOM: algorithms and computation :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms, Congresses.,Computer algorithms.

رده :
QA76
.
9
.
A43

2154. WALCOM, algorithms and computation :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms, Congresses

رده :
QA76
.
9
.
A43
W35
2011

2155. Wireless Internet

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algorithms.,Computer communication systems.,Computer science.

2156. Wireless algorithms, systems, and applications

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Wireless communication systems, Congresses,Computer algorithms, Design, Congresses,Multiplexing, Congresses,System design, Congresses

رده :
E-BOOK

2157. Wireless algorithms, systems, and applications

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Wireless communication systems, Congresses,Computer algorithms, Design, Congresses,Multiplexing, Congresses,System design, Congresses

رده :
TK
،
5103
.
2
،.
W38
،
2009

2158. Wireless algorithms, systems, and applicationsthird international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Wireless communication systems,Congresses ، Computer algorithms-- Design,Congresses ، Multiplexing,Congresses ، System design

رده :
TK
5103
.
2
.
W38
2008

2159. Wireless sensor and actuator networks

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Wireless sensor networks,Computer algorithms,Computer network protocols

رده :
TK7872
.
D48W5666
2010

2160. Wireless sensor and actuator networks :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms,Computer network protocols,Wireless sensor networks

رده :
TK7872
.
D48
W5666
2010