1441. Verification of reactive systems
المؤلف: / Klaus Schneider
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computer systems- - Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2003
1442. Verification of reactive systems
المؤلف: / Klaus Schneider
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computer systems -- Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2004
1443. Verification of reactive systems :
المؤلف: Klaus Schneider.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)
رده :
QA76
.
76
.
V47
K538
2004
1444. Verification of reactive systems: formal methods and algorithms
المؤلف: Schneider, Klaus
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms
رده :
QA
76
.
76
.
V47
.
S34
2003
1445. Vermeer, 1632-1675
المؤلف: / Norbert Schneider
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Vermeer, Johannes,- 1632-1675- Criticism and interpretation
رده :
ND653
.
V5
,
S3513
1994
R
1446. Vermeer, 1632-1675: veiled emotions
المؤلف: Schneider, Norbert
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Criticism and interpretation ، Vermeer, Johannes, 2361-5761
رده :
ND
653
.
V5
S3513
2004
1447. Virtual screening for bioactive molecules
المؤلف: / edited by Hans-Joachim Beohm and Gisbert Schneider
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Drug Design,Databases, Factual,Decision Making, Computer-Assisted,Organic Chemicals--chemistry,Structure-Activity Relationship
1448. Virtual screening for bioactive molecules
المؤلف: Hans-Joachim Bohm and Gisbert Schneider
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: Design Computer simulation ، Drugs,Testing Computer simulation ، Drugs
رده :
RS
420
.
V554
2000
1449. Visual calculus
المؤلف: Schneider, David I
المکتبة: (خراسان الجنوبیة)
موضوع: ، Calculus - computer programs
رده :
QA
303
.
S35
V5
1450. Vorbereitungsmaschinen fur die Weberei; ein Handbuch fur Spinner und Weber
المؤلف: Schneider, Josef
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Textile machinery
رده :
TS
1493
.
S35
1955
1451. Voting and Identify-E
المؤلف: / James Heather, Steve Schneider, Vanessa Teague
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
1452. W Wolfram :
المؤلف: von Dietrich Schneider, Friedrich Schröder ; herausgegeben von Hartmut Katscher, Lieselotte Berg, Hiltrud Hein.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Chemistry.
1454. Water Analysis
المؤلف: edited by Wilhelm Fresenius, Karl Ernst Quentin, Wilhelm Schneider.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Adaptation (Biology),Chemistry, Analytic.,Chemistry, Analytic.,Ecology.,Ecology.,Environmental toxicology.,Environmental toxicology.,Euthenics.,Food-- Biotechnology.,Nature and nurture.,Water-- Pollution.,Food Science.,Waste Water Technology / Water Pollution Control / Water Management / Aquatic Pollution.
1455. Water Analysis: A Practical Guide to Physico- Chemical, Chemical and Microbiological Water Examination and Quality Assurance
المؤلف: W. Fresenius, K. E. Quentin, W. Schneider
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع:
رده :
QD
،
142
،.
W3
،
1988
1456. Water analysis
المؤلف: / W. Fresenius, K.E. Quentin, W. Schneider
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Water-- Analysis,Water Chemistry,Water quality-- Evaluation
رده :
TD
380
.
W327
1988
1457. Water analysis
المؤلف: / W. Fresenius, K.E. Quentin, W. Schneider
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Water-- Analyis,Water Chemistry,Water quality-- Evaluation
رده :
TD
380
.
W327
1988
1458. Water analysis : a practical guide to physico- chemical, chemical, and microbiological water examination and quality assurance
المؤلف: W. Fresenius, K.E. Quentin, W. Schneider, eds. ; compiled by W. Schneider ; with contributions by F.J. Bibo ... ]et al.[ ; ]translated by A. Gledhill, Richard Holland ; revised by T.J. Oliver[
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Water- Analysis,، Water chemistry,، Water quality- Evaluation
رده :
TD
380
.
W327
1988
1459. Water analysis : a practical guide to physico-chemical, chemical, and microbiological water examination and quality assurance
پدیدآورنده : W. Fresenius, K.E. Quentin, W. Schneider, eds. ; compiled by W. Schneider ; with contributions by F.J. Bibo ... )et al.( ; )translated by A. Gledhill, Richard Holland ; revised by T.J. Oliver(
موضوع : ، Water -- Analysis,، Water chemistry,Evaluation ، Water quality
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
1460. Water analysis : a practical guide to physico chemical, chemical and microbiological water examination and quality assurance
المؤلف: / W. Fresenius K. E. Quentin, W. Sehneider, Compiled by W. Schneider, with contributions by F. J. Bibo ... [et al.]
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Water - Analysis,Water chemistry,Water quality - Evaluation
رده :
TD380
.
W327
1988
