دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
دانلود کتاب استفاده از روش های رسمی، تأیید و اعتبارسنجی: ششمین سمپوزیوم بین المللی، ISoLA 2014، کورفو، یونان، 8-11 اکتبر 2014، و پنجمین سمپوزیوم بین المللی، ISoLA 2012، هراکلیون، کرت، یونان، 15-18 اکتبر مقالات منتخب اصلاح شده
مشخصات کتاب
Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
ویرایش: 1
نویسندگان: Anna-Lena Lamprecht (eds.)
سری: Communications in Computer and Information Science 683
ISBN (شابک) : 9783319516400, 9783319516417
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 158
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 15 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب استفاده از روش های رسمی، تأیید و اعتبارسنجی: ششمین سمپوزیوم بین المللی، ISoLA 2014، کورفو، یونان، 8-11 اکتبر 2014، و پنجمین سمپوزیوم بین المللی، ISoLA 2012، هراکلیون، کرت، یونان، 15-18 اکتبر مقالات منتخب اصلاح شده: مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، مدیریت پایگاه داده، شبیه سازی و مدل سازی، محاسبات با دستگاه های انتزاعی
در صورت تبدیل فایل کتاب Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استفاده از روش های رسمی، تأیید و اعتبارسنجی: ششمین سمپوزیوم بین المللی، ISoLA 2014، کورفو، یونان، 8-11 اکتبر 2014، و پنجمین سمپوزیوم بین المللی، ISoLA 2012، هراکلیون، کرت، یونان، 15-18 اکتبر مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استفاده از روش های رسمی، تأیید و اعتبارسنجی: ششمین سمپوزیوم بین المللی، ISoLA 2014، کورفو، یونان، 8-11 اکتبر 2014، و پنجمین سمپوزیوم بین المللی، ISoLA 2012، هراکلیون، کرت، یونان، 15-18 اکتبر مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات داوری ششمین سمپوزیوم بین‌المللی در استفاده از کاربردهای روش‌های رسمی، تأیید و اعتبارسنجی، ISoLA 2014، برگزار شده در کورفو، یونان، در اکتبر 2014 و پنجمین سمپوزیوم بین‌المللی، ISoLA 2012 است. ، در هراکلیون، کرت، یونان، در اکتبر 2012 برگزار شد.
9 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و از بین 22 مورد ارسالی انتخاب شدند. این جلد مجموعه مقالات پس از کنفرانس سمپوزیوم دکتری 2014 و آموزش سال 2014 \"یادگیری خودکار در عمل\" با انتشار پس از کنفرانس مشارکت های منتخب از مسیرهای \"سیستم های اطلاعات جغرافیایی فرآیند گرا\" و \" "فرآیندها و یکپارچه سازی داده ها در مراقبت های بهداشتی شبکه ای" از ISoLA 2012.توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.
The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.فهرست مطالب
Front Matter....Pages I-VII
Front Matter....Pages 1-1
Rehasport: The Challenge of Small Margin Healthcare Accounting....Pages 3-18
Front Matter....Pages 19-19
Design and Implementation of Data Usability Processor into an Automated Processing Chain for Optical Remote Sensing Data....Pages 21-37
Automated Spatial Data Processing and Refining....Pages 38-49
Front Matter....Pages 51-51
Learning-Based Cross-Platform Conformance Testing....Pages 53-79
Front Matter....Pages 81-81
Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile Matching....Pages 83-96
Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data....Pages 97-112
Guided Domain-Specific Tailoring of jABC4....Pages 113-127
Model-Driven Active Automata Learning with LearnLib Studio ....Pages 128-142
Counterexample-Guided Prefix Refinement Analysis for Program Verification....Pages 143-155
Back Matter....Pages 157-157
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Remedial Law: When Courts Become Administrators
دانلود کتاب Mastering Web 2.0: Transform Your Business Using Key Website and Social Media Tools
دانلود کتاب (El Mar Quebrado) Medio Rey(v.1)(c.1)
دانلود کتاب Por Deus, Pela Patria e Pela Coca-Cola
