دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: [1 ed.] نویسندگان: Stefan Arnborg, Andrzej Proskurowski, Detlef Seese (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (eds.) سری: 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
در صورت تبدیل فایل کتاب 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Boomer Destiny: Leading the U.S. through the Worst Crisis Since the Great Depression
دانلود کتاب PID Control - New Identifications and Design Methods
دانلود کتاب The New Global Politics: Global Social Movements in the Twenty-First Century
دانلود کتاب Rick Steves Snapshot Madrid & Toledo
