1001. Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 1819, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 1819, 2021, Revised Selected Papers
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: COMPUTERS / Programming / General ; Mathematics ; Science ; Sciences ;
1002. Solution manual opertions research an introduction
پدیدآورنده: Taha, Hamdy A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Handbooks, manuals, etc ، Operations research,، Programming )Mathematics(
رده :
T
57
.
6
.
T32
1987
manual
1003. Some vistas of modern mathematics:dynamics programming,invariant
پدیدآورنده: BELLMAN,RICHARD ERNEST
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: PROGRAMMING )MATHEMATICS(-ADDRESSES, , INVARIANT IMBEDDING-ADDRESSES,ESSAYS, , BIOMATHEMATICS-ADDRESSES,
رده :
QA
264
.
B45
1004. Stochastic versus fuzzy approaches to multiobjective mathematical programming under uncertainty
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming )Mathematics(,، Fuzzy systems,، Stochastic processes
رده :
QA
402
.
5
.
S74
1990
1005. Stochastic versus fuzzy approaches to multiobjective mathematical programming under uncertainty
پدیدآورنده: edited by Roman Slowinski, Jacques Teghem
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Programming )Mathematics(,، Fuzzy systems,، Stochastic processes
رده :
QA
402
.
5
.
S74
1990
1006. Studies in computer science
پدیدآورنده: POLLACK,SEYMOUR V
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DATA PROCESSING-ADDRESSES, , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , MATHEMATICS-DATA PROCESSING-
رده :
QA
76
.
24
.
S78
1007. Studies in linear and non-Linear programming
پدیدآورنده: / by Kenneth J. Arrow, Leonid Hurwicz (and) Hirofumi Uzawa
کتابخانه: دانشکده اقتصاد (دانشگاه تهران) (تهران)
موضوع: Programming (Mathematics),Economics-Mathematical models
رده :
QA
264
.
A7
1008. Studies in linear and non-linear programming
پدیدآورنده: Arrow, Kenneth Joseph
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming )Mathematics(,models ، Economics, Mathematical
رده :
QA
264
.
A7
1009. Symbolic computation : applications to scientific computing
پدیدآورنده: edited by Robert Grossman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
1010. Synthesis of computational structures for analog signal processing
پدیدآورنده: / Cosmin Radu Popa
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Signal processing--Mathematics,Data structures (Computer science),Computer programming
رده :
TK5102
.
9
.
P65
2011
1011. Synthesis of computational structures for analog signal processing
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Signal processing ; Mathematics. ; Data structures (Computer science) ; Computer programming. ;
1012. Synthesis of computational structures for analog signal processing
پدیدآورنده: / Cosmin Radu Popa
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Signal processing--Mathematics,Data structures (Computer science),Computer programming.
رده :
TK
,
5102
.
9
,.
P65
,
2011
1013. Synthesis of computational structures for analog signal processing
پدیدآورنده: Popa, Cosmin Radu., Cosmin Radu Popa
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Signal processing, Mathematics,، Data structures )Computer science(,، Computer programming
رده :
TK
5102
.
9
.
P65
2011
1014. Systems modelling and optimization
پدیدآورنده: edited by Peter Nash
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Mathematical optimization,، Programming )Mathematics(,، Mathematical models
رده :
QA
402
.
3
.
S9
1015. Systems modelling and optimization
پدیدآورنده: edited by peter Nash
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Addresses, essays, lectures ، Mathematical optimization,Addresses, essays, lectures ، Programming )Mathematics(,Addresses, essays, lectures ، Mathematical models
رده :
QA
402
.
5
.
S944
1016. Systems modelling and optimization
پدیدآورنده: edited by Peter Nash
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Mathematical optimization,، Programming )Mathematics(,، Mathematical models
رده :
QA
402
.
5
.
S944
1017. T-Defined Network Architectures with VMware NSX-T: Logical Routing and Switching: The Basic Principles of Building Software-Getting Started with NSX
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: COMPUTERS / General ; COMPUTERS / Programming / Open Source ; Mathematics ;
1018. #<The> basic George B. Dantzig
پدیدآورنده: #edited by Richard W. Cottle
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Programming )Mathematics( ،Mathematical optimization ،Mathematical statistics ،Dantzig, George Bernard,- 1914-
رده :
#
QA
،#.
D262
،#
2003
1019. The LLL algorith
پدیدآورنده: / Phong Q. Nguyen, Brigitte Vallee, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Cryptography--Mathematics,Lattice theory.,Integer programming.,Euclidean algorithm.
رده :
QA
,
9
.
58
,.
L55
,
2010
1020. The LLL algorithm
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Cryptography ; Mathematics. ; Lattice theory. ; Integer programming. ; Euclidean algorithm. ;
