2101. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
پدیدآورنده : Enrico Giunchiglia, Armando Tacchella )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2919
2102. Theory and practice of algorithms in (computer) systems
پدیدآورنده : Alberto Marchetti-Spaccamela, Michael Segal (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses
رده :
QA76
.
9
.
A43
T37
2011
2103. Theory of algorithms
پدیدآورنده : edited by L. Lovasz and E. Szemeredi
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Algorithms,Congresses ، Machine translating,Congresses ، Computer programming
رده :
QA
9
.
58
.
C64
1984
2104. Time structures :
پدیدآورنده : Elżbieta Hajnicz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer algorithms.,Time.
رده :
QA76
.
9
.
A43
E493
1996
2105. Time structures : formal description and algorithmic representation
پدیدآورنده : Hajnicz, Elzbieta
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer algorithms,، Time,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1047
2106. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : 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
2107. Topics in Industrial Mathematics
پدیدآورنده : by Helmut Neunzert, Abul Hasan Siddiqi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Computer science-- Mathematics.,Electronic data processing.,Mathematical optimization.,Mathematics.
2108. Topics in matroid theory
پدیدآورنده : Leonidas S Pitsoulis
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Matroids,، Algorithms,، Computer algorithms
رده :
QA
2109. Topics in matroid theory /
پدیدآورنده : Leonidas S. Pitsoulis.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Matroids.,Algorithms.,Computer algorithms.,Matroids.,Network analysis (Planning)
رده :
QA166
.
6
2110. Topics in theoretical computer science :
پدیدآورنده : Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : 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.
رده :
QA75
.
5
2111. Towards evolvable hardware : the evolutionary engineering approach
پدیدآورنده : Eduardo Sanchez, Marco Tomassini )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1062
2112. Tractability :
پدیدآورنده : edited by Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial optimization-- Data processing.,Computer algorithms.
2113. Transformational approaches to systolic design
پدیدآورنده : / edited by G.M. Megson
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computer architecture,Computer algorithms,Parallel processing (Electronic computers),Systolic array circuits
رده :
QA
76
.
9
.
A73T73
1994
2114. Transformational approaches to systolic design
پدیدآورنده : edited by G.M. Megson
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computer architecture,، Computer algorithms,، Parallel processing )Electronic computers(,، Systolic array circuits
رده :
QA
76
.
9
.
A73
T73
1994
2115. Transforms and Fast Algorithms for Signal Analysis and Representations
پدیدآورنده : by Guoan Bi, Yonghong Zeng.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Computer engineering.,Computer software.,Fourier analysis.,Mathematics.
2116. Understanding complex datasets
پدیدآورنده : / David Skillicorn
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Data mining.,Data structures (Computer science),Computer algorithms.,Matrices.,Decomposition (Mathematics)
2117. Understanding complex datasets : data mining with matrix decompositions
پدیدآورنده : Skillicorn, David B.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Data mining,، Data structures )Computer science(,، Computer algorithms
رده :
QA
76
.
9
.
D343S57
2118. Understanding complex datasets :data mining with matrix decompositions
پدیدآورنده : Skillicorn, David B.
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Data mining,، Data structures )Computer science(,، Computer algorithms
رده :
QA
76
.
9
.
D343
S62
2007
2119. Understanding complex datasets data mining with matrix decompositions
پدیدآورنده : David Skillicorn
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Data mining,Data structures )Computer science(,Computer algorithms
رده :
QA
76
.
9
.
D343S62
2007
2120. Understanding machine learning :from theory to algorithms
پدیدآورنده : Shalev-Shwartz, Shai.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Machine learning,، Algorithms,، COMPUTERS / Computer Vision & Pattern Recognition
رده :
Q
325
.
5
.
S475
2014
