rta
تکنیک ها و کاربردهای بازنویسی: پانزدهمین کنفرانس بین المللی، RTA 2004، آخن، آلمان، 3-5 ژوئن 2004. مجموعه مقالات
دانلود کتاب Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: پانزدهمین کنفرانس بین المللی، RTA 2004، آخن، آلمان، 3-5 ژوئن 2004. مجموعه مقالات) نوشته شده توسط «Neil D. Jones – Nina Bohr (auth.) – Vincent van Oostrom (eds.)» اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: پانزدهمین کنفرانس بین المللی، RTA 2004، آخن، آلمان، 3-5 ژوئن 2004. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Neil D. Jones – Nina Bohr (auth.) – Vincent van Oostrom (eds.) زبان: English فرمت کتاب: pdf…
بازنویسی اصطلاحات و کاربردها: هفدهمین کنفرانس بین المللی، RTA 2006 سیاتل، WA، ایالات متحده آمریکا، 12-14 اوت، 2006 مجموعه مقالات
دانلود کتاب Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings (به فارسی: بازنویسی اصطلاحات و کاربردها: هفدهمین کنفرانس بین المللی، RTA 2006 سیاتل، WA، ایالات متحده آمریکا، 12-14 اوت، 2006 مجموعه مقالات) نوشته شده توسط «Randal E. Bryant (auth.) – Frank Pfenning (eds.)» اطلاعات کتاب بازنویسی اصطلاحات و کاربردها: هفدهمین کنفرانس بین المللی، RTA 2006 سیاتل، WA، ایالات متحده آمریکا، 12-14 اوت، 2006 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Randal E. Bryant (auth.) – Frank Pfenning (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به…
تکنیک ها و کاربردهای بازنویسی: نوزدهمین کنفرانس بین المللی، RTA 2008 هاگنبرگ، اتریش، 15-17 جولای، 2008 مجموعه مقالات
دانلود کتاب Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: نوزدهمین کنفرانس بین المللی، RTA 2008 هاگنبرگ، اتریش، 15-17 جولای، 2008 مجموعه مقالات) نوشته شده توسط «María Alpuente – Santiago Escobar – José Iborra (auth.) – Andrei Voronkov (eds.)» اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: نوزدهمین کنفرانس بین المللی، RTA 2008 هاگنبرگ، اتریش، 15-17 جولای، 2008 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: María Alpuente – Santiago Escobar – José Iborra (auth.) – Andrei Voronkov (eds.) زبان: English فرمت…
تکنیک ها و کاربردهای بازنویسی: هفتمین کنفرانس بین المللی، RTA-96 نیوبرانزویک، نیوجرسی، ایالات متحده، 27 تا 30 ژوئیه، 1996 مجموعه مقالات
دانلود کتاب Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: هفتمین کنفرانس بین المللی، RTA-96 نیوبرانزویک، نیوجرسی، ایالات متحده، 27 تا 30 ژوئیه، 1996 مجموعه مقالات) نوشته شده توسط «Deepak Kapur (auth.) – Harald Ganzinger (eds.)» اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: هفتمین کنفرانس بین المللی، RTA-96 نیوبرانزویک، نیوجرسی، ایالات متحده، 27 تا 30 ژوئیه، 1996 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Deepak Kapur (auth.) – Harald Ganzinger (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به…
تکنیک ها و کاربردهای بازنویسی: ششمین کنفرانس بین المللی، 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 حجم…
تکنیک ها و کاربردهای بازنویسی: سیزدهمین کنفرانس بین المللی، RTA 2002 کپنهاگ، دانمارک، 22 تا 24 ژوئیه، 2002 مجموعه مقالات
دانلود کتاب Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: سیزدهمین کنفرانس بین المللی، RTA 2002 کپنهاگ، دانمارک، 22 تا 24 ژوئیه، 2002 مجموعه مقالات) نوشته شده توسط «Natarajan Shankar – Harald Rueß (auth.) – Sophie Tison (eds.)» اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: سیزدهمین کنفرانس بین المللی، RTA 2002 کپنهاگ، دانمارک، 22 تا 24 ژوئیه، 2002 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Natarajan Shankar – Harald Rueß (auth.) – Sophie Tison (eds.) زبان: English فرمت کتاب: pdf…
تکنیک ها و کاربردهای بازنویسی: بیستمین کنفرانس بین المللی، RTA 2009 برازیلیا، برزیل، 29 ژوئن – 1 ژوئیه، 2009 مجموعه مقالات
دانلود کتاب Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Brasília, Brazil, June 29 – July 1, 2009 Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: بیستمین کنفرانس بین المللی، RTA 2009 برازیلیا، برزیل، 29 ژوئن – 1 ژوئیه، 2009 مجموعه مقالات) نوشته شده توسط «Johannes Waldmann (auth.) – Ralf Treinen (eds.)» اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: بیستمین کنفرانس بین المللی، RTA 2009 برازیلیا، برزیل، 29 ژوئن – 1 ژوئیه، 2009 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Johannes Waldmann (auth.) – Ralf Treinen (eds.) زبان: English فرمت کتاب: pdf (قابل…
تکنیک ها و کاربردهای بازنویسی: یازدهمین کنفرانس بین المللی، RTA 2000، نورویچ، انگلستان، 10-12 جولای، 2000. مجموعه مقالات
دانلود کتاب Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: یازدهمین کنفرانس بین المللی، RTA 2000، نورویچ، انگلستان، 10-12 جولای، 2000. مجموعه مقالات) نوشته شده توسط «José Meseguer (auth.) – Leo Bachmair (eds.)» اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: یازدهمین کنفرانس بین المللی، RTA 2000، نورویچ، انگلستان، 10-12 جولای، 2000. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: José Meseguer (auth.) – Leo Bachmair (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2000 تعداد…
تکنیک ها و کاربردهای بازنویسی: دوازدهمین کنفرانس بین المللی، 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…
بازنویسی ترم و کاربردها: هجدهمین کنفرانس بین المللی، RTA 2007، پاریس، فرانسه، 26-28 ژوئن 2007. مجموعه مقالات
دانلود کتاب Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings (به فارسی: بازنویسی ترم و کاربردها: هجدهمین کنفرانس بین المللی، RTA 2007، پاریس، فرانسه، 26-28 ژوئن 2007. مجموعه مقالات) نوشته شده توسط «Xavier Leroy (auth.) – Franz Baader (eds.)» اطلاعات کتاب بازنویسی ترم و کاربردها: هجدهمین کنفرانس بین المللی، RTA 2007، پاریس، فرانسه، 26-28 ژوئن 2007. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Xavier Leroy (auth.) – Franz Baader (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 422…