1621. Semantics and algebraic specification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
![](/design/images/bookmore.png)
1622. Sensitivity, Stability and Parametric Analysis
پدیدآورنده: edited by Anthony V. Fiacco.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics.,Mathematical optimization.,Mathematics.
رده :
QA402
.
5
E358
1984
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1623. Sensitivity analysis for neural network
پدیدآورنده: / Daniel S. Yeung, Ian Cloete, Daming Shi, Wing W.Y. Ng
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Neural networks (Computer science),Sensitivity theory (Mathematics)
رده :
QA
,
76
.
87
,.
Y48
,
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1624. Sensitivity analysis for neural networks
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Neural networks (Computer science) ; Sensitivity theory (Mathematics) ;
![](/design/images/bookmore.png)
1625. Sensitivity analysis for neural networks
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Neural networks )Computer science(,، Sensitivity theory )Mathematics(
رده :
QA
76
.
87
.
S37
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1626. Sensitivity analysis for neural networks
پدیدآورنده: Daniel S. Yeung...]et al.[
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Neural networks )Computer science(,، Sensitivity theory )Mathematics(,، Electronic books
رده :
QA
76
.
87
.
S46
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1627. Set Operads in Combinatorics and Computer Science
پدیدآورنده: \ Miguel A. Méndez
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Decomposition method,روش تجزیه,a02,a02,Operads.,Computer science -- Mathematics,علوم کامپیوتر -- ریاضیات
رده :
QA
169
.
M4S4
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1628. Sets, Logic and Maths for Computing
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Mathematical logic. ; Computer mathematics. ; Discrete mathematics. ; Discrete Mathematics in Computer Science. ; -Computer science
![](/design/images/bookmore.png)
1629. Sets, logic and maths for computin
پدیدآورنده: / David Makinson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics
رده :
QA
,
76
.
9
,.
M35
,
M35
,
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1630. Sets, logic and maths for computing
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics. ; Informatique ; Math?matiques. ;
![](/design/images/bookmore.png)
1631. Simulation by Bondgraphs :
پدیدآورنده: by Jean Ulrich Thoma.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Engineering mathematics.
رده :
TA338
.
B6
B954
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1632. Singular Phenomena and Scaling in Mathematical Model
پدیدآورنده: / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science, Mathematics,Computer science,Mathematics,Computational Science and Engineering,Computational Mathematics and Numerical Analysis
رده :
E-BOOK
![](/design/images/bookmore.png)
1633. Small Viscosity and Boundary Layer Methods
پدیدآورنده: by Guy Métivier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.,Differential equations, Partial.,Mathematical physics.,Mathematics.,Surfaces (Physics).
![](/design/images/bookmore.png)
1634. Soft Computing in Measurement and Information Acquisition
پدیدآورنده: edited by Leon Reznik, Vladik Kreinovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer engineering.,Computer science.,Engineering mathematics.,Engineering.,Management information systems.,Mathematics.
![](/design/images/bookmore.png)
1635. Software service and application engineering
پدیدآورنده: Maritta Heisel (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics,Software engineering
رده :
QA76
.
758
.
S725
2012eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1636. Space-Filling Curve
پدیدآورنده: / by Michael Bader
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Algorithms,Electronic books
رده :
E-BOOK
![](/design/images/bookmore.png)
1637. Sparse Grids and Applications
پدیدآورنده: edited by Jochen Garcke, Michael Griebel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.,Computer science.,Mathematics.,Mathematics.,Computational Mathematics and Numerical Analysis.,Computational Science and Engineering.,Mathematics of Computing.
![](/design/images/bookmore.png)
1638. Special Topics in Mathematics for Computer Scientists
پدیدآورنده: \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1639. Stability of Axially Moving Materials
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mechanics, applied. ; Mathematical optimization. ; Computer science ; Mathematics. ; Manufactures. ; Theoretical and Applied Mechanics. ;
![](/design/images/bookmore.png)
1640. Statistical multisource-multitarget information fusion
پدیدآورنده: Mahler, Ronald P. S.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Expert systems )Computer science(,Mathematics ، Multisensor data fusion,، Bayesian statistical decision theory,، Automatic tracking,، Signal processing,، Tracking radar,، Target acquisition
رده :
QA
76
.
76
.
E95M34
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)