5801. The joy of factoring /
Author: Samuel S. Wagstaff, Jr
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Factorization (Mathematics),Number theory
Classification :
QA241
.
W29
2013


5802. The logic of adaptive behavior
Author: Martijn van Otterlo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Adaptive control systems.,Computer algorithms.,Decision making-- Mathematical models.,Sequential analysis.,Uncertainty (Information theory)

5803. The logic of adaptive behavior : knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains
Author: Martijn van Otterlo
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematical models ، Decision making,، Sequential analysis,، Adaptive control systems,، Uncertainty )Information theory(,، Computer algorithms
Classification :
QA
279
.
7
.
O88L6


5804. The logic of partial information
Author: Nait Abdallah, Areski
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N35
1995


5805. The logic of partial information
Author: Areski Nait Abdallah
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N3


5806. The making of a new science :
Author: Giorgio Ausiello.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- History.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
17


5807. The multilevel fast multipole algorithm (MLFMA) for solving large-scale computational electromagnetics problems /
Author: Özgür Ergül, Levent Gürel ; IEEE Antennas and Propagation Society, sponsor
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Electromagnetism-- Computer simulation,Electromagnetism-- Data processing
Classification :
QC760
.
54


5808. The multivariate algorithmic revolution and beyond : essays dedicated to Michael R. Fellows on the occasion of his 60th birthday
Author: Hans L. Bodlaender... ]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computational complexity,، Algorithms
Classification :
QA
76
.
L28
Vol
.
7370


5809. The (new) Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
Classification :
QA76
.
D448
1993


5810. The power of geometric algebra computing
Author: / Dietmar Hildenbrand.,Hildenbrand, Dietmar,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Clifford algebras.,Conformal geometry.,Quantum computing.,Engineering,Data processing.
Classification :
QA199
.
H5526
2022


5811. The pre-kernel as a tractable solution for cooperative games :an exercise in algorithmic game theory
Author: Meinhardt, Holger Ingmar,Holger Ingmar Meinhardt
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Game theory,، Kernel functions,، Economics/Management Science,، Game Theory/Mathematical Methods,، Game Theory, Economics, Social and Behav. Sciences,، Economic Theory,، Math Applications in Computer Science
Classification :
QA272
.
4


5812. The programming and proof system ATES advanced techniques integration into efficient scientific software
Author: Armand Puccetti (ed.). With contrib. by D. Brocard ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer programming.,Computer software -- Development.

5813. The random projection method
Author: Vempala, Santosh S. )Santosh Srinivas(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Random projection method,، Algorithms
Classification :
QA
501
.
V45
2004


5814. The science of computing : exploring the nature and power of algorithms
Author: Harel, David, 0591-
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic data processing,، Computer algorithms
Classification :
QA
76
.
H2833
1989


5815. The second Aizu International Symposium on Parallel Algorithms / Architecture Synthesis : proceedings, March 17-21, 1997, Aizu-Wakamatsu, Fukushima, Japan
Author: sponsored by the University of Aizu; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture ... ]et al.[ ; editors, Nikolay Mirenkov ... ]et al.[
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Parallel algorithms - Congresses , Parallel programming )Computer science( - Congresses
Classification :
QA
76
.
642
.
A43
1997


5816. The second Aizu international symposium on parallel algorithms/architecture synthesis :proceedings ,March 17-21 ,1997 ,Aizu -Wakamatsu ,Fukushima ,Japon
Author: Sponsored by the university of Aizu in cooperation with IEEE computer society technical committee on computer architecture...]et al.[; editors Nikolay Mirenkov...]et al.[
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Parallel programming )computer science( -congresses,، Computr algorthims -congresses
Classification :
QA
76
.
642
.
A43
1997


5817. The singularity is near :
Author: Ray Kurzweil.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Brain-- Evolution.,Genetics.,Human evolution.,Nanotechnology.,Robotics.,Artificial Intelligence.,Biological Evolution.,Neural Networks (Computer)
Classification :
QP376
.
K85
2006


5818. The synthesis of three dimensional haptic textures :
Author: Gianni Campion
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Haptic devices,Computer science
Classification :
QA76
.
9
.
U83
C36
2011


5819. The theory of computability
Author: / R.Sommerhalder,S.C. van Westrhenen,Sommerhalder
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Algorithms,Computational complextiy,Computable functions
Classification :
QA
9
.
58
.
S64
1988


5820. <The> theory of computability
Author: / R. Sommerhalder, S.C. Van Westrhenen
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Algorithms,Computational complexity,Computable functions
Classification :
QA9
.
58
.
S64
1988

