2561. Theory and algorithms for linear optimization: an interior point approach ]electronic resources[
پدیدآورنده : Roos, Cornelis
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Interior-point methods,، Linear programming,، Mathematical optimization,، Algorithms
رده :
T
57
.
74
.
R664
1997
2562. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
پدیدآورنده : Armin Biere, Carla P. Gomes )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
4121
2563. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
پدیدآورنده : Fahiem Bacchus, Toby Walsh )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
2564. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
پدیدآورنده : Holger H. Hoos, David G. Mitchell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
رده :
QA
76
.
L28
Vol
.
3542
2565. 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.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2919
2566. Theory of Affine Projection Algorithms for Adaptive Filtering
پدیدآورنده : \ Kazuhiko Ozeki
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Adaptive filters,Algorithms,پالایههای تطبیقی,الگوریتمها,a03,a04,a03,a04
رده :
E-Book
,
2567. Theory of algorithms
پدیدآورنده : edited by L. Lovasz and E. Szemeredi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Algorithms,Congresses ، Machine translating,Congresses ، Computer programming
رده :
QA
9
.
58
.
C64
1984
2568. Theory of automation of production planning and of tooling; algorithms for designing machine tools in automated industrial plants
پدیدآورنده : Goranskii, G.K.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine-tools-- Numerical control,، Electronic digital computers,، Algorithms
رده :
TJ
1189
.
G6513
2569. Time integration methods :-in-Parallel
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel algorithms ;
2570. Time structures : formal description and algorithmic representation
پدیدآورنده : Hajnicz, Elzbieta
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer algorithms,، Time,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1047
2571. Topics in matroid theory
پدیدآورنده : Leonidas S Pitsoulis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Matroids,، Algorithms,، Computer algorithms
رده :
QA
2572. Topics in validated computations
پدیدآورنده : / edited by Jeurgen Herzberger
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Interval analysis (Mathematics), Congresses,Numerical calculations, Verification, Congresses,Algorithms, Congresses,Linear algebra
رده :
QA297
.
75
.
I43
1993
2573. Topics in validated computations
پدیدآورنده : / edited by Jurgen Herzberger
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Interval analysis (Mathematics)- Congresses,Numerical calculations- Verification- Congresses,Algorithms- Congresses
رده :
QA297
.
75
.
I43
1993
2574. Towards dynamic randomized algorithms in computational geometry
پدیدآورنده : Teillaud, Monique, 1691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Geometry,، Algorithms
رده :
QA
76
.
L28
Vol
.
758
2575. Towards dynamic randomized algorithms in computational geometry
پدیدآورنده : Teillaud, Monique
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Geometry-- Data processing,، Algorithms
رده :
QA
448
.
D38
.
T45
1993
2576. Towards evolvable hardware : the evolutionary engineering approach
پدیدآورنده : Eduardo Sanchez, Marco Tomassini )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1062
2577. Tracking and data fusion: a handbook of algorithms
پدیدآورنده : Bar-Shalom, Yaakov
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Handbooks, manuals, etc. ، Multisensor data fusion,، Algorithms
رده :
TK
5102
.
9
.
B27
2011
2578. Transformational approaches to systolic design
پدیدآورنده : edited by G.M. Megson
موضوع : ، Computer architecture,، Computer algorithms,، Parallel processing )Electronic computers(,، Systolic array circuits
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
2579. Transforms and fast algorithms for signal analysis and representations
پدیدآورنده : Bi, Guoan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Signal processing,، Transformations )Mathematics(,، Algorithms
رده :
TK
5102
.
9
.
B52
2004
2580. Turing Mechines With Sublogaritmic Space
پدیدآورنده : / Andrzej Szepietowski
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algorithms.
رده :
QA76
.
T
8