2061. Unmanned Rotorcraft Systems
پدیدآورنده : / Guowei Cai, Ben M. Chen, Tong Heng Lee
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ENGINEERING, AEROSPACE|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|AUTOMATION
رده :
E-BOOK

2062. 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


2063. VLSI for artificial intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Data processing,، Integrated circuits-- Very large scale integration
رده :
Q
336
.
V57
1989


2064. VLSI for artificial intelligence
پدیدآورنده : edited by Josعe G. Delgado- Frias, Will R. Moore
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Artificial intelligence- Data processing,، Integrated circuits- Very large scale integration
رده :
Q
336
.
V57
1989


2065. VR, simulations and serious games for education /
پدیدآورنده : editors: Yiyu Cai, Wouter van Joolingen and Zachary Walker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.
رده :
LB1044
.
87


2066. Variation Principle in Informational Macrodynamics
پدیدآورنده : by Vladimir S. Lerner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer science.,Electronic data processing.,Information theory.,Systems theory.

2067. Vehicle Unmanned Systems-Team Cooperation in a Network of Multi
پدیدآورنده : / Kazerooni, Khashayar Khorasani-Elham Semsar
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
رده :
E-BOOK

2068. Verification, Induction, Termination Analysis
پدیدآورنده : / Simon Siegler, Nathan Wasser
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK

2069. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK

2070. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Kenneth L. McMillan, Xavier Rival
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK

2071. Verification of Business Rules Programs
پدیدآورنده : / Da Silva-Bruno Berstel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK

2072. Verified Software: Theories, Tools, Experiments
پدیدآورنده : / Ernie Cohen, Andrey Rybalchenko
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK

2073. Verified Software: Theories, Tools, Experiments
پدیدآورنده : / ller, Andreas PodelskiیRajeev Joshi, Peter M
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK

2074. Verified Software: Theories, Tools and Experiments
پدیدآورنده : / Dimitra Giannakopoulou, Daniel Kroening
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK

2075. Virtual, Augmented Reality and Serious Games for Healthcare 1
پدیدآورنده : / Minhua Ma, Lakhmi C. Jain, Paul Anderson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ENGINEERING, BIOMEDICAL|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS
رده :
E-BOOK

2076. Virtual Decomposition Control
پدیدآورنده : / Hong Zhu-Wen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC|ROBOTICS& CONTROL SYSTEMS|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
رده :
E-BOOK

2077. Virtual and Networked Organizations, Emergent Technologies and Tools
پدیدآورنده : / Cunha-Goran D. Putnik, Maria Manuela Cruz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK

2078. Vision Chips
پدیدآورنده : by Alireza Moini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Computer science.,Computer vision.

2079. Visual Sensing and its Applications
پدیدآورنده : / Zhongxue Gan, Qing Tang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
رده :
E-BOOK

2080. Visual sensing and its applications
پدیدآورنده : / Zhongxue Gan, Qing Tang
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Artificial intelligence,Computer vision,Engineering
رده :
Q
335
.
G3
2011

