241. Set theory and hirarchy theory: a memorial tribute to Andrzej Mostowski: Bierotowice, Poland, 1975;]Proceedings[
پدیدآورنده : Conference on Set Theory and Hierarchy Theory, 2d, Bierutowice, Poland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibiography ، Mostowski, Andrzej
رده :
QA
3
.
L28
no
.
537
242. Spectral analysis and filter theory in applied geophysics.
پدیدآورنده : Burkhard Buttkus
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QC809
.
S67
B875
2013
243. State-Space Search :
پدیدآورنده : by Weixiong Zhang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA402
.
B994
1999
244. Stochastic approximation and recursive algorithms and applications
پدیدآورنده : / Harold J. Kushner, G. George Yin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Stochastic approximation,Recursive functions,Algorithms
رده :
QA274
.
2
.
K88
2003
245. Stochastic approximation and recursive algorithms and applications
پدیدآورنده : / Harold J. Kushner, G. George Yin
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Stochastic approximation.,Recursive functions.,Algorithms.
رده :
QA
,
274
.
2
,.
K88
,
2003
246. Stochastic approximation and recursive algorithms and applications-]CD[
پدیدآورنده : Kushner, Harold J. )Harold Joseph(, Harold J. Kushner, G. George Yin
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Stochastic approximation,، Recursive functions,، Algorithms
رده :
CD
1744-
247. Stochastic approximation and recursive algorithms and applications
پدیدآورنده : / Harold J. Kushner, G. George Yin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Stochastic approximation,Recursive functions,Algorithms
رده :
QA274
.
2
.
K88
2003
248. Stochastic approximation and recursive algorithms and applications
پدیدآورنده : / Harold J. Kushner, G. George Yin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Stochastic approximation,Recursive functions,Algorithms
رده :
E-BOOK
249. Stochastic approximation and recursive algorithms and applications
پدیدآورنده : / Harold J. Kushner, G. George Yin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Stochastic approximation,Recursive functions,Algorithms
رده :
QA274
.
2
.
K88
2003
250. Stochastic approximation and recursive algorithms and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Stochastic approximation. ; Recursive functions. ; Algorithms. ;
251. Stochastic processes
پدیدآورنده : edited by Kaddour Najim, Enso Ikonen, & Ait-Kadi Daoud,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Stochastic processes,Estimation theory,Mathematical optimization,Recursive functions
رده :
EBOOK
,
QA
.
N35
274
2004
252. Stochastic processes :
پدیدآورنده : edited by Kaddour Najim, Enso Ikonen, & Ait-Kadi Daoud
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Estimation theory,Mathematical optimization,Recursive functions,Stochastic processes
رده :
QA274
.
N35
2004
253. Stochastic processes
پدیدآورنده : / edited by Kaddour Najim, Enso Ikonen, & Ait-Kadi Daoud
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Stochastic processes,Estimation theory,Mathematical optimization,Recursive functions
رده :
QA274
.
N35
2004
254. Stochasticity and Intramolecular Redistribution of Energy
پدیدآورنده : edited by R. Lefebvre, S. Mukamel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemistry, Physical organic.,Physics.
255. Symbolic and Algebraic Computation :
پدیدآورنده : edited by Edward W. Ng.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA155
.
7
.
E4
E358
1979
256. Synthesis of digital designs from recursion equations
پدیدآورنده : Johnson, Steven D, Steven Dexter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Digital electronics-- Data processing,، Electronic circuit design-- Data processing,، Recursive functions
رده :
TK
7868
.
D5
.
J64
1984
257. SystemVerilog assertions and functional coverage
پدیدآورنده : / Ashok B. Mehta
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Engineering,Circuits and Systems,Electronics and Microelectronics, Instrumentation,Processor Architectures,Verilog (Computer hardware description language),Electronic digital computers, Design and construction,Integrated circuits, Verification,TECHNOLOGY & ENGINEERING / Mechanical, bisacsh
رده :
E-BOOK
258. SystemVerilog assertions and functional coverage :guide to language, methodology and applications
پدیدآورنده : Mehta, Ashok B., Ashok B. Mehta
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures
رده :
TK7885
.
7
259. The Foundations of intuitionistic mathematics; especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole, 9091-
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Constructive mathematics,، Recursive functions
رده :
QA
9
.
K648
260. The Python workbook :
پدیدآورنده : Ben Stephenson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Python (Computer program language),Python (Computer program language)
رده :
QA76
.
73
.
P98
