utrecht

  • Agent Communication II: Workshops International on Agent Communication، AC 2005 و AC 2006، اوترخت، هلند، 25 ژوئیه 2005، و Hakodate، ژاپن، 9 مه 2006، مقالات منتخب و اصلاح شده

    دانلود کتاب Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers (به فارسی: Agent Communication II: Workshops International on Agent Communication، AC 2005 و AC 2006، اوترخت، هلند، 25 ژوئیه 2005، و Hakodate، ژاپن، 9 مه 2006، مقالات منتخب و اصلاح شده) نوشته شده توسط «Vincent Louis – Thierry Martinez (auth.) – Frank P. M. Dignum – Rogier M. van Eijk – Roberto Flores (eds.)» اطلاعات کتاب Agent Communication II: Workshops International on Agent Communication، AC 2005 و AC 2006، اوترخت،…

  • مفاهیم نظری نمودار در علوم کامپیوتر: نوزدهمین کارگاه بین المللی، WG ’93 اوترخت، هلند، 16-18 ژوئن 1993 مجموعه مقالات

    دانلود کتاب Graph-Theoretic Concepts in Computer Science: 19th International Workshop, WG ’93 Utrecht, The Netherlands, June 16–18, 1993 Proceedings (به فارسی: مفاهیم نظری نمودار در علوم کامپیوتر: نوزدهمین کارگاه بین المللی، WG ’93 اوترخت، هلند، 16-18 ژوئن 1993 مجموعه مقالات) نوشته شده توسط «Sotiris E. Nikoletseas – Paul G. Spirakis (auth.) – Jan van Leeuwen (eds.)» اطلاعات کتاب مفاهیم نظری نمودار در علوم کامپیوتر: نوزدهمین کارگاه بین المللی، WG ’93 اوترخت، هلند، 16-18 ژوئن 1993 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Sotiris E. Nikoletseas – Paul G. Spirakis (auth.) – Jan van Leeuwen…

  • برنامه نویسی عدد صحیح و بهینه سازی ترکیبی: هشتمین کنفرانس بین المللی IPCO اوترخت، هلند، 13 تا 15 ژوئن 2001 مجموعه مقالات

    دانلود کتاب Integer Programming and Combinatorial Optimization: 8th International IPCO Conference Utrecht, The Netherlands, June 13–15, 2001 Proceedings (به فارسی: برنامه نویسی عدد صحیح و بهینه سازی ترکیبی: هشتمین کنفرانس بین المللی IPCO اوترخت، هلند، 13 تا 15 ژوئن 2001 مجموعه مقالات) نوشته شده توسط «Aaron Archer (auth.) – Karen Aardal – Bert Gerards (eds.)» اطلاعات کتاب برنامه نویسی عدد صحیح و بهینه سازی ترکیبی: هشتمین کنفرانس بین المللی IPCO اوترخت، هلند، 13 تا 15 ژوئن 2001 مجموعه مقالات موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Aaron Archer (auth.) – Karen Aardal – Bert Gerards…

  • مهندسی نرم افزار عامل گرا VI: ششمین کارگاه بین المللی، AOSE 2005، اوترخت، هلند، 25 جولای 2005. مقالات تجدید نظر شده و دعوت شده

    دانلود کتاب Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers (به فارسی: مهندسی نرم افزار عامل گرا VI: ششمین کارگاه بین المللی، AOSE 2005، اوترخت، هلند، 25 جولای 2005. مقالات تجدید نظر شده و دعوت شده) نوشته شده توسط «Gerhard Weiß – Felix Fischer – Matthias Nickles – Michael Rovatsos (auth.) – Jörg P. Müller – Franco Zambonelli (eds.)» اطلاعات کتاب مهندسی نرم افزار عامل گرا VI: ششمین کارگاه بین المللی، AOSE 2005، اوترخت، هلند، 25 جولای 2005. مقالات تجدید نظر شده و دعوت شده موضوع اصلی: فن آوری…

  • محاسبات و کاربردهای تایپ شده لامبدا: کنفرانس بین المللی محاسبات و کاربردهای لامبدا تایپ شده TLCA ’93 مارس 16-18، 1993، اوترخت، هلند مجموعه مقالات

    دانلود کتاب Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: کنفرانس بین المللی محاسبات و کاربردهای لامبدا تایپ شده TLCA ’93 مارس 16-18، 1993، اوترخت، هلند مجموعه مقالات) نوشته شده توسط «Yohji Akama (auth.) – Marc Bezem – Jan Friso Groote (eds.)» اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: کنفرانس بین المللی محاسبات و کاربردهای لامبدا تایپ شده TLCA ’93 مارس 16-18، 1993، اوترخت، هلند مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg…

  • عوامل و محاسبات همتا به همتا: چهارمین کارگاه بین المللی، AP2PC 2005، اوترخت، هلند، 25 جولای 2005. مقالات تجدید نظر شده

    دانلود کتاب Agents and Peer-to-Peer Computing: 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers (به فارسی: عوامل و محاسبات همتا به همتا: چهارمین کارگاه بین المللی، AP2PC 2005، اوترخت، هلند، 25 جولای 2005. مقالات تجدید نظر شده) نوشته شده توسط «Thanasis G. Papaioannou – George D. Stamoulis (auth.) – Zoran Despotovic – Sam Joseph – Claudio Sartori (eds.)» اطلاعات کتاب عوامل و محاسبات همتا به همتا: چهارمین کارگاه بین المللی، AP2PC 2005، اوترخت، هلند، 25 جولای 2005. مقالات تجدید نظر شده موضوع اصلی: سازمان و پردازش داده ها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg…

  • منطق علوم کامپیوتر: دهمین کارگاه بین المللی، کنفرانس سالانه CSL ’96 EACSL Utrecht، هلند، 21 تا 27 سپتامبر 1996 مقالات برگزیده

    دانلود کتاب Computer Science Logic: 10th International Workshop, CSL ’96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers (به فارسی: منطق علوم کامپیوتر: دهمین کارگاه بین المللی، کنفرانس سالانه CSL ’96 EACSL Utrecht، هلند، 21 تا 27 سپتامبر 1996 مقالات برگزیده) نوشته شده توسط «Ofer Arieli – Arnon Avron (auth.) – Dirk van Dalen – Marc Bezem (eds.)» اطلاعات کتاب منطق علوم کامپیوتر: دهمین کارگاه بین المللی، کنفرانس سالانه CSL ’96 EACSL Utrecht، هلند، 21 تا 27 سپتامبر 1996 مقالات برگزیده موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Ofer Arieli –…

  • تکنیک ها و کاربردهای بازنویسی: دوازدهمین کنفرانس بین المللی، RTA 2001 اوترخت، هلند، 22-24 مه، 2001 مجموعه مقالات

    دانلود کتاب Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: دوازدهمین کنفرانس بین المللی، RTA 2001 اوترخت، هلند، 22-24 مه، 2001 مجموعه مقالات) نوشته شده توسط «Henk Barendregt (auth.) – Aart Middeldorp (eds.)» اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: دوازدهمین کنفرانس بین المللی، RTA 2001 اوترخت، هلند، 22-24 مه، 2001 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Henk Barendregt (auth.) – Aart Middeldorp (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001…

  • سنتز و تحول برنامه منطق: پنجمین کارگاه بین المللی، LOPSTR’95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات

    دانلود کتاب Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR’95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings (به فارسی: سنتز و تحول برنامه منطق: پنجمین کارگاه بین المللی، LOPSTR’95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات) نوشته شده توسط «Michael Leuschel (auth.) – Maurizio Proietti (eds.)» اطلاعات کتاب سنتز و تحول برنامه منطق: پنجمین کارگاه بین المللی، LOPSTR’95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات موضوع اصلی: علمی-محبوب نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Michael Leuschel (auth.) – Maurizio Proietti (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال…

  • الگوریتم‌ها – ESA ’94: دومین سمپوزیوم سالانه اروپایی اوترخت، هلند، 26 تا 28 سپتامبر 1994 مجموعه مقالات

    دانلود کتاب Algorithms — ESA ’94: Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings (به فارسی: الگوریتم‌ها – ESA ’94: دومین سمپوزیوم سالانه اروپایی اوترخت، هلند، 26 تا 28 سپتامبر 1994 مجموعه مقالات) نوشته شده توسط «Andrew V. Goldberg (auth.) – Jan van Leeuwen (eds.)» اطلاعات کتاب الگوریتم‌ها – ESA ’94: دومین سمپوزیوم سالانه اروپایی اوترخت، هلند، 26 تا 28 سپتامبر 1994 مجموعه مقالات موضوع اصلی: الگوریتم ها و ساختارهای داده نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Andrew V. Goldberg (auth.) – Jan van Leeuwen (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر…

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