nice

  • جنبه های عملی زبان های اعلانی: نهمین سمپوزیوم بین المللی، PADL 2007، نیس، فرانسه، 14-15 ژانویه 2007. مجموعه مقالات

    دانلود کتاب Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings (به فارسی: جنبه های عملی زبان های اعلانی: نهمین سمپوزیوم بین المللی، PADL 2007، نیس، فرانسه، 14-15 ژانویه 2007. مجموعه مقالات) نوشته شده توسط «John Hughes (auth.) – Michael Hanus (eds.)» اطلاعات کتاب جنبه های عملی زبان های اعلانی: نهمین سمپوزیوم بین المللی، PADL 2007، نیس، فرانسه، 14-15 ژانویه 2007. مجموعه مقالات موضوع اصلی: فن آوری نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: John Hughes (auth.) – Michael Hanus (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)…

  • تأیید، بررسی مدل، و تفسیر چکیده: هشتمین کنفرانس بین المللی، VMCAI 2007، نیس، فرانسه، 14-16 ژانویه، 2007. مجموعه مقالات

    دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: هشتمین کنفرانس بین المللی، VMCAI 2007، نیس، فرانسه، 14-16 ژانویه، 2007. مجموعه مقالات) نوشته شده توسط «Gogul Balakrishnan – Thomas Reps (auth.) – Byron Cook – Andreas Podelski (eds.)» اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: هشتمین کنفرانس بین المللی، VMCAI 2007، نیس، فرانسه، 14-16 ژانویه، 2007. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Gogul Balakrishnan – Thomas Reps (auth.) – Byron Cook – Andreas Podelski…

  • جنبه های عملی زبان های اعلانی: نهمین سمپوزیوم بین المللی، PADL 2007، نیس، فرانسه، 14-15 ژانویه 2007. مجموعه مقالات

    دانلود کتاب Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings (به فارسی: جنبه های عملی زبان های اعلانی: نهمین سمپوزیوم بین المللی، PADL 2007، نیس، فرانسه، 14-15 ژانویه 2007. مجموعه مقالات) نوشته شده توسط «John Hughes (auth.) – Michael Hanus (eds.)» اطلاعات کتاب جنبه های عملی زبان های اعلانی: نهمین سمپوزیوم بین المللی، PADL 2007، نیس، فرانسه، 14-15 ژانویه 2007. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: John Hughes (auth.) – Michael Hanus (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال…

  • الگوریتم های توزیع شده: سومین کارگاه بین المللی نیس، فرانسه، 26 تا 28 سپتامبر 1989 مجموعه مقالات

    دانلود کتاب Distributed Algorithms: 3rd International Workshop Nice, France, September 26–28, 1989 Proceedings (به فارسی: الگوریتم های توزیع شده: سومین کارگاه بین المللی نیس، فرانسه، 26 تا 28 سپتامبر 1989 مجموعه مقالات) نوشته شده توسط «Judit Bar-Ilan – Dror Zernik (auth.) – Jean-Claude Bermond – Michel Raynal (eds.)» اطلاعات کتاب الگوریتم های توزیع شده: سومین کارگاه بین المللی نیس، فرانسه، 26 تا 28 سپتامبر 1989 مجموعه مقالات موضوع اصلی: الگوریتم ها و ساختارهای داده نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Judit Bar-Ilan – Dror Zernik (auth.) – Jean-Claude Bermond – Michel Raynal (eds.) زبان: English فرمت کتاب: djvu…

  • CONCUR’98 Concurrency Theory: نهمین کنفرانس بین المللی نیس، فرانسه، 8 تا 11 سپتامبر 1998 مجموعه مقالات

    دانلود کتاب CONCUR’98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings (به فارسی: CONCUR’98 Concurrency Theory: نهمین کنفرانس بین المللی نیس، فرانسه، 8 تا 11 سپتامبر 1998 مجموعه مقالات) نوشته شده توسط «Moshe Y. Vardi (auth.) – Davide Sangiorgi – Robert de Simone (eds.)» اطلاعات کتاب CONCUR’98 Concurrency Theory: نهمین کنفرانس بین المللی نیس، فرانسه، 8 تا 11 سپتامبر 1998 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Moshe Y. Vardi (auth.) – Davide Sangiorgi – Robert de Simone (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال…

  • CAAP ’86: یازدهمین کنفرانس در مورد درختان در جبر و برنامه نویسی نیس، فرانسه، 24 تا 26 مارس 1986 مجموعه مقالات

    دانلود کتاب CAAP ’86: 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24–26, 1986 Proceedings (به فارسی: CAAP ’86: یازدهمین کنفرانس در مورد درختان در جبر و برنامه نویسی نیس، فرانسه، 24 تا 26 مارس 1986 مجموعه مقالات) نوشته شده توسط «Eric G. Wagner (auth.) – Paul Franchi-Zannettacci (eds.)» اطلاعات کتاب CAAP ’86: یازدهمین کنفرانس در مورد درختان در جبر و برنامه نویسی نیس، فرانسه، 24 تا 26 مارس 1986 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Eric G. Wagner (auth.) – Paul Franchi-Zannettacci (eds.) زبان: English فرمت کتاب: djvu (قابل…

  • اثبات قضیه در منطق های مرتبه بالاتر: دوازدهمین کنفرانس بین المللی، TPHOLs 99 نیس، فرانسه، 14 تا 17 سپتامبر 1999 مجموعه مقالات

    دانلود کتاب Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: دوازدهمین کنفرانس بین المللی، TPHOLs 99 نیس، فرانسه، 14 تا 17 سپتامبر 1999 مجموعه مقالات) نوشته شده توسط «Thomas Kropf (auth.) – Yves Bertot – Gilles Dowek – Laurent Théry – André Hirschowitz – Christine Paulin (eds.)» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: دوازدهمین کنفرانس بین المللی، TPHOLs 99 نیس، فرانسه، 14 تا 17 سپتامبر 1999 مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده:…

  • ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت برای مسائل بهینه سازی ترکیبی: اولین کنفرانس بین المللی، CPAIOR 2004، نیس، فرانسه، 20-22 آوریل، 2004. مجموعه مقالات

    دانلود کتاب Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004. Proceedings (به فارسی: ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت برای مسائل بهینه سازی ترکیبی: اولین کنفرانس بین المللی، CPAIOR 2004، نیس، فرانسه، 20-22 آوریل، 2004. مجموعه مقالات) نوشته شده توسط «Christos T. Maravelias – Ignacio E. Grossmann (auth.) – Jean-Charles Régin – Michel Rueher (eds.)» اطلاعات کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت برای مسائل بهینه سازی ترکیبی: اولین کنفرانس بین المللی، CPAIOR 2004، نیس،…

  • کنگره بین المللی ریاضیدانان. NICE 1970

    دانلود کتاب Congres international des mathematiciens. NICE 1970 (به فارسی: کنگره بین المللی ریاضیدانان. NICE 1970) اطلاعات کتاب کنگره بین المللی ریاضیدانان. NICE 1970 موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1970 تعداد صفحه: 315 حجم کتاب: 10 مگابایت دانلود کتاب «کنگره بین المللی ریاضیدانان. NICE 1970»

  • سمپوزیوم بین المللی پردازش موازی و توزیع شده، Ipdps 2003: مجموعه مقالات: 22-26 آوریل، 2003، نیس، فرانسه

    دانلود کتاب International Parallel and Distributed Processing Symposium, Ipdps 2003: Proceedings : April 22-26, 2003, Nice, France (به فارسی: سمپوزیوم بین المللی پردازش موازی و توزیع شده، Ipdps 2003: مجموعه مقالات: 22-26 آوریل، 2003، نیس، فرانسه) نوشته شده توسط «France) Ipdps (Conference) 2003 Nice» اطلاعات کتاب سمپوزیوم بین المللی پردازش موازی و توزیع شده، Ipdps 2003: مجموعه مقالات: 22-26 آوریل، 2003، نیس، فرانسه موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: Institute of Electrical & Electronics Enginee نویسنده: France) Ipdps (Conference) 2003 Nice زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2003 تعداد صفحه: 4054 حجم…

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