kaiserslautern

  • موضوعات در استدلال مبتنی بر مورد: اولین کارگاه اروپایی، EWCBR-93 Kaiserslautern، آلمان، 1-5 نوامبر 1993 مقالات منتخب

    دانلود کتاب Topics in Case-Based Reasoning: First European Workshop, EWCBR-93 Kaiserslautern, Germany, November 1–5, 1993 Selected Papers (به فارسی: موضوعات در استدلال مبتنی بر مورد: اولین کارگاه اروپایی، EWCBR-93 Kaiserslautern، آلمان، 1-5 نوامبر 1993 مقالات منتخب) نوشته شده توسط «Janet L. Kolodner (auth.) – Stefan Wess – Klaus-Dieter Althoff – Michael M. Richter (eds.)» اطلاعات کتاب موضوعات در استدلال مبتنی بر مورد: اولین کارگاه اروپایی، EWCBR-93 Kaiserslautern، آلمان، 1-5 نوامبر 1993 مقالات منتخب موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Janet L. Kolodner (auth.) – Stefan Wess – Klaus-Dieter Althoff – Michael M. Richter (eds.) زبان:…

  • فن آوری های سیستم چند عاملی: ششمین کنفرانس آلمان، MATES 2008، Kaiserslautern، آلمان، 23-26 سپتامبر 2008. مجموعه مقالات

    دانلود کتاب Multiagent System Technologies: 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings (به فارسی: فن آوری های سیستم چند عاملی: ششمین کنفرانس آلمان، MATES 2008، Kaiserslautern، آلمان، 23-26 سپتامبر 2008. مجموعه مقالات) نوشته شده توسط «Michael Wooldridge (auth.) – Ralph Bergmann – Gabriela Lindemann – Stefan Kirn – Michal Pěchouček (eds.)» اطلاعات کتاب فن آوری های سیستم چند عاملی: ششمین کنفرانس آلمان، MATES 2008، Kaiserslautern، آلمان، 23-26 سپتامبر 2008. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Michael Wooldridge (auth.) – Ralph Bergmann – Gabriela Lindemann – Stefan Kirn – Michal…

  • تجارب با سیستم های توزیع شده: کارگاه بین المللی Kaiserslautern، FRG، 28-30 سپتامبر، 1987 مجموعه مقالات

    دانلود کتاب Experiences with Distributed Systems: International Workshop Kaiserslautern, FRG, September 28–30, 1987 Proceedings (به فارسی: تجارب با سیستم های توزیع شده: کارگاه بین المللی Kaiserslautern، FRG، 28-30 سپتامبر، 1987 مجموعه مقالات) نوشته شده توسط «Prof. Dr. J. Nehmer (auth.) – J. Nehmer (eds.)» اطلاعات کتاب تجارب با سیستم های توزیع شده: کارگاه بین المللی Kaiserslautern، FRG، 28-30 سپتامبر، 1987 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Prof. Dr. J. Nehmer (auth.) – J. Nehmer (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1988 تعداد صفحه: 293 حجم…

  • دهمین کنفرانس بین المللی کسر خودکار: Kaiserslautern، FRG، 24-27 ژوئیه، 1990 مجموعه مقالات

    دانلود کتاب 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings (به فارسی: دهمین کنفرانس بین المللی کسر خودکار: Kaiserslautern، FRG، 24-27 ژوئیه، 1990 مجموعه مقالات) نوشته شده توسط «Robert S. Boyer – J Strother Moore (auth.) – Mark E. Stickel (eds.)» اطلاعات کتاب دهمین کنفرانس بین المللی کسر خودکار: Kaiserslautern، FRG، 24-27 ژوئیه، 1990 مجموعه مقالات موضوع اصلی: نرم افزار: CAD نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Robert S. Boyer – J Strother Moore (auth.) – Mark E. Stickel (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1990…

  • تکنیک ها و کاربردهای بازنویسی: ششمین کنفرانس بین المللی، RTA-95 Kaiserslautern، آلمان، 5-7 آوریل، 1995 مجموعه مقالات

    دانلود کتاب Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: ششمین کنفرانس بین المللی، RTA-95 Kaiserslautern، آلمان، 5-7 آوریل، 1995 مجموعه مقالات) نوشته شده توسط «Yuri Matiyasevich (auth.) – Jieh Hsiang (eds.)» اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: ششمین کنفرانس بین المللی، RTA-95 Kaiserslautern، آلمان، 5-7 آوریل، 1995 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Yuri Matiyasevich (auth.) – Jieh Hsiang (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1995 تعداد صفحه: 480 حجم…

  • CSL ’89: سومین کارگاه آموزشی منطق علوم کامپیوتر Kaiserslautern, FRG, 2-6 اکتبر 1989 مجموعه مقالات

    دانلود کتاب CSL ’89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings (به فارسی: CSL ’89: سومین کارگاه آموزشی منطق علوم کامپیوتر Kaiserslautern, FRG, 2-6 اکتبر 1989 مجموعه مقالات) نوشته شده توسط «Klaus Ambos-Spies – Dongping Yang (auth.) – Egon Börger – Hans Kleine Büning – Michael M. Richter (eds.)» اطلاعات کتاب CSL ’89: سومین کارگاه آموزشی منطق علوم کامپیوتر Kaiserslautern, FRG, 2-6 اکتبر 1989 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Klaus Ambos-Spies – Dongping Yang (auth.) – Egon Börger – Hans Kleine Büning – Michael M. Richter (eds.)…

  • اثبات قضیه در منطق های مرتبه بالاتر: بیستمین کنفرانس بین المللی، TPHOLs 2007، Kaiserslautern، آلمان، 10-13 سپتامبر 2007. مجموعه مقالات

    دانلود کتاب Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: بیستمین کنفرانس بین المللی، TPHOLs 2007، Kaiserslautern، آلمان، 10-13 سپتامبر 2007. مجموعه مقالات) نوشته شده توسط «Constance L. Heitmeyer (auth.) – Klaus Schneider – Jens Brandt (eds.)» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: بیستمین کنفرانس بین المللی، TPHOLs 2007، Kaiserslautern، آلمان، 10-13 سپتامبر 2007. مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Constance L. Heitmeyer (auth.) – Klaus Schneider – Jens Brandt (eds.) زبان:…

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