paphos

  • ساخت کامپایلر: نوزدهمین کنفرانس بین المللی، CC 2010، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2010، پافوس، قبرس، 20-28 مارس 2010 برگزار شد.

    دانلود کتاب Compiler Construction: 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (به فارسی: ساخت کامپایلر: نوزدهمین کنفرانس بین المللی، CC 2010، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2010، پافوس، قبرس، 20-28 مارس 2010 برگزار شد.) نوشته شده توسط «James Larus (auth.) – Rajiv Gupta (eds.)» اطلاعات کتاب ساخت کامپایلر: نوزدهمین کنفرانس بین المللی، CC 2010، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار،…

  • سیستم های اطلاعات سازمانی: هشتمین کنفرانس بین المللی، ICEIS 2006، پافوس، قبرس، 23 تا 27 مه 2006، مقالات منتخب اصلاح شده (یادداشت های سخنرانی در پردازش اطلاعات تجاری)

    دانلود کتاب Enterprise Information Systems: 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006, Revised Selected Papers (Lecture Notes in Business Information Processing) (به فارسی: سیستم های اطلاعات سازمانی: هشتمین کنفرانس بین المللی، ICEIS 2006، پافوس، قبرس، 23 تا 27 مه 2006، مقالات منتخب اصلاح شده (یادداشت های سخنرانی در پردازش اطلاعات تجاری)) نوشته شده توسط «José Cordeiro – Yannis Manolopoulos – Joaquim Filipe – Panos Constantopoulos» اطلاعات کتاب سیستم های اطلاعات سازمانی: هشتمین کنفرانس بین المللی، ICEIS 2006، پافوس، قبرس، 23 تا 27 مه 2006، مقالات منتخب اصلاح شده (یادداشت های سخنرانی در پردازش اطلاعات تجاری) موضوع اصلی:…

  • معماری ها و کامپایلرهای جاسازی شده با کارایی بالا: چهارمین کنفرانس بین المللی، HiPEAC 2009، پافوس، قبرس، 25-28 ژانویه 2009. مجموعه مقالات

    دانلود کتاب High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings (به فارسی: معماری ها و کامپایلرهای جاسازی شده با کارایی بالا: چهارمین کنفرانس بین المللی، HiPEAC 2009، پافوس، قبرس، 25-28 ژانویه 2009. مجموعه مقالات) نوشته شده توسط «Tilak Agerwala (auth.) – André Seznec – Joel Emer – Michael O’Boyle – Margaret Martonosi – Theo Ungerer (eds.)» اطلاعات کتاب معماری ها و کامپایلرهای جاسازی شده با کارایی بالا: چهارمین کنفرانس بین المللی، HiPEAC 2009، پافوس، قبرس، 25-28 ژانویه 2009. مجموعه مقالات موضوع اصلی: برنامه نویسی: کامپایلر نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin…

  • روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز: نهمین کنفرانس بین المللی IFIP WG 6.1، FMOODS 2007، پافوس، قبرس، 6-8 ژوئن 2007. مجموعه مقالات

    دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings (به فارسی: روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز: نهمین کنفرانس بین المللی IFIP WG 6.1، FMOODS 2007، پافوس، قبرس، 6-8 ژوئن 2007. مجموعه مقالات) نوشته شده توسط «Mario Coppo – Mariangiola Dezani-Ciancaglini – Nobuko Yoshida (auth.) – Marcello M. Bonsangue – Einar Broch Johnsen (eds.)» اطلاعات کتاب روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز: نهمین کنفرانس بین المللی IFIP WG 6.1، FMOODS 2007، پافوس، قبرس، 6-8…

  • برنامه های کاربردی توزیع شده و سیستم های قابل همکاری: هفتمین کنفرانس بین المللی IFIP WG 6.1، DAIS 2007، پافوس، قبرس، 6-8 ژوئن 2007. مجموعه مقالات

    دانلود کتاب Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings (به فارسی: برنامه های کاربردی توزیع شده و سیستم های قابل همکاری: هفتمین کنفرانس بین المللی IFIP WG 6.1، DAIS 2007، پافوس، قبرس، 6-8 ژوئن 2007. مجموعه مقالات) نوشته شده توسط «Jorge Vallejos – Peter Ebraert – Brecht Desmet – Tom Van Cutsem – Stijn Mostinckx (auth.) – Jadwiga Indulska – Kerry Raymond (eds.)» اطلاعات کتاب برنامه های کاربردی توزیع شده و سیستم های قابل همکاری: هفتمین کنفرانس بین المللی IFIP WG 6.1، DAIS 2007، پافوس، قبرس، 6-8 ژوئن…

  • مدل ها و زبان های هماهنگی: نهمین کنفرانس بین المللی، COORDINATION 2007، پافوس، قبرس، 6-8 ژوئن 2007. مجموعه مقالات

    دانلود کتاب Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings (به فارسی: مدل ها و زبان های هماهنگی: نهمین کنفرانس بین المللی، COORDINATION 2007، پافوس، قبرس، 6-8 ژوئن 2007. مجموعه مقالات) نوشته شده توسط «Elena Simperl – Reto Krummenacher – Lyndon Nixon (auth.) – Amy L. Murphy – Jan Vitek (eds.)» اطلاعات کتاب مدل ها و زبان های هماهنگی: نهمین کنفرانس بین المللی، COORDINATION 2007، پافوس، قبرس، 6-8 ژوئن 2007. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Elena Simperl – Reto Krummenacher – Lyndon Nixon (auth.) –…

  • فناوری شی گرا. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops پافوس، قبرس، 7-11 جولای 2008 گزارش های نهایی

    دانلود کتاب Object-Oriented Technology. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports (به فارسی: فناوری شی گرا. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops پافوس، قبرس، 7-11 جولای 2008 گزارش های نهایی) نوشته شده توسط «Didier Verna – Charlotte Herzeel – Christophe Rhodes – Hans Hübner (auth.) – Patrick Eugster (eds.)» اطلاعات کتاب فناوری شی گرا. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops پافوس، قبرس، 7-11 جولای 2008 گزارش های نهایی موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Didier Verna – Charlotte Herzeel –…

  • سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی، LOPSTR 2001 پافوس، قبرس، 28 تا 30 نوامبر 2001 مقالات منتخب

    دانلود کتاب Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers (به فارسی: سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی، LOPSTR 2001 پافوس، قبرس، 28 تا 30 نوامبر 2001 مقالات منتخب) نوشته شده توسط «Natarajan Shankar (auth.) – Alberto Pettorossi (eds.)» اطلاعات کتاب سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی، LOPSTR 2001 پافوس، قبرس، 28 تا 30 نوامبر 2001 مقالات منتخب موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Natarajan Shankar (auth.) – Alberto Pettorossi (eds.) زبان: English فرمت کتاب:…

  • اصول و تمرین برنامه نویسی محدودیت – CP 2001: هفتمین کنفرانس بین المللی، CP 2001 پافوس، قبرس، 26 نوامبر – 1 دسامبر 2001 مجموعه مقالات

    دانلود کتاب Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings (به فارسی: اصول و تمرین برنامه نویسی محدودیت – CP 2001: هفتمین کنفرانس بین المللی، CP 2001 پافوس، قبرس، 26 نوامبر – 1 دسامبر 2001 مجموعه مقالات) نوشته شده توسط «Andrew Eremin – Mark Wallace (auth.) – Toby Walsh (eds.)» اطلاعات کتاب اصول و تمرین برنامه نویسی محدودیت – CP 2001: هفتمین کنفرانس بین المللی، CP 2001 پافوس، قبرس، 26 نوامبر – 1 دسامبر 2001 مجموعه مقالات موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر:…

  • نظریه بازی الگوریتمی: دومین سمپوزیوم بین المللی، SAGT 2009، پافوس، قبرس، 18-20 اکتبر 2009. مجموعه مقالات

    دانلود کتاب Algorithmic Game Theory: Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings (به فارسی: نظریه بازی الگوریتمی: دومین سمپوزیوم بین المللی، SAGT 2009، پافوس، قبرس، 18-20 اکتبر 2009. مجموعه مقالات) نوشته شده توسط «Dov Monderer (auth.) – Marios Mavronicolas – Vicky G. Papadopoulou (eds.)» اطلاعات کتاب نظریه بازی الگوریتمی: دومین سمپوزیوم بین المللی، SAGT 2009، پافوس، قبرس، 18-20 اکتبر 2009. مجموعه مقالات موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Dov Monderer (auth.) – Marios Mavronicolas – Vicky G. Papadopoulou (eds.) زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال…

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