دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
دانلود کتاب محاسبات جهانی قابل اعتماد: ششمین سمپوزیوم بین المللی ، TGC 2011 ، آخن ، آلمان ، 9-10 ژوئن ، 2011. مقالات تجدید نظر شده
مشخصات کتاب
Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Viviana Bono, Sara Capecchi, Ilaria Castellani (auth.), Roberto Bruni, Vladimiro Sassone (eds.) سری: Lecture Notes in Computer Science 7173 ISBN (شابک) : 9783642300646, 3642300650 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 243 [251] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 57,000
در صورت تبدیل فایل کتاب Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات جهانی قابل اعتماد: ششمین سمپوزیوم بین المللی ، TGC 2011 ، آخن ، آلمان ، 9-10 ژوئن ، 2011. مقالات تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات جهانی قابل اعتماد: ششمین سمپوزیوم بین المللی ، TGC 2011 ، آخن ، آلمان ، 9-10 ژوئن ، 2011. مقالات تجدید نظر شده
این کتاب مجموعه مقالات داوری ششمین سمپوزیوم بین‌المللی محاسبات جهانی قابل اعتماد، TGC 2011، در آخن، آلمان، در ژوئن 2011 برگزار شد. مقالات در بخش های موضوعی در مورد مدل سازی فرمالیسم برای سیستم های همزمان سازماندهی شده است. بررسی مدل و گسترش کمی آن؛ معناشناسی و تحلیل زبان های برنامه نویسی مدرن؛ مدل های احتمالی برای همزمانی؛ و آزمایش و تأیید زمان اجرا.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Der wissenschaftliche Autor: Aspekte seiner Typologisierung am Beispiel von Einstein, Sauerbruch, Freud und Mommsen
دانلود کتاب Novel Pharmacological Interventions for Alcoholism
دانلود کتاب Ecstasy Through Tantra (Llewellyns Tantra and Sexual Arts Series)
