This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
John Hicks Theology of Religions and Inter-Religious Dialogue:
"
John R. Meyer
Document Type
:
BL
Record Number
:
577651
Doc. No
:
b406870
Main Entry
:
Margaria-Steffen, Tiziana,1964-
Title & Author
:
Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /\ edited by Tiziana Margaria, Bernhard Steffen.
Publication Statement
:
Berlin, Heidelberg :: Springer Berlin Heidelberg,, c2008.
Series Statement
:
Communications in Computer and Information Science,; 17
ISBN
:
9783540884781
:
: 9783540884798
Subject
:
Computer science.
Subject
:
Computer simulation.
Subject
:
Computer system performance.
Subject
:
Software engineering.
Added Entry
:
Steffen, Bernhard.
Added Entry
:
SpringerLink (Online service)
:
:
https://lib.clisel.com/site/catalogue/1083213
کپی لینک
پیشنهاد خرید
پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
10.1163-157430101X00134_39546.pdf
10.1163-157430101X00134.pdf
مقاله لاتین
متن
application/pdf
1.50 MB
85
85
نمایش
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن