• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Hardware and software

پدید آورنده
\ Nir Piterman (eds.)

موضوع
Computer science,Computer networks,Software engineering,کامپیوتر,شبکه‌های کامپیوتری,نرم‌افزار, -- مهندسی,a04,a06,a03,a04,a06,a03

رده
QA
76
.
I58
H32
2015
E-Book
,

کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی

محل استقرار
استان: قم ـ شهر: قم

کتابخانه زبانهای خارجی و منابع اسلامی

تماس با کتابخانه : 37839111

شابک

شابک
:9783319262864

شماره کتابشناسی ملی

شماره
13769

زبان اثر

زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی

عنوان و نام پديدآور

عنوان اصلي
Hardware and software
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: 11th International Haifa Verification Conference, HVC 2015 Haifa, Israel, November 17–19, 2015 Proceedings
نام نخستين پديدآور
\ Nir Piterman (eds.)

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Cham
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2015

تاریخ پیش بینی شده انتشار

تاريخ
1512

مشخصات ظاهری

نام خاص و کميت اثر
1 online resource (xvi, 293 p.)
ساير جزييات
:illustrations

فروست

عنوان فروست
Lecture notes in computer science
مشخصه جلد
; 9434

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Index
متن يادداشت
Bibliography

موضوع (اسم عام یاعبارت اسمی عام)

عنصر شناسه ای
Computer science
عنصر شناسه ای
Computer networks
عنصر شناسه ای
Software engineering
عنصر شناسه ای
کامپیوتر
عنصر شناسه ای
شبکه‌های کامپیوتری
عنصر شناسه ای
نرم‌افزار
تقسیم فرعی موضوعی
-- مهندسی
داده رابط بین فیلدها
a04
داده رابط بین فیلدها
a06
داده رابط بین فیلدها
a03
داده رابط بین فیلدها
a04
داده رابط بین فیلدها
a06
داده رابط بین فیلدها
a03

رده بندی کنگره

شماره رده
QA
76
نشانه اثر
.
I58
H32
2015
شماره رکورد غير از شماره رده بندي
E-Book
,

نام شخص - (مسئولیت معنوی برابر )

مستند نام اشخاص تاييد نشده
Piterman, Nir, editor

نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام تنالگان تاييد نشده
International Haifa Verification Conference (11th : 2015 : Haifa, Israel)

مبدا اصلی

کشور
ایران
تاريخ عمليات
20170216110613.0
قواعد فهرست نويسي ( بخش توصيفي )
rda

دسترسی و محل الکترونیکی

تاريخ و ساعت مذاکره و دسترسي
9783319262864.pdf
مشخصه منبع قراردادي
https://www.loc.gov/catdir/enhancements/fy1611/2015953248-d.html

اطلاعات رکورد کتابشناسی

نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1

اطلاعات دسترسی رکورد

تكميل شده
Y

مستند تغییر یافته

اطلاعات مستند قبلی
نرم‌افزار -- مهندسی
اطلاعات مستند قبلی
Software engineering

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال