دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematical Foundations of Computer Science 2010: 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
دانلود کتاب مبانی ریاضی علوم کامپیوتر 2010: سی و پنجمین سمپوزیوم بین المللی، MFCS 2010، برنو، جمهوری چک، 23-27 اوت 2010. مجموعه مقالات
مشخصات کتاب
Mathematical Foundations of Computer Science 2010: 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
ویرایش: [1 ed.] نویسندگان: Andris Ambainis (auth.), Petr Hliněný, Antonín Kučera (eds.) سری: Lecture Notes in Computer Science 6281 : Theoretical Computer Science and General Issues ISBN (شابک) : 364215154X, 9783642151545 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 714 [729] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 Mb
قیمت کتاب (تومان) : 28,000
در صورت تبدیل فایل کتاب Mathematical Foundations of Computer Science 2010: 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی ریاضی علوم کامپیوتر 2010: سی و پنجمین سمپوزیوم بین المللی، MFCS 2010، برنو، جمهوری چک، 23-27 اوت 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی ریاضی علوم کامپیوتر 2010: سی و پنجمین سمپوزیوم بین المللی، MFCS 2010، برنو، جمهوری چک، 23-27 اوت 2010. مجموعه مقالات
این جلد مجموعه مقالات داوری سی و پنجمین سمپوزیوم بین‌المللی مبانی ریاضی علوم کامپیوتر، MFCS 2010 است که در برنو، جمهوری چک، در آگوست 2010 برگزار شد. ارسالی ها موضوعات تحت پوشش عبارتند از نظریه بازی های الگوریتمی، نظریه یادگیری الگوریتمی، الگوریتم ها و ساختارهای داده، خودکار، گرامر و زبان های رسمی، بیوانفورماتیک، پیچیدگی، هندسه محاسباتی، استدلال به کمک کامپیوتر، نظریه همزمانی، رمزنگاری و امنیت، پایگاه های داده و سیستم های مبتنی بر دانش، فرمال مشخصات و توسعه برنامه، مبانی محاسبات، منطق در علوم کامپیوتر، محاسبات سیار، مدل‌های محاسبات، شبکه‌ها، محاسبات موازی و توزیع شده، محاسبات کوانتومی، معناشناسی و تأیید برنامه‌ها و مسائل نظری در هوش مصنوعی.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the refereed proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, held in Brno, Czech Republic, in August 2010. The 56 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 149 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, and theoretical issues in artificial intelligence.
