ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

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

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Relational Methods for Computer Science Applications

دانلود کتاب روش های ارتباطی برای برنامه های کاربردی علوم کامپیوتر

Relational Methods for Computer Science Applications

مشخصات کتاب

Relational Methods for Computer Science Applications

ویرایش: 1 
نویسندگان: , , , ,   
سری: Studies in Fuzziness and Soft Computing 65 
ISBN (شابک) : 9783662003626, 9783790818284 
ناشر: Physica-Verlag Heidelberg 
سال نشر: 2001 
تعداد صفحات: 293 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت 

قیمت کتاب (تومان) : 37,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب روش های ارتباطی برای برنامه های کاربردی علوم کامپیوتر: است



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 21


در صورت تبدیل فایل کتاب Relational Methods for Computer Science Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های ارتباطی برای برنامه های کاربردی علوم کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش های ارتباطی برای برنامه های کاربردی علوم کامپیوتر



این جلد به تمام جنبه های فعلی روش های رابطه ای و کاربردهای آنها در علوم کامپیوتر می پردازد. طیف گسترده ای از زمینه ها و موضوعاتی را ارائه می دهد که در آن نظریه های روابط ابزارهای مفهومی یا فنی را ارائه می دهند. مشارکت‌ها به موضوعاتی مانند روش‌های رابطه‌ای در برنامه‌نویسی، محدودیت‌های رابطه‌ای، روش‌های رابطه‌ای در زبان‌شناسی و استدلال فضایی، مدل‌سازی رابطه‌ای عدم قطعیت می‌پردازند. همه مشارکت‌ها پیشرفت‌های جدید و بدیع را در زمینه‌های مربوطه در اختیار خوانندگان قرار می‌دهند.
به این ترتیب خواننده طیفی بین‌رشته‌ای از وضعیت هنر روش‌های رابطه‌ای و راه‌حل‌های اجرا محور مشکلات مربوط به این حوزه‌ها را دریافت می‌کند.


توضیحاتی درمورد کتاب به خارجی

This volume addresses all current aspects of relational methods and their applications in computer science. It presents a broad variety of fields and issues in which theories of relations provide conceptual or technical tools. The contributions address such subjects as relational methods in programming, relational constraints, relational methods in linguistics and spatial reasoning, relational modelling of uncertainty. All contributions provide the readers with new and original developments in the respective fields.
The reader thus gets an interdisciplinary spectrum of the state of the art of relational methods and implementation-oriented solutions of problems related to these areas.



فهرست مطالب

Front Matter....Pages I-XIII
Front Matter....Pages 1-1
Interpretation of Tabular Expressions Using Arrays of Relations....Pages 3-14
Translating Relational Programs into Prolog....Pages 15-35
A Calculus for Program Construction Based on Fork Algebras, Design Strategies and Generic Algorithms....Pages 37-58
Processes as Relations....Pages 59-73
Front Matter....Pages 75-75
A Tableaux Procedure for the Implication Problem for Association Rules....Pages 77-95
On a Static Verification of Integrity Constraints in Relational Databases....Pages 97-109
Front Matter....Pages 111-111
Contact Relation Algebras....Pages 113-133
Relations Old and New....Pages 135-147
Relational Models for the Nonassociative Lambek Calculus....Pages 149-159
Front Matter....Pages 161-161
Coping with Semilattices of Relations in Logics with Relative Accessibility Relations....Pages 163-181
A Relational Formalisation of a Generic Many—Valued Modal Logic....Pages 183-202
An Application of Standard BAO Theory to Some Abstract Information Algebras....Pages 203-215
Front Matter....Pages 217-217
Proof Systems in Relation Algebra....Pages 219-237
Connections Between Cylindric Algebras and Relation Algebras....Pages 239-246
Lattices in Dedekind Categories....Pages 247-260
Front Matter....Pages 261-261
Beyond Modalities: Sufficiency and Mixed Algebras....Pages 263-285
Cylindric Algebras for Partial Relational Systems. Quasicylindric Algebras....Pages 287-297




نظرات کاربران