1541. Understanding and communicating social informatics :
پدیدآورنده : Rob Kling, Howard Rosenbaum, Steve Sawyer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computers and civilization.,Computers and civilization.,COMPUTERS-- Information Technology.
رده :
QA76
.
9
.
C66
K54
2005eb
1542. Underwater Acoustics and Signal Processing
پدیدآورنده : edited by Leif Bjørnø.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geography.,Oceanography.
1543. Universal informatics :
پدیدآورنده : Ribes, David
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
1544. Universal semantic communication /
پدیدآورنده : Brendan Juba.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic computing.
رده :
QA76
.
5913
.
J83
2011
1545. Usability of speech dialog systems
پدیدآورنده : / Thomas Hempel (ed.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Speech processing systems,Natural language processing (Computer science)
رده :
E-BOOK
1546. User Interface Management Systems :
پدیدآورنده : edited by Günther E. Pfaff.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer graphics.,Computer science.,Computer-aided design.
رده :
QA76
.
9
.
I58
E358
1985
1547. Utilizing information technology systems across disciplines :
پدیدآورنده : Evon M.O. Abu-Taieh, Asim A. El-Sheikh, Jeihan Abu-Tayeh, [editors].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information resources management.,Information technology.,Management information systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information resources management.,Information technology.,Management information systems.
رده :
T58
.
5
.
U88
2009eb
1548. VLSI:
پدیدآورنده : edited by Ricardo Reis, Luc Claesen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Information storage and retrieval systems.
رده :
TK7874
.
75
E358
1997
1549. Value creation in e-business management :15th Americas conference on information systems, AMCIS 2009, SIGeBIZ track, San Francisco, CA, USA, August 6-9, 2009 : selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : Congresses ، Electronic commerce,Congresses ، Mobile communication systems,Congresses ، Social networks,Congresses ، Service-oriented architecture )Computer science(
رده :
HF
5548
.
32
.
V34
2009
1550. Vehicular ad hoc network security and privacy /
پدیدآورنده : Xiaodong Lin, Rongxing Lu
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Vehicular ad hoc networks (Computer networks)
رده :
TE228
.
37
1551. Verification, Model Checking, and Abstract Interpretation :
پدیدآورنده : edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
1552. 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
1553. 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
1554. Vertical software industry evolution :
پدیدآورنده : Pasi Tyrväinen, Oleksiy Mazhelis, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Communications software.,Computer software industry.,Telecommunication, Software.,Affaires.,BUSINESS & ECONOMICS-- Industries-- Service.,Business-- Management.,Communications software.,Communications software.,Computer software industry.,Computer software industry.,Economie de l'entreprise.,Science économique.,Telecommunication.,Telecommunication.
رده :
TK5105
.
9
.
V47
2009
1555. Video Bioinformatics :
پدیدآورنده : edited by Bir Bhanu, Prue Talbot.
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Bioinformatics .,Computational biology .,Data mining.,Information storage and retrieval.,Optical data processing.,Computational Biology/Bioinformatics.,Bioinformatics.,Computer Appl. in Life Sciences.,Data Mining and Knowledge Discovery.,Image Processing and Computer Vision.,Information Storage and Retrieval.
رده :
570
.
285
V652
2015
23
1556. Virtual Computing
پدیدآورنده : by Dongmin Kim, Salim Hariri.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.
1557. Virtual Environments '98 :
پدیدآورنده : edited by Martin Göbel, Jürgen Landauer, Ulrich Lang, Matthias Wapler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1998
1558. Virtual Environments '95 :
پدیدآورنده : edited by Martin Göbel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer graphics.,Computer science.
رده :
QA76
.
9
.
H85
E358
1995
1559. Virtual Environments and Scientific Visualization '96 :
پدیدآورنده : edited by Martin Göbel, Jacques David, Pavel Slavik, Jarke J. Wijk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1996
1560. Virtual Organizations
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science. ; Computer network architectures. ; Computer Communication Networks. ; Social sciences ; Data processing. ; Computers ; Law and legislation. ; Computer Science. ; Computer Systems Organization and Communication Networks. ; Computer Commu
