61. Empirical model discovery and theory evaluation :
پدیدآورنده : David F. Hendry and Jurgen A. Doornik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Econometrics-- Computer programs.,Econometrics-- Methodology.,BUSINESS & ECONOMICS-- Econometrics.,BUSINESS & ECONOMICS-- Economics-- General.,BUSINESS & ECONOMICS-- Reference.,Econometrics-- Computer programs.,Econometrics-- Methodology.
رده :
HB139
.
H454
2014eb
62. Essays in the Theory of Economic Regulation: A Variety Model for Economics and Law
پدیدآورنده : \ By Cosmo Kenningham Marchant
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
63. Explicit nonlinear model predictive control :theory and applications
پدیدآورنده : Grancharova, Alexandra Ivanova.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Nonlinear control theory
رده :
TJ
217
.
6
.
G73
64. FINITE MODEL THEORY (1).
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
65. Finite and Algorithmic Model Theory
پدیدآورنده : / Esparza/Michaux/Steinhorn
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
66. Finite and algorithmic model theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Finite model theory. ;
67. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
68. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562
69. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E22F5
70. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E22F5
2006
71. Finite model theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Model theory
رده :
511
.
34
E15f
1999
72. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter
موضوع : ، Model theory
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
73. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E23
1999
74. Finite model theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Model theory. ;
75. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
E23
1999
76. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Model theory
رده :
E-BOOK
77. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
E23
1999
78. Finite model theory and its applications
پدیدآورنده : Erich Gradel ... [et al.]&
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (تهران)
موضوع : Finite model theory,Computational complexity,Constraint databases
رده :
{
1648
},
06fdfb40a6eef9acf992e8ee6bc47b2a
79. Finite model theory and its applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Finite model theory. ; Computational complexity. ; Constraint databases. ;
80. Finite model theory and its applications
پدیدآورنده : Erich Gradel...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
F565
