دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
دانلود کتاب روشهای ریاضی و مهندسی در علوم رایانه: 7th International Workshop of Doctoral Studies، MEMICS 2011، Lednice، جمهوری چک، 14-16 اکتبر 2011، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
ویرایش: 1 نویسندگان: Ananda Basu, Saddek Bensalem, Marius Bozga (auth.), Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš (eds.) سری: Lecture Notes in Computer Science 7119 Programming and Software Engineering ISBN (شابک) : 9783642259296, 3642259294 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 226 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب روشهای ریاضی و مهندسی در علوم رایانه: 7th International Workshop of Doctoral Studies، MEMICS 2011، Lednice، جمهوری چک، 14-16 اکتبر 2011، مقالات منتخب تجدید نظر شده: شبکه های ارتباطی کامپیوتری، تحلیل الگوریتم و پیچیدگی مسائل، مهندسی نرم افزار، مدیریت سیستم های محاسباتی و اطلاعاتی، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای ریاضی و مهندسی در علوم رایانه: 7th International Workshop of Doctoral Studies، MEMICS 2011، Lednice، جمهوری چک، 14-16 اکتبر 2011، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای ریاضی و مهندسی در علوم رایانه: 7th International Workshop of Doctoral Studies، MEMICS 2011، Lednice، جمهوری چک، 14-16 اکتبر 2011، مقالات منتخب تجدید نظر شده
این جلد مجموعه مقالات پس از کنفرانس با داوری کامل هفتمین
کارگاه بین المللی دکتری روش های ریاضی و مهندسی در علوم
کامپیوتر، MEMICS 2011، در لدنیس، جمهوری چک، در 14 تا 16 اکتبر
2011 برگزار شد.
13 مقاله کامل اصلاح شده ارائه شده همراه با 6 سخنرانی دعوت شده
به دقت بررسی و از بین 38 مورد ارسالی انتخاب شدند. این مقالات
به تمام مسائل جاری روش های ریاضی و مهندسی در علوم کامپیوتر می
پردازد، به ویژه: قابلیت اطمینان نرم افزار و سخت افزار، امنیت
کامپیوتر، تجزیه و تحلیل و تایید به کمک کامپیوتر، تست و تشخیص،
شبیه سازی، محاسبات موازی و توزیع شده، محاسبات شبکه، شبکه های
کامپیوتری، مدرن. سخت‌افزار و طراحی آن، معماری‌های محاسباتی
غیر سنتی، مهندسی نرم‌افزار، هوش محاسباتی، پردازش اطلاعات
کوانتومی، گرافیک کامپیوتری و چند رسانه‌ای، پردازش سیگنال،
متن، گفتار و تصویر، و علوم کامپیوتر نظری.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the thoroughly refereed
post-conference proceedings of the 7th International Doctoral
Workshop on Mathematical and Engineering Methods in Computer
Science, MEMICS 2011, held in Lednice, Czech Republic, on
October 14-16, 2011.
The 13 revised full papers presented together with 6 invited
talks were carefully reviewed and selected from 38
submissions. The papers address all current issues of
mathematical and engineering methods in computer science,
especially: software and hardware dependability, computer
security, computer-aided analysis and verification, testing
and diagnostics, simulation, parallel and distributed
computing, grid computing, computer networks, modern hardware
and its design, non-traditional computing architectures,
software engineering, computational intelligence, quantum
information processing, computer graphics and multimedia,
signal, text, speech, and image processing, and theoretical
computer science.
فهرست مطالب
Front Matter....Pages -
Rigorous System Design: The BIP Approach....Pages 1-19
Natural Born Computing....Pages 20-36
Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives....Pages 37-46
Assessing System Vulnerability Using Formal Verification Techniques....Pages 47-56
Information Security in a Quantum World....Pages 57-62
Computer Memory: Why We Should Care What Is under the Hood....Pages 63-75
Frequency Prediction of Functions....Pages 76-83
Timed Automata Approach to Verification of Systems with Degradation....Pages 84-93
Basic Operations on Binary Suffix-Free Languages....Pages 94-102
Efficient Data Representation of Large Job Schedules....Pages 103-113
Prefix-Free Regular Languages: Closure Properties, Difference, and Left Quotient....Pages 114-122
Noise Injection Heuristics for Concurrency Testing....Pages 123-135
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000....Pages 136-145
Using Dimensionality Reduction Method for Binary Data to Questionnaire Analysis....Pages 146-154
Generalized Maneuvers in Route Planning....Pages 155-166
STANSE: Bug-Finding Framework for C Programs....Pages 167-178
Introducing the FPGA-Based Hardware Architecture of Systemic Computation (HAoS)....Pages 179-190
A Parallel Compact Hash Table....Pages 191-204
Four Authorization Protocols for an Electronic Payment System....Pages 205-214
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Evidence-Based Practice in Nursing & Healthcare: A Guide to Best Practice
دانلود کتاب Safety assessment of composite cylinders for gas storage by statistical methods : potential for design optimisation beyond limits of current regulations and standards
