wadt
روندهای اخیر در تکنیک های توسعه جبری: شانزدهمین کارگاه بین المللی، WADT 2002، Frauenchiemsee، آلمان، 24-27 سپتامبر 2002، مقالات منتخب اصلاح شده
دانلود کتاب Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (به فارسی: روندهای اخیر در تکنیک های توسعه جبری: شانزدهمین کارگاه بین المللی، WADT 2002، Frauenchiemsee، آلمان، 24-27 سپتامبر 2002، مقالات منتخب اصلاح شده) نوشته شده توسط «L. Andrade – P. Baldan – H. Baumeister – R. Bruni – A. Corradini – R. De Nicola (auth.) – Martin Wirsing – Dirk Pattinson – Rolf Hennicker (eds.)» اطلاعات کتاب روندهای اخیر در تکنیک های توسعه جبری: شانزدهمین کارگاه بین المللی، WADT 2002، Frauenchiemsee، آلمان، 24-27 سپتامبر 2002، مقالات منتخب اصلاح…
روندهای اخیر در تکنیک های توسعه جبری: هفدهمین کارگاه بین المللی، WADT 2004، بارسلون، اسپانیا، 27-29 مارس، 2004. مقالات منتخب اصلاح شده
دانلود کتاب Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers (به فارسی: روندهای اخیر در تکنیک های توسعه جبری: هفدهمین کارگاه بین المللی، WADT 2004، بارسلون، اسپانیا، 27-29 مارس، 2004. مقالات منتخب اصلاح شده) نوشته شده توسط «Reiko Heckel – Sebastian Thöne (auth.) – José Luiz Fiadeiro – Peter D. Mosses – Fernando Orejas (eds.)» اطلاعات کتاب روندهای اخیر در تکنیک های توسعه جبری: هفدهمین کارگاه بین المللی، WADT 2004، بارسلون، اسپانیا، 27-29 مارس، 2004. مقالات منتخب اصلاح شده موضوع اصلی: جبر نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg…
گرایش های اخیر در تکنیک های توسعه جبری: پانزدهمین کارگاه بین المللی، WADT 2001 مشترک با نشست CoFI WG جنوا، ایتالیا، 1 تا 3 آوریل، 2001 مقالات منتخب
دانلود کتاب Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers (به فارسی: گرایش های اخیر در تکنیک های توسعه جبری: پانزدهمین کارگاه بین المللی، WADT 2001 مشترک با نشست CoFI WG جنوا، ایتالیا، 1 تا 3 آوریل، 2001 مقالات منتخب) نوشته شده توسط «Roswitha Bardohl – Martin Groβe-Rhode (auth.) – Maura Cerioli – Gianna Reggio (eds.)» اطلاعات کتاب گرایش های اخیر در تکنیک های توسعه جبری: پانزدهمین کارگاه بین المللی، WADT 2001 مشترک با نشست CoFI WG جنوا، ایتالیا، 1 تا 3 آوریل، 2001…
روندهای اخیر در تکنیک های توسعه جبری: چهاردهمین کارگاه بین المللی، WADT ’99، Château de Bonas، 15-18 سپتامبر 1999 مقالات منتخب
دانلود کتاب Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers (به فارسی: روندهای اخیر در تکنیک های توسعه جبری: چهاردهمین کارگاه بین المللی، WADT ’99، Château de Bonas، 15-18 سپتامبر 1999 مقالات منتخب) نوشته شده توسط «Joachim van den Berg – Marieke Huisman – Bart Jacobs – Erik Poll (auth.) – Didier Bert – Christine Choppy – Peter D. Mosses (eds.)» اطلاعات کتاب روندهای اخیر در تکنیک های توسعه جبری: چهاردهمین کارگاه بین المللی، WADT ’99، Château de Bonas، 15-18 سپتامبر 1999 مقالات منتخب موضوع اصلی: جبر نوع: کتاب…
روندهای اخیر در تکنیک های توسعه جبری: هجدهمین کارگاه بین المللی، WADT 2006، La Roche en Ardenne، بلژیک، 1-3 ژوئن 2006. مقالات منتخب اصلاح شده
دانلود کتاب Recent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers (به فارسی: روندهای اخیر در تکنیک های توسعه جبری: هجدهمین کارگاه بین المللی، WADT 2006، La Roche en Ardenne، بلژیک، 1-3 ژوئن 2006. مقالات منتخب اصلاح شده) نوشته شده توسط «José Luiz Fiadeiro – Pierre-Yves Schobbens» اطلاعات کتاب روندهای اخیر در تکنیک های توسعه جبری: هجدهمین کارگاه بین المللی، WADT 2006، La Roche en Ardenne، بلژیک، 1-3 ژوئن 2006. مقالات منتخب اصلاح شده موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر:…