مشخصات کتاب

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 

در صورت تبدیل فایل کتاب 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.

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

کتاب های تصادفی

دانلود کتاب Power at Ground Zero: politics, money, and the remaking of lower Manhattan

دانلود کتاب Intersection cohomology

دانلود کتاب Verilog® Quickstart

دانلود کتاب The Commission for National Education of Poland and Lithuania, 1773–1794: A historical study of some aspects of its educational reforms

دانلود کتاب Against Economics: Rethinking Political Economy