grenoble

  • تایید زمان اجرا: نهمین کارگاه بین المللی، RV 2009، گرنوبل، فرانسه، 26-28 ژوئن 2009. مقالات برگزیده

    دانلود کتاب Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers (به فارسی: تایید زمان اجرا: نهمین کارگاه بین المللی، RV 2009، گرنوبل، فرانسه، 26-28 ژوئن 2009. مقالات برگزیده) نوشته شده توسط «Howard Barringer – Klaus Havelund – David Rydeheard – Alex Groce (auth.) – Saddek Bensalem – Doron A. Peled (eds.)» اطلاعات کتاب تایید زمان اجرا: نهمین کارگاه بین المللی، RV 2009، گرنوبل، فرانسه، 26-28 ژوئن 2009. مقالات برگزیده موضوع اصلی: فن آوری نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Howard Barringer – Klaus Havelund – David Rydeheard – Alex Groce (auth.) –…

  • جنبه های متعالی چرخه های جبری: Proc. مدرسه گرنوبل

    دانلود کتاب Transcendental aspects of algebraic cycles: Proc. Grenoble school (به فارسی: جنبه های متعالی چرخه های جبری: Proc. مدرسه گرنوبل) نوشته شده توسط «S. Müller-Stach – C. Peters» اطلاعات کتاب جنبه های متعالی چرخه های جبری: Proc. مدرسه گرنوبل موضوع اصلی: جبر نوع: کتاب الکترونیکی ناشر: CUP نویسنده: S. Müller-Stach – C. Peters زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 155 حجم کتاب: 6 مگابایت کد کتاب: 9780521545471 , 0521545471 دانلود کتاب «جنبه های متعالی چرخه های جبری: Proc. مدرسه گرنوبل»

  • نرم افزار بررسی مدل: نهمین کارگاه بین المللی اسپین گرنوبل، فرانسه، 11 تا 13 آوریل، 2002 مجموعه مقالات

    دانلود کتاب Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings (به فارسی: نرم افزار بررسی مدل: نهمین کارگاه بین المللی اسپین گرنوبل، فرانسه، 11 تا 13 آوریل، 2002 مجموعه مقالات) نوشته شده توسط «Edmund M. Clarke (auth.) – Dragan Bošnački – Stefan Leue (eds.)» اطلاعات کتاب نرم افزار بررسی مدل: نهمین کارگاه بین المللی اسپین گرنوبل، فرانسه، 11 تا 13 آوریل، 2002 مجموعه مقالات موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Edmund M. Clarke (auth.) – Dragan Bošnački – Stefan Leue (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به…

  • تأیید به کمک رایانه: بیست و یکمین کنفرانس بین المللی، CAV 2009، گرنوبل، فرانسه، 26 ژوئن – 2 ژوئیه، 2009. مجموعه مقالات

    دانلود کتاب Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 – July 2, 2009. Proceedings (به فارسی: تأیید به کمک رایانه: بیست و یکمین کنفرانس بین المللی، CAV 2009، گرنوبل، فرانسه، 26 ژوئن – 2 ژوئیه، 2009. مجموعه مقالات) نوشته شده توسط «Rachid Guerraoui – Michał Kapałka (auth.) – Ahmed Bouajjani – Oded Maler (eds.)» اطلاعات کتاب تأیید به کمک رایانه: بیست و یکمین کنفرانس بین المللی، CAV 2009، گرنوبل، فرانسه، 26 ژوئن – 2 ژوئیه، 2009. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Rachid Guerraoui – Michał Kapałka (auth.)…

  • STACS 96: سیزدهمین سمپوزیوم سالانه جنبه های نظری علوم کامپیوتر گرنوبل، فرانسه، 22 تا 24 فوریه 1996 مجموعه مقالات

    دانلود کتاب STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science Grenoble, France, February 22–24, 1996 Proceedings (به فارسی: STACS 96: سیزدهمین سمپوزیوم سالانه جنبه های نظری علوم کامپیوتر گرنوبل، فرانسه، 22 تا 24 فوریه 1996 مجموعه مقالات) نوشته شده توسط «Gilles Brassard (auth.) – Claude Puech – Rüdiger Reischuk (eds.)» اطلاعات کتاب STACS 96: سیزدهمین سمپوزیوم سالانه جنبه های نظری علوم کامپیوتر گرنوبل، فرانسه، 22 تا 24 فوریه 1996 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Gilles Brassard (auth.) – Claude Puech – Rüdiger Reischuk (eds.) زبان: English فرمت کتاب: djvu…

  • الگوریتم های جبری و کدهای تصحیح خطا: سومین کنفرانس بین المللی، AAECC-3 گرنوبل، فرانسه، 15-19 ژوئیه، 1985 مجموعه مقالات

    دانلود کتاب Algebraic Algorithms and Error-Correcting Codes: 3rd International Conference, AAECC-3 Grenoble, France, July 15–19, 1985 Proceedings (به فارسی: الگوریتم های جبری و کدهای تصحیح خطا: سومین کنفرانس بین المللی، AAECC-3 گرنوبل، فرانسه، 15-19 ژوئیه، 1985 مجموعه مقالات) نوشته شده توسط «Jacques Calmet (eds.)» اطلاعات کتاب الگوریتم های جبری و کدهای تصحیح خطا: سومین کنفرانس بین المللی، AAECC-3 گرنوبل، فرانسه، 15-19 ژوئیه، 1985 مجموعه مقالات موضوع اصلی: جبر نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Jacques Calmet (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1986 تعداد صفحه: 417 حجم کتاب: 4 مگابایت…

  • ساخت کامپایلر: یازدهمین کنفرانس بین المللی، CC 2002 به عنوان بخشی از کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار، ETAPS 2002 گرنوبل، فرانسه، 8-12 آوریل، 2002 مجموعه مقالات برگزار شد.

    دانلود کتاب Compiler Construction: 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings (به فارسی: ساخت کامپایلر: یازدهمین کنفرانس بین المللی، CC 2002 به عنوان بخشی از کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار، ETAPS 2002 گرنوبل، فرانسه، 8-12 آوریل، 2002 مجموعه مقالات برگزار شد.) نوشته شده توسط «Marjan Mernik – Mitja Lenič – Enis Avdičaušević – Viljem Žumer (auth.) – R. Nigel Horspool (eds.)» اطلاعات کتاب ساخت کامپایلر: یازدهمین کنفرانس بین المللی، CC 2002 به عنوان بخشی از…

  • نرم افزار بررسی مدل: شانزدهمین کارگاه بین المللی SPIN، گرنوبل، فرانسه، 26-28 ژوئن 2009. مجموعه مقالات

    دانلود کتاب Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings (به فارسی: نرم افزار بررسی مدل: شانزدهمین کارگاه بین المللی SPIN، گرنوبل، فرانسه، 26-28 ژوئن 2009. مجموعه مقالات) نوشته شده توسط «Patrice Godefroid (auth.) – Corina S. Păsăreanu (eds.)» اطلاعات کتاب نرم افزار بررسی مدل: شانزدهمین کارگاه بین المللی SPIN، گرنوبل، فرانسه، 26-28 ژوئن 2009. مجموعه مقالات موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Patrice Godefroid (auth.) – Corina S. Păsăreanu (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار:…

  • Nstar2004: مجموعه مقالات کارگاه فیزیک نوکلئون های برانگیخته گرنوبل، فرانسه 24 – 27 مارس 2004

    دانلود کتاب Nstar2004: Proceedings of the Workshop on the Physics of Excited Nucleons Grenoble, France 24 – 27 March 2004 (به فارسی: Nstar2004: مجموعه مقالات کارگاه فیزیک نوکلئون های برانگیخته گرنوبل، فرانسه 24 – 27 مارس 2004) نوشته شده توسط «Jean-Paul Bocquet – Viatcheslav Kuznetsov – Dominique Rebreyend» اطلاعات کتاب Nstar2004: مجموعه مقالات کارگاه فیزیک نوکلئون های برانگیخته گرنوبل، فرانسه 24 – 27 مارس 2004 موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: World Scientific Publishing Company نویسنده: Jean-Paul Bocquet – Viatcheslav Kuznetsov – Dominique Rebreyend زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر…

  • سیستم‌های ترکیبی و بی‌درنگ: کارگاه بین‌المللی، HART'97 گرنوبل، فرانسه، 26-28 مارس 1997 مجموعه مقالات

    دانلود کتاب Hybrid and Real-Time Systems: International Workshop, HART’97 Grenoble, France, March 26–28, 1997 Proceedings (به فارسی: سیستم‌های ترکیبی و بی‌درنگ: کارگاه بین‌المللی، HART’97 گرنوبل، فرانسه، 26-28 مارس 1997 مجموعه مقالات) نوشته شده توسط «Amir Pnueli (auth.) – Oded Maler (eds.)» اطلاعات کتاب سیستم‌های ترکیبی و بی‌درنگ: کارگاه بین‌المللی، HART'97 گرنوبل، فرانسه، 26-28 مارس 1997 مجموعه مقالات موضوع اصلی: کامپیوتر – علوم کامپیوتر نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Amir Pnueli (auth.) – Oded Maler (eds.) زبان: english فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها) سال انتشار: 1997 تعداد صفحه: 426 / 425 حجم فایل: 3.80…

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان