29981. Validated designs for object-oriented systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Object-oriented methods (Computer science),Formal methods (Computer science),System design

رده :
QA76
.
9
.
O35
,
V35
2005

29982. Validating pharmaceutical systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Pharmaceutical industry-- Data processing,Pharmaceutical technology-- Data processing

رده :
RS122
.
2
.
V35
2006

29983. Validation and qualification in analytical laboratories /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Chemical laboratories-- Standards.,Chemistry, Analytic-- Quality control.,Chemistry Techniques, Analytical-- standards.,Chemistry, Pharmaceutical-- standards.,Drug Industry-- standards.,Laboratories-- standards.,Quality Control.,Chemical laboratories-- Standards.,Chemistry, Analytic-- Quality control.

رده :
QD75
.
4
.
Q34
H83
2007

29984. Validation and verification of knowledge based systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.

رده :
QA76
.
76
.
V47
E358
2011

29985. Validation in chemical measurement

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Chemistry, Analytic , Quality control,Measurement,Chemical laboratories , Accreditation,Electronic books. , local

رده :
E-BOOK

29986. Validation of chromatography data systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Chromatographic analysis.,Computer software -- Validation.

29987. Validation of chromatography data systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Chromatographic analysis,Computer software-- Validation

رده :
QD79
.
C4
.
M33
2017

29988. Validation of chromatography data systems :meeting business and Regulatory Requiremens

پدیدآورنده :

کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)

موضوع : ، Chromatographic analysis,، Computer softwar--Validation

رده :
QD
79
.
M23V19
2005

29989. Validation of chromatography data systems: meeting business and regulatory requirements

پدیدآورنده :

کتابخانه: (سمنان)

موضوع : ، Chromatographic analysis,Validation ، Computer software

رده :
QD
79
.
M3V4

29990. Validation of communications systems with SDL

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Wireless communication systems- Computer simulation,Mobile communication systems- Computer simulation,SDL (Computer program language)

رده :
E-BOOK

29991. Validation of communications systems with SDL

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Wireless communication systems- Computer simulation,Mobile communication systems- Computer simulation,SDL (Computer program language)

رده :
TK5103
.
2
.
D64
2003

29992. Validation of communications systems with SDL :the art of SDL simulation and reachability analysis

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : Computer simulation ، Wireless communication systems,Computer simulation ، Mobile communication systems,، SDL )Computer program language(

رده :
TK
5103
.
2
.
D64
2003

29993. ‎Validation of communications systems with SDL: the art of SDL simulation and reachability analysis‬

پدیدآورنده :

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)

موضوع : ارت‍ب‍اطات‌ ب‍ی‌س‍ی‍م‌ -- ش‍ب‍ی‍ه‌س‍ازی‌ ک‍ام‍پ‍ی‍وت‍ری‌,م‍خ‍اب‍رات‌ -- س‍ی‍س‍ت‍م‍ه‍ای‌ س‍ی‍ار -- ش‍ب‍ی‍ه‌س‍ازی‌ ک‍ام‍پ‍ی‍وت‍ری‌,‎SDL (Computer program language)‬

رده :
TK
۵۱۰۳
/
۲
/
د
۹
و
۸ ۱۳۸۲

29994. Validation of computerized analytical and networked systems /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Pharmaceutical industry-- Data processing-- Quality control.,Pharmaceutical technology-- Automation-- Quality control.,Computer-Aided Design-- standards.,Drug Industry-- standards.,Laboratories-- standards.,Quality Control.,Software Validation.

29995. Validation of stochastic systems

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Stochastic systems.,Stochastic analysis.,Stochastic processes.

رده :
QA
,
274
.
2
,.
V35
,
2004

29996. Validation of stochastic systems : a guide to current research

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Stochastic systems,، Stochastic analysis,، Stochastic processes

رده :
QA
76
.
L28
Vol
.
2925

29997. Valuation, Hedging and Speculation in Competitive Electricity Markets

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer engineering.,Engineering economy.,Engineering.

29998. Value-based learning healthcare systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Medical care-- Computer simulation.,Public health-- Mathematical models.,health care.,medical computing.,POLITICAL SCIENCE-- Public Policy-- Social Security.,POLITICAL SCIENCE-- Public Policy-- Social Services & Welfare.,Public health-- Mathematical models.

رده :
R859
.
7
.
C65
Z44
2018eb

29999. Value creation in e-business management :15th Americas conference on information systems, AMCIS 2009, SIGeBIZ track, San Francisco, CA, USA, August 6-9, 2009 : selected papers

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع : Congresses ، Electronic commerce,Congresses ، Mobile communication systems,Congresses ، Social networks,Congresses ، Service-oriented architecture )Computer science(

رده :
HF
5548
.
32
.
V34
2009

30000. Value functions in control systems and differential games : A viability method

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Control theory,، Differential games,، Hamilton-Jacobi equations,، Nonlinear functional analysis

رده :
QA
402
.
3
.
P56V2