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

عنوان
Foundations of computing : system development with set theory and logic

پدید آورنده
Scheurer, Thierry.

موضوع
System design , Set theory , Logic, Symbolic and mathematical

رده
QA
76
.
9
.
S88
S29
1994

کتابخانه
کتابخانه مرکزی دانشگاه صنعتی امیرکبیر

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

کتابخانه مرکزی دانشگاه صنعتی امیرکبیر

تماس با کتابخانه : ۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)

اطلاعات محلی رکورد

نوع مدرک
H1

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

نام نخستين پديدآور
Scheurer, Thierry.
عنوان اصلي
Foundations of computing : system development with set theory and logic

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

محل نشرو پخش و غیره
Wokingham
نام ناشر، پخش کننده و غيره
Addison-Wesley
تاریخ نشرو بخش و غیره
1994

مشخصات ظاهری

نام خاص و کميت اثر
xxiv, 668 p. : ill

فروست

عنوان فروست
International computer science series

يادداشت کلی

متن يادداشت
Includes bibliographical references )p. 647-648( and index

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

عنصر شناسه ای
System design
عنصر شناسه ای
Set theory
عنصر شناسه ای
Logic, Symbolic and mathematical

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

شماره رده
QA
نشانه اثر
76
.
9
شماره رکورد رده بندي
.
S88
S29
شماره رکورد غير از شماره رده بندي
1994

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

کد نقش
AU
عنصر شناسه اي
Thierry Scheurer

شماره دستیابی

نحوه قرار گرفتن مدرك روي قفسه
English

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

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