ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

دانلود کتاب منطق علوم کامپیوتر: کارگاه چهارم، CSL '90 هایدلبرگ، آلمان، 1 تا 5 اکتبر 1990 مجموعه مقالات

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

مشخصات کتاب

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

ویرایش: [1 ed.] 
نویسندگان: , , , , , ,   
سری: Lecture Notes in Computer Science 533 
ISBN (شابک) : 3540544879, 9783540544876 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1991 
تعداد صفحات: 402
[409] 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 Mb 

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



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

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


در صورت تبدیل فایل کتاب Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق علوم کامپیوتر: کارگاه چهارم، CSL '90 هایدلبرگ، آلمان، 1 تا 5 اکتبر 1990 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب منطق علوم کامپیوتر: کارگاه چهارم، CSL '90 هایدلبرگ، آلمان، 1 تا 5 اکتبر 1990 مجموعه مقالات



کارگاه Computer Science Logic '90 در Max-Planck-Haus در هایدلبرگ، آلمان، 1 تا 5 اکتبر 1990 برگزار شد. این کارگاه چهارمین کارگاه از یک سری کارگاه ها بود، پس از CSL '89 در دانشگاه Kaiserslautern. (نگاه کنید به LNCS 440)، CSL '88 در دانشگاه Duisberg (به LNCS 385 مراجعه کنید)، و CSL '87 در دانشگاه کارلسروهه (به LNCS 329 مراجعه کنید). این جلد شامل 24 مقاله است که با روش بررسی از بین 35 مقاله ارائه شده در کارگاه انتخاب شده اند که برخی از آنها دعوت شده و برخی از مجموع 89 مقاله ارسالی انتخاب شده اند. این مقالات طیف گسترده ای از موضوعات ناشی از کاربردهای منطق در علوم کامپیوتر را پوشش می دهند.


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

The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88 at the University of Duisberg (see LNCS 385), and CSL '87 at the University of Karlsruhe (see LNCS 329). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science.





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