1. Construction guide for soils and foundations
پدیدآورنده : Ahlvin, Richard Glen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Contracts and specifications ، Foundations
رده :
TA
775
.
A433
1988
2. Construction guide for soils and foundations
پدیدآورنده : Ahlvin, Richard Clen, 9191-
موضوع : ، Foundations - contracts and specifications
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
3. Construction guide for soils and foundations
پدیدآورنده : Fletcher, Gordon A
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Foundations-- Contracts and specifications
رده :
TA
775
.
F55
4. Logical foundations of cyber-physical systems /
پدیدآورنده : André Platzer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Autonomic computing.,Cooperating objects (Computer systems),Cybernetics.,Embedded computer systems.,Autonomic computing.,Cooperating objects (Computer systems),Cybernetics.,Embedded computer systems.
رده :
TJ213
.
P537
2018
5. Practical foundations of business system specifications
پدیدآورنده : edited by Haim Kilov, independent consultant, Millington, NJ and Affiliate Professor, Stevens Institute of Technology, Hoboken, NJ, U.S.A., and Kenneth Baclawski, Associate Professor, College of Computer Science, Northeastern University, Boston, MA, U.S.A.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Business -- Data processing.,Computer software -- Development.,Software engineering.
6. Refinement calculus :
پدیدآورنده : Ralph-Johan Back, Joakim von Wright.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Calcul infinitésimal.,Logique informatique.,Programmation (Informatique)
رده :
QA76
.
6
R357
1998