1461. The prospects for increasing the reuse of digital training content /
پدیدآورنده : Michael G. Shanley [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Distance education-- Computer-assisted instruction.,Instructional systems-- Design.,Internet in education.,Military education-- United States-- Computer-assisted instruction.,BUSINESS & ECONOMICS-- Human Resources & Personnel Management.,Distance education-- Computer-assisted instruction.,EDUCATION-- Educational Policy & Reform-- General.,Education, Special Topics.,Education.,Instructional systems-- Design.,Internet in education.,Social Sciences.,TECHNOLOGY-- General.,United States., 7
رده :
LC5803
.
C65
P76
2009eb
1462. The real-time contact center /
پدیدآورنده : Donna Fluss.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Call centers-- Computer network resources.,Call centers-- Management.,Customer services-- Management.,BUSINESS & ECONOMICS-- Customer Relations.,Call centers-- Computer network resources.,Call centers-- Management.,Customer services-- Management.
رده :
HE8788
1463. The science of debugging /
پدیدآورنده : by Matt Telles and Yuan Hsieh
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Debugging in computer science.
رده :
QA76
.
6
.
T4412
2001
1464. The smart grid :
پدیدآورنده : Clark W. Gellings.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electric power-- Conservation.,Electric power distribution-- Energy conservation.,Electric utilities-- Energy conservation.,Electric power-- Conservation.,Electric utilities-- Energy conservation.,Electrical & Computer Engineering.,Electrical Engineering.,Engineering & Applied Sciences.,TECHNOLOGY & ENGINEERING-- Electrical.
رده :
TK3091
.
G448
2009eb
1465. Theorem provers in circuit design :
پدیدآورنده : Ramayya Kumar, Thomas Kropf, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Digital integrated circuits -- Computer-aided design -- Congresses.
رده :
TK7874
.
65
R363
1995
1466. Theorem proving with analytic tableaux and related methods :
پدیدآورنده : Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
رده :
QA76
.
9
.
A96
P484
1995
1467. Theorem proving with the real numbers.
پدیدآورنده : John Harrison
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
A96
J646
2012
1468. Theoretical and practical advances in computer-based educational measurement /
پدیدآورنده : Bernard P. Veldkamp, Cor Sluijter, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Education-- Examinations.,Examinations-- Technological innovations.,Education.
رده :
LC5225
.
A75
T44
2019
1469. Theoretical approaches to non-numerical problem solving :
پدیدآورنده : Hermann Balzer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
1470. Theory and Practice of Parallel Programming :
پدیدآورنده : edited by Takayasu Ito, Akinori Yonezawa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer system failures.,Microprocessors.
رده :
TK7895
.
M5
E358
1995
1471. Theory and Practice of Robots and Manipulators :
پدیدآورنده : edited by A. Morecki, G. Bianchi, K. Kȩdzior.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Manipulators (Mechanism) -- Congresses.,Robotics -- Congresses.,Science (General)
رده :
TJ210
.
3
E358
1985
1472. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده : Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
1473. Theory of Digital Automat
پدیدآورنده : / by Bohdan Borowik, Mykola Karpinskyy, Valery Lahno, Oleksandr Petrov
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Engineering,Logic design,Mathematics,Systems engineering,Electronic books
رده :
E-BOOK
1474. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
1475. Three-dimensional object recognition from range images.
پدیدآورنده : Minsoo Suk
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
TA1632
.
M567
2013
1476. Time granularities in databases, data mining, and temporal reasoning
پدیدآورنده : Claudio Bettini, Sushil Jajodia, Sean Wang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining.,Database management.,Temporal databases.
رده :
QA76
.
9
.
D3
C538
9999
1477. Time-space, spiking neural networks and brain-inspired artificial intelligence /
پدیدآورنده : Nikola K. Kasabov.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational neuroscience.,Machine learning.,Neural networks (Computer science),Object-oriented methods (Computer science),Artificial intelligence.,Computational neuroscience.,COMPUTERS-- Programming-- Object Oriented.,Life sciences: general issues.,Machine learning.,Neural networks (Computer science),Neurosciences.,Object-oriented methods (Computer science),Pattern recognition.,Robotics.
رده :
QA76
.
9
.
O35
1478. Tools and Environments for Parallel and Distributed Systems
پدیدآورنده : edited by Amr Zaky, Ted Lewis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
1479. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
1480. Top-down network design
پدیدآورنده : Oppenheimer, Priscilla
کتابخانه: (طهران)
موضوع : Design ، Computer networks,Computer networks ، Business enterprises,، System analysis
رده :
TK
5105
.
5
.
O663
1999