lopstr
سنتز و تحول برنامه مبتنی بر منطق: سیزدهمین سمپوزیوم بین المللی، LOPSTR 2003، اوپسالا، سوئد، 25-27 اوت 2003، مقالات منتخب اصلاح شده
دانلود کتاب Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (به فارسی: سنتز و تحول برنامه مبتنی بر منطق: سیزدهمین سمپوزیوم بین المللی، LOPSTR 2003، اوپسالا، سوئد، 25-27 اوت 2003، مقالات منتخب اصلاح شده) نوشته شده توسط «Helko Lehmann – Michael Leuschel (auth.) – Maurice Bruynooghe (eds.)» اطلاعات کتاب سنتز و تحول برنامه مبتنی بر منطق: سیزدهمین سمپوزیوم بین المللی، LOPSTR 2003، اوپسالا، سوئد، 25-27 اوت 2003، مقالات منتخب اصلاح شده موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Helko…
سنتز و تحول برنامه مبتنی بر منطق: دهمین کارگاه بین المللی، LOPSTR 2000 لندن، بریتانیا، 24 تا 28 ژوئیه، 2000 مقالات منتخب
دانلود کتاب Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers (به فارسی: سنتز و تحول برنامه مبتنی بر منطق: دهمین کارگاه بین المللی، LOPSTR 2000 لندن، بریتانیا، 24 تا 28 ژوئیه، 2000 مقالات منتخب) نوشته شده توسط «Kung-Kiu Lau (auth.)» اطلاعات کتاب سنتز و تحول برنامه مبتنی بر منطق: دهمین کارگاه بین المللی، LOPSTR 2000 لندن، بریتانیا، 24 تا 28 ژوئیه، 2000 مقالات منتخب موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Kung-Kiu Lau (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال…
سنتز و تحول برنامه مبتنی بر منطق: هجدهمین سمپوزیوم بین المللی، LOPSTR 2008، والنسیا، اسپانیا، 17-18 ژوئیه، 2008، مقالات منتخب اصلاح شده
دانلود کتاب Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (به فارسی: سنتز و تحول برنامه مبتنی بر منطق: هجدهمین سمپوزیوم بین المللی، LOPSTR 2008، والنسیا، اسپانیا، 17-18 ژوئیه، 2008، مقالات منتخب اصلاح شده) نوشته شده توسط «Cristiano Calcagno – Dino Distefano (auth.) – Michael Hanus (eds.)» اطلاعات کتاب سنتز و تحول برنامه مبتنی بر منطق: هجدهمین سمپوزیوم بین المللی، LOPSTR 2008، والنسیا، اسپانیا، 17-18 ژوئیه، 2008، مقالات منتخب اصلاح شده موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Cristiano Calcagno – Dino Distefano (auth.) – Michael…
سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی، LOPSTR 2001 پافوس، قبرس، 28 تا 30 نوامبر 2001 مقالات منتخب
دانلود کتاب Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers (به فارسی: سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی، LOPSTR 2001 پافوس، قبرس، 28 تا 30 نوامبر 2001 مقالات منتخب) نوشته شده توسط «Natarajan Shankar (auth.) – Alberto Pettorossi (eds.)» اطلاعات کتاب سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی، LOPSTR 2001 پافوس، قبرس، 28 تا 30 نوامبر 2001 مقالات منتخب موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Natarajan Shankar (auth.) – Alberto Pettorossi (eds.) زبان: English فرمت کتاب:…
سنتز و تحول برنامه مبتنی بر منطق: پانزدهمین سمپوزیوم بین المللی، LOPSTR 2005، لندن، انگلستان، 7-9 سپتامبر 2005، مقالات منتخب اصلاح شده
دانلود کتاب Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (به فارسی: سنتز و تحول برنامه مبتنی بر منطق: پانزدهمین سمپوزیوم بین المللی، LOPSTR 2005، لندن، انگلستان، 7-9 سپتامبر 2005، مقالات منتخب اصلاح شده) نوشته شده توسط «François Fages (auth.) – Patricia M. Hill (eds.)» اطلاعات کتاب سنتز و تحول برنامه مبتنی بر منطق: پانزدهمین سمپوزیوم بین المللی، LOPSTR 2005، لندن، انگلستان، 7-9 سپتامبر 2005، مقالات منتخب اصلاح شده موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: François Fages (auth.) – Patricia M. Hill (eds.) زبان:…
سنتز و تحول برنامه مبتنی بر منطق: چهاردهمین سمپوزیوم بین المللی، LOPSTR 2004، ورونا، ایتالیا، 26 تا 28 اوت 2004، مقالات منتخب اصلاح شده
دانلود کتاب Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers (به فارسی: سنتز و تحول برنامه مبتنی بر منطق: چهاردهمین سمپوزیوم بین المللی، LOPSTR 2004، ورونا، ایتالیا، 26 تا 28 اوت 2004، مقالات منتخب اصلاح شده) نوشته شده توسط «Wim Vanhoof (auth.) – Sandro Etalle (eds.)» اطلاعات کتاب سنتز و تحول برنامه مبتنی بر منطق: چهاردهمین سمپوزیوم بین المللی، LOPSTR 2004، ورونا، ایتالیا، 26 تا 28 اوت 2004، مقالات منتخب اصلاح شده موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Wim Vanhoof (auth.) –…
سنتز و تبدیل برنامه منطقی – فرابرنامه‌نویسی در منطق: چهارمین کارگاه بین‌المللی، LOPSTR ’94 و META ’94 پیزا، ایتالیا، 20 تا 21 ژوئن 1994 مجموعه مقالات
دانلود کتاب Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR ’94 and META ’94 Pisa, Italy, June 20–21, 1994 Proceedings (به فارسی: سنتز و تبدیل برنامه منطقی – فرابرنامه‌نویسی در منطق: چهارمین کارگاه بین‌المللی، LOPSTR ’94 و META ’94 پیزا، ایتالیا، 20 تا 21 ژوئن 1994 مجموعه مقالات) نوشته شده توسط «David A. Basin (auth.) – Laurent Fribourg – Franco Turini (eds.)» اطلاعات کتاب سنتز و تبدیل برنامه منطقی – فرابرنامه‌نویسی در منطق: چهارمین کارگاه بین‌المللی، LOPSTR ’94 و META ’94 پیزا، ایتالیا، 20 تا 21 ژوئن 1994 مجموعه مقالات موضوع اصلی: برنامه نويسي نوع:…