4361. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: 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.
Classification :
QA76
.
9
.
S88
4362. Topics in Industrial Mathematics
Author: by Helmut Neunzert, Abul Hasan Siddiqi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science-- Mathematics.,Electronic data processing.,Mathematical optimization.,Mathematics.
4363. Topics in matroid theory
Author: / Leonidas S Pitsoulis
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Matroids,Algorithms,Computer algorithms
Classification :
QA
4364. Topics in matroid theory /
Author: Leonidas S. Pitsoulis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Matroids.,Algorithms.,Computer algorithms.,Matroids.,Network analysis (Planning)
Classification :
QA166
.
6
4365. Topics in theoretical computer science :
Author: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
4366. Topics in validated computations
Author: / edited by Jeurgen Herzberger
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Interval analysis (Mathematics), Congresses,Numerical calculations, Verification, Congresses,Algorithms, Congresses,Linear algebra
Classification :
QA297
.
75
.
I43
1993
4367. Topics in validated computations
Author: / edited by Jurgen Herzberger
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Interval analysis (Mathematics)- Congresses,Numerical calculations- Verification- Congresses,Algorithms- Congresses
Classification :
QA297
.
75
.
I43
1993
4368. Topological algorithms for digital image processing /
Author: edited by T. Yung Kong, Azriel Rosenfeld
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Image processing-- Digital techniques,Topology
Classification :
TA1637
.
T67
1996
4369. Topology and AI
Author: / Edited by Michael Farber, Jesus Gonzalez.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Algorithms,Artificial intelligence,Topology,a04,a06,a08
4370. Total Least Squares and Errors-in-Variables Modeling
Author: edited by Sabine Huffel, Philippe Lemmerling.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Electronic data processing.,Mathematics.,Matrix theory.,Statistics.
4371. Towards Reliability Evaluation and Integration in Cloud Resource Management
Author: Alam, A. B. M. Bodrul
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Classification,Cloud computing,Communication,Customer services,Failure analysis,Fault tolerance,Optimization,Software,Workloads
4372. Towards dynamic randomized algorithms in computational geometry
Author: Teillaud, Monique
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Geometry-- Data processing,، Algorithms
Classification :
QA
448
.
D38
.
T45
1993
4373. Towards dynamic randomized algorithms in computational geometry
Author: Monique Teillaud
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing ، Geometry,، Algorithms
Classification :
QA
76
.
L28
Vol
.
758
4374. Towards evolvable hardware : the evolutionary engineering approach
Author: Eduardo Sanchez, Marco Tomassini )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
1062
4375. Tracking and data fusion: a handbook of algorithms
Author: Bar-Shalom, Yaakov
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Handbooks, manuals, etc. ، Multisensor data fusion,، Algorithms
Classification :
TK
5102
.
9
.
B27
2011
4376. Tractability :
Author: edited by Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization-- Data processing.,Computer algorithms.
4377. Trading the measured move
Author: David M. Halsey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Electronic trading of securities,Investment analysis,Program trading (Securities)
Classification :
HG4529
.
H356
2014
4378. Transformational approaches to systolic design
Author: / edited by G.M. Megson
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer architecture,Computer algorithms,Parallel processing (Electronic computers),Systolic array circuits
Classification :
QA
76
.
9
.
A73T73
1994
4379. Transformational approaches to systolic design
Author: / edited by G.M. Megson
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer architecture,Computer algorithms,Parallel processing (Electronic computers),Systolic array circuits
Classification :
QA
76
.
9
.
A73
T73
1994
