دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic programming: proceedings of the 1991 international symposium
دانلود کتاب برنامه ریزی منطقی: مجموعه مقالات سمپوزیوم بین المللی 1991
مشخصات کتاب
Logic programming: proceedings of the 1991 international symposium
ویرایش: نویسندگان: Vijay A. Saraswat, Kazunori Ueda (ed.) سری: ISBN (شابک) : 0262691477, 0999482351 ناشر: The MIT Press سال نشر: 1991 تعداد صفحات: 762 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 34,000
در صورت تبدیل فایل کتاب Logic programming: proceedings of the 1991 international symposium به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ریزی منطقی: مجموعه مقالات سمپوزیوم بین المللی 1991 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه ریزی منطقی: مجموعه مقالات سمپوزیوم بین المللی 1991
28 تا 31 اکتبر 1991، سن دیگو، کالیفرنیا
که قبلاً کنفرانس آمریکای شمالی نامیده می شد، سمپوزیوم بین
المللی 1991 تکمیل کننده کنفرانس بین المللی برنامه نویسی منطقی
است که هر ساله در ژوئن برگزار می شود. هر دو توسط انجمن
برنامه‌نویسی منطقی حمایت می‌شوند.
موضوعات تحت پوشش: بنیادها. زبان ها و برنامه نویسی پیاده
سازی. استدلال در مورد برنامه ها برنامه های کاربردی. پایگاه های
اطلاعات منطقی
توضیحاتی درمورد کتاب به خارجی
October 28-31, 1991, San Diego, California
Previously called The North American Conference, the 1991
International Symposium complements the International
Conference on Logic Programming held annually in June. Both are
sponsored by the Association for Logic Programming.
Topics covered: Foundations. Languages and Programming.
Implementation. Reasoning about Programs. Applications. Logic
Databases
فهرست مطالب
Content: Discrete-time signals and systems --
The z-transform --
Sampling of continuous-time signals --
Transform analysis of linear time-invariant systems --
Structures for discrete-time systems --
Filter design techniques --
The discrete Fourier transform --
Computation of the discrete Fourier transform --
Fourier analysis of signals using the discrete Fourier transform --
Parametric signal modeling --
Discrete Hilbert transforms --
Cepstrum analysis and homomorphic deconvolution.
