mpc
ریاضیات ساخت برنامه: هفتمین کنفرانس بین المللی، MPC 2004، استرلینگ، اسکاتلند، انگلستان، 12-14 جولای، 2004. مجموعه مقالات
دانلود کتاب Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings (به فارسی: ریاضیات ساخت برنامه: هفتمین کنفرانس بین المللی، MPC 2004، استرلینگ، اسکاتلند، انگلستان، 12-14 جولای، 2004. مجموعه مقالات) نوشته شده توسط «Greg Nelson (auth.) – Dexter Kozen (eds.)» اطلاعات کتاب ریاضیات ساخت برنامه: هفتمین کنفرانس بین المللی، MPC 2004، استرلینگ، اسکاتلند، انگلستان، 12-14 جولای، 2004. مجموعه مقالات موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Greg Nelson (auth.) – Dexter Kozen (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه:…
ریاضیات ساخت برنامه: سومین کنفرانس بین المللی، MPC ’95 Kloster Irsee، آلمان، 17-21 ژوئیه، 1995 مجموعه مقالات
دانلود کتاب Mathematics of Program Construction: Third International Conference, MPC ’95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings (به فارسی: ریاضیات ساخت برنامه: سومین کنفرانس بین المللی، MPC ’95 Kloster Irsee، آلمان، 17-21 ژوئیه، 1995 مجموعه مقالات) نوشته شده توسط «Krzysztof R. Apt (auth.) – Bernhard Möller (eds.)» اطلاعات کتاب ریاضیات ساخت برنامه: سومین کنفرانس بین المللی، MPC ’95 Kloster Irsee، آلمان، 17-21 ژوئیه، 1995 مجموعه مقالات موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Krzysztof R. Apt (auth.) – Bernhard Möller (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1995…
ریاضیات ساخت برنامه: هشتمین کنفرانس بین المللی، MPC 2006، Kuressaare، استونی، 3-5 ژوئیه، 2006. مجموعه مقالات
دانلود کتاب Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings (به فارسی: ریاضیات ساخت برنامه: هشتمین کنفرانس بین المللی، MPC 2006، Kuressaare، استونی، 3-5 ژوئیه، 2006. مجموعه مقالات) نوشته شده توسط «Robin Cockett (auth.) – Tarmo Uustalu (eds.)» اطلاعات کتاب ریاضیات ساخت برنامه: هشتمین کنفرانس بین المللی، MPC 2006، Kuressaare، استونی، 3-5 ژوئیه، 2006. مجموعه مقالات موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Robin Cockett (auth.) – Tarmo Uustalu (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 458 حجم کتاب:…
ریاضیات ساخت برنامه: نهمین کنفرانس بین المللی، MPC 2008، مارسی، فرانسه، 15-18 ژوئیه، 2008. مجموعه مقالات
دانلود کتاب Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings (به فارسی: ریاضیات ساخت برنامه: نهمین کنفرانس بین المللی، MPC 2008، مارسی، فرانسه، 15-18 ژوئیه، 2008. مجموعه مقالات) نوشته شده توسط «Ralf Hinze (auth.) – Philippe Audebaud – Christine Paulin-Mohring (eds.)» اطلاعات کتاب ریاضیات ساخت برنامه: نهمین کنفرانس بین المللی، MPC 2008، مارسی، فرانسه، 15-18 ژوئیه، 2008. مجموعه مقالات موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Ralf Hinze (auth.) – Philippe Audebaud – Christine Paulin-Mohring (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار:…
ریاضیات ساخت برنامه: پنجمین کنفرانس بین المللی، MPC 2000، پونت دی لیما، پرتغال، 3-5 ژوئیه، 2000 مجموعه مقالات
دانلود کتاب Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (به فارسی: ریاضیات ساخت برنامه: پنجمین کنفرانس بین المللی، MPC 2000، پونت دی لیما، پرتغال، 3-5 ژوئیه، 2000 مجموعه مقالات) نوشته شده توسط «Mark P. Jones (auth.) – Roland Backhouse – José Nuno Oliveira (eds.)» اطلاعات کتاب ریاضیات ساخت برنامه: پنجمین کنفرانس بین المللی، MPC 2000، پونت دی لیما، پرتغال، 3-5 ژوئیه، 2000 مجموعه مقالات موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Mark P. Jones (auth.) – Roland Backhouse – José Nuno Oliveira (eds.) زبان: English فرمت…
ریاضیات ساخت برنامه: ششمین کنفرانس بین المللی، MPC 2002 قلعه داگستول، آلمان، 8 تا 10 ژوئیه، 2002 مجموعه مقالات
دانلود کتاب Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings (به فارسی: ریاضیات ساخت برنامه: ششمین کنفرانس بین المللی، MPC 2002 قلعه داگستول، آلمان، 8 تا 10 ژوئیه، 2002 مجموعه مقالات) نوشته شده توسط «Robert Giegerich – Peter Steffen (auth.) – Eerke A. Boiten – Bernhard Möller (eds.)» اطلاعات کتاب ریاضیات ساخت برنامه: ششمین کنفرانس بین المللی، MPC 2002 قلعه داگستول، آلمان، 8 تا 10 ژوئیه، 2002 مجموعه مقالات موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Robert Giegerich – Peter Steffen (auth.) – Eerke A. Boiten – Bernhard…