دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
دانلود کتاب محاسبات جهانی قابل اعتماد: سمپوزیوم سوم ، TGC 2007 ، سوفیا-آنتی پولیس ، فرانسه ، 5-6 نوامبر 2007 ، نسخه های تجدید نظر شده
مشخصات کتاب
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Martin Hofmann, Mariela Pavlova (auth.), Gilles Barthe, Cédric Fournet (eds.) سری: Lecture Notes in Computer Science 4912 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540786627, 9783540786627 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 401 [410] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات جهانی قابل اعتماد: سمپوزیوم سوم ، TGC 2007 ، سوفیا-آنتی پولیس ، فرانسه ، 5-6 نوامبر 2007 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات جهانی قابل اعتماد: سمپوزیوم سوم ، TGC 2007 ، سوفیا-آنتی پولیس ، فرانسه ، 5-6 نوامبر 2007 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل سومین سمپوزیوم در محاسبات جهانی قابل اعتماد، TGC 2007 است. علاوه بر این شامل آموزش هایی از کارگاه مجاور در مورد تداخل زبان های برنامه نویسی و رمزنگاری است که هر دو در نوامبر 2007 در سوفیا-آنتیپولیس، فرانسه برگزار شد.
19 مقاله اصلاح شده ارائه شده همراه با 3 مقاله دعوت شده با دقت
انتخاب شدند. از 48 ارسال در دو دور بررسی و بهبود. مقالات
سمپوزیوم TGC 2007 بر ارائه ابزارها و چارچوب‌هایی برای ساخت
برنامه‌های کاربردی با رفتار خوب و استدلال در مورد رفتار و
ویژگی‌های آنها در مدل‌های محاسباتی تمرکز دارد که شامل کد و
تحرک داده در شبکه‌های توزیع شده با توپولوژی‌های بسیار پویا و
دستگاه‌های ناهمگن است. این جلد با 3 مقاله آموزشی، ارائه شده
در کارگاه مشترک در مورد تعامل زبان های برنامه نویسی و
رمزنگاری به پایان می رسد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the Third Symposium on Trustworthy Global Computing, TGC 2007; it moreover contains tutorials from the adjacent Workshop on the Interplay of Programming Languages and Cryptography, both held in Sophia-Antipolis, France, in November 2007.
The 19 revised papers presented together with 3 invited
papers were carefully selected from 48 submissions during two
rounds of reviewing and improvement. The TGC 2007 symposium
papers focus on providing tools and frameworks for
constructing well-behaved applications and for reasoning
about their behavior and properties in models of computation
that incorporate code and data mobility over distributed
networks with highly dynamic topologies and heterogeneous
devices. The volume concludes with 3 tutorial papers,
presented at the co-located Workshop on the Interplay of
Programming Languages and Cryptography.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب O ódio como política: a reinvenção das direitas no Brasil
دانلود کتاب An Introduction to Metric Spaces and Fixed Point Theory
دانلود کتاب DAYGAME: The no-bullshit guide to meeting women in real life and mastering the art of daygame (daygame, seduction, get girls, pick up, game, truedaygame)
دانلود کتاب Drawn from life : science and art in the portrayal of the New World
