4341. The valuative tree
Author: Charles Favre, Mattias Jonsson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Trees )Graph theory(,، Algorithms
Classification :
QA
3
.
L28
Vol
.
1853
4342. Theory and Applications of Satisfiability Testing – SAT 2015
Author: \ Marijn Heule , Sean Weaver (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer algorithms -- Congresses.,Computer software -- Verification -- Congresses,Computer algorithms.,الگوریتمهای کامپیوتری -- کنگره ها ,نرمافزار -- راستیآزمایی -- کنگره ها ,الگوریتمهای کامپیوتری
Classification :
QA
76
.
9
.
A43
2015
E-Book
,
4343. Theory and algorithms for linear optimization
Author: / C. Roos, T. Terlaky, and J.-Ph. Vial
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Interior-point methods,Linear programming,Mathematical optimization,Algorithms
Classification :
T57
.
74
.
R664
1997
4344. Theory and algorithms for linear optimization
Author: / C. Roos, T. Terlaky, and J.-Ph. Vial
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Linear programming,Mathematical optimization,Algorithms,Electronic books., local
Classification :
T57
.
74
.
R664
1997
4345. Theory and algorithms for linear optimization
Author: C. Roos, T. Terlaky, J.-Ph. Vial
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Interior-point methods,Linear programming,Mathematical optimization,Algorithms
Classification :
T
,
57
.
74
,.
R664
,
1997
4346. Theory and algorithms for linear optimization :an interior point approach
Author: / C. Roos, T. Terlaky, and J.-Ph. Vial
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Interior-point methods,Linear programming,Mathematical optimization,Algorithms
Classification :
T57
.
74
.
R664
1997
4347. Theory and algorithms for linear optimization: an interior point approach
Author: Roos, Cornelis
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Interior-point methods,، Linear programming,، Mathematical optimization,، Algorithms
Classification :
T
57
.
74
.
R664
4348. Theory and algorithms for linear optimization: an interior point approach ]electronic resources[
Author: Roos, Cornelis
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Interior-point methods,، Linear programming,، Mathematical optimization,، Algorithms
Classification :
T
57
.
74
.
R664
1997
4349. Theory and applications of satisfiability testing -- SAT 2019 :
Author: Mikoláš Janota, Inês Lynce (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
Classification :
QA76
.
9
.
A43
4350. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
Author: Armin Biere, Carla P. Gomes )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
4121
4351. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
Author: Fahiem Bacchus, Toby Walsh )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
3569
4352. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
Author: Holger H. Hoos, David G. Mitchell )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
Classification :
QA
76
.
L28
Vol
.
3542
4353. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
Author: Enrico Giunchiglia, Armando Tacchella )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
2919
4354. Theory and practice of algorithms in (computer) systems
Author: Alberto Marchetti-Spaccamela, Michael Segal (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses
Classification :
QA76
.
9
.
A43
T37
2011
4355. Theory of Affine Projection Algorithms for Adaptive Filtering
Author: \ Kazuhiko Ozeki
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Adaptive filters,Algorithms,پالایههای تطبیقی,الگوریتمها,a03,a04,a03,a04
Classification :
E-Book
,
4356. Theory of algorithms
Author: edited by L. Lovasz and E. Szemeredi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Algorithms,Congresses ، Machine translating,Congresses ، Computer programming
Classification :
QA
9
.
58
.
C64
1984
4357. Theory of automation of production planning and of tooling; algorithms for designing machine tools in automated industrial plants
Author: Goranskii, G.K.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine-tools-- Numerical control,، Electronic digital computers,، Algorithms
Classification :
TJ
1189
.
G6513
4358. Time integration methods :-in-Parallel
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Parallel algorithms ;
4359. Time structures :
Author: Elżbieta Hajnicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer algorithms.,Time.
Classification :
QA76
.
9
.
A43
E493
1996
4360. Time structures : formal description and algorithmic representation
Author: Elzbieta Hajnicz
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer algorithms,، Time,، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
1047
