عنوان
پدید آورنده
موضوع
رده
TK 7874 .75 .C453 2001
TK
7874
.
75
.
C453
2001
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
130966
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
تابستان۱۸
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)91(
عنوان اصلي
Correct hardware design and verification methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001: proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2001
مشخصات ظاهری
نام خاص و کميت اثر
xii, 482 p.; 24 cm
فروست
عنوان فروست
Lecture notes in computer science
شاپا ي ISSN فروست
2144
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Integrated circuits-- Very large scale integration-- Computer-aided design
عنصر شناسه ای
Congresses ، Integrated circuits-- Verification
رده بندی کنگره
شماره رده
TK
7874
.
75
.
C453
2001
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Tiziana Margaria, Tom Melham )eds.(
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU anaiziT ,airagraM
عنصر شناسه اي
AU (.F moT).F .T ,mahleM
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شناسه افزوده (تنالگان)
عنصر شناسه اي
CHARME 2001 )2001: Livingston, Scotland(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
129
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
