2421. Veracity of big data :
المؤلف: Vishnu Pendyala.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: 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
2422. Verification and evaluation of computer and communication systems :
المؤلف: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: 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
2423. Verification of infinite-state systems with applications to security /
المؤلف: edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software-- Verification, Congresses.,System theory-- Mathematical models, Congresses.,System theory-- Security measures, Congresses.,Computer security.,Computer software-- Verification.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,System theory-- Mathematical models.
رده :
Q295
.
N38
2005eb
2424. Verified software :
المؤلف: Ruzica Piskac, Philipp Rümmer (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
2425. Vertically integrated architectures :
المؤلف: Jos Jong.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Software architecture.,COMPUTERS-- Programming-- General.,COMPUTERS-- Software Development & Engineering-- General.,Software architecture.
رده :
QA76
.
76
.
D47
J66
2019
2426. Video surveillance for sensor platforms
المؤلف: / Mayssaa Al Najjar, Milad Ghantous, Magdy Bayoumi
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Image processing, Digital techniques,Video surveillance,Sensor networks,Image analysis,Engineering,Circuits and Systems,Electronics and Microelectronics, Instrumentation,COMPUTERS / General, bisacsh
رده :
E-BOOK
2427. Videogame Sciences and Arts
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: General--Operating Systems--Computers
2428. Vintage games 2.0 :
المؤلف: Matt Barton.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Video games-- History.,COMPUTERS / Computer Graphics / Game Programming & Design,COMPUTERS / General,GAMES / Board,Video games.
رده :
GV1469
.
3
.
B37
2017
2429. Virtual and adaptive environments :
المؤلف: edited by Lawrence J. Hettinger, Michael Haas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Human-computer interaction.,Virtual computer systems.,COMPUTERS-- Operating Systems-- Virtualization.,COMPUTERS-- System Administration-- General.,COMPUTERS-- Utilities.,Human-computer interaction.,Virtual computer systems.
رده :
QA76
.
9
.
V5
V56
2003eb
2430. Virtual & augmented reality /
المؤلف: by Paul Mealy.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Augmented reality.,Virtual reality.,Augmented reality.,COMPUTERS / General.,Virtual reality.
رده :
QA76
.
9
.
A94
M43
2018
2431. Virtual environments and advanced interface design /
المؤلف: edited by Woodrow Barfield, Thomas A. Furness, III.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Realidad virtual.,Realidad virtual.,Human-computer interaction.,User interfaces (Computer systems),Virtual reality.,COMPUTERS-- General.,Human-computer interaction.,User interfaces (Computer systems),Virtual reality.
رده :
QA76
.
9
.
H85
V54
1995eb
2432. Virtual realism /
المؤلف: Michael Heim.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computers-- Social aspects.,Human-computer interaction.,Virtual reality.,Computacao (aspectos socio-economicos e politicos),COMPUTERS-- Social Aspects-- General.,Computers-- Social aspects.,Human-computer interaction.,Processamento grafico (graphics),Virtual reality.
رده :
QA76
.
9
.
H85
H47
1998eb
2433. Virtual reality and virtual environments in 10 lectures /
المؤلف: Stanislav Stanković, Helsinki, Finland.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Virtual reality.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Virtual reality.
رده :
QA76
.
9
.
H85
S728
2016
2434. Virtual society? :
المؤلف: [edited by] Steve Woolgar
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Information technology-- Social aspects,Internet-- Social aspects
رده :
HM851
.
V58
2002
2435. Virtual taste and smell technologies for multisensory internet and virtual reality /
المؤلف: Adrian David Cheok, Kasun Karunanayaka.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Human-computer interaction.,Olfactory sensors-- Technological innovations.,Taste.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human-computer interaction.,Taste.
رده :
QA76
.
9
.
H85
2436. Virtualization :
المؤلف: Chris Wolf and Erick M. Halter.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: VMware.,VMware.,Computer networks.,Operating systems (Computers),Computer networks.,COMPUTERS-- Operating Systems-- General.,Informatique.,Operating systems (Computers)
رده :
QA76
.
76
.
O63
W614
2005eb
2437. Virtualization with VMware ESX Server /
المؤلف: Al Muller [and others] ; foreword by Ralph Troupe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: VMware.,VMware.,VMware.,Operating systems (Computers),Virtual computer systems.,COMPUTERS-- Operating Systems-- Virtualization.,COMPUTERS-- System Administration-- General.,COMPUTERS-- Utilities.,Operating systems (Computers),Operating systems (Computers),Virtual computer systems.,Virtual computer systems.
رده :
QA76
.
76
.
O63
V455
2005eb
2438. Visages de l, informatique
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Computers
رده :
QA
76
.
V5
2439. Vision-based interaction /
المؤلف: Matthew Turk, Gang Hua.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer vision.,Human-computer interaction.,Computer vision.,COMPUTERS-- General.,Human-computer interaction.
رده :
TA1634
.
T878
2014
2440. Visual Basic 2005 by practice /
المؤلف: Mike Mostafavi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Visual Basic.,Microsoft Visual BASIC.,BASIC (Computer program language),Visual Basic (Computer program language),BASIC (Langage de programmation),BASIC (Computer program language),REFERENCE-- General.,Visual Basic (Computer program language)
رده :
QA76
.
73
.
B3
M6724
2006eb