rewriting
بازنویسی روح: شخصیت چندگانه و علوم حافظه
دانلود کتاب Rewriting the soul: multiple personality and the sciences of memory (به فارسی: بازنویسی روح: شخصیت چندگانه و علوم حافظه) نوشته شده توسط «Ian Hacking» اطلاعات کتاب بازنویسی روح: شخصیت چندگانه و علوم حافظه موضوع اصلی: فلسفه نوع: کتاب الکترونیکی ناشر: Princeton University Press نویسنده: Ian Hacking زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1998 تعداد صفحه: 346 حجم کتاب: 2 مگابایت کد کتاب: 069105908X , 9780691059082 , 069103642X , 9780691036427 , 9781400811939 توضیحات کتاب بازنویسی روح: شخصیت چندگانه و علوم حافظه ایان هکینگ متفکری درخشان و نویسنده ای ظریف است. این کتاب…
بازنویسی: چگونه کارها را با متون انجام دهیم
دانلود کتاب Rewriting: How To Do Things With Texts (به فارسی: بازنویسی: چگونه کارها را با متون انجام دهیم) نوشته شده توسط «Joseph Harris» اطلاعات کتاب بازنویسی: چگونه کارها را با متون انجام دهیم موضوع اصلی: تحصیلات نوع: کتاب الکترونیکی ناشر: Utah State University Press نویسنده: Joseph Harris زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 149 حجم کتاب: 2 مگابایت کد کتاب: 0874216427 , 9780874216424 , 9780874215397 نوبت چاپ: 1 توضیحات کتاب بازنویسی: چگونه کارها را با متون انجام دهیم ”مثل همه نویسندگان، روشنفکران هم باید چیز جدیدی بگویند و خوب…
بازنویسی خود – تاریخ، حافظه و روایت
دانلود کتاب Rewriting the Self – History, Memory and Narrative (به فارسی: بازنویسی خود – تاریخ، حافظه و روایت) نوشته شده توسط «Mark Freeman» اطلاعات کتاب بازنویسی خود – تاریخ، حافظه و روایت موضوع اصلی: تاریخ نوع: کتاب الکترونیکی ناشر: Routledge نویسنده: Mark Freeman زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1997 تعداد صفحه: 159 حجم کتاب: 2 مگابایت کد کتاب: 0203495780 دانلود کتاب «بازنویسی خود – تاریخ، حافظه و روایت»
تکنیک ها و کاربردهای بازنویسی: پانزدهمین کنفرانس بین المللی، 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…
همه چیز درباره Maude – یک چارچوب منطقی با کارایی بالا: نحوه تعیین، برنامه ریزی و تأیید سیستم ها در بازنویسی منطق
دانلود کتاب All About Maude – A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic (به فارسی: همه چیز درباره Maude – یک چارچوب منطقی با کارایی بالا: نحوه تعیین، برنامه ریزی و تأیید سیستم ها در بازنویسی منطق) نوشته شده توسط «Manuel Clavel – Francisco Durán – Steven Eker – Patrick Lincoln – Narciso Martí-Oliet – José Meseguer – Carolyn Talcott (auth.)» اطلاعات کتاب همه چیز درباره Maude – یک چارچوب منطقی با کارایی بالا: نحوه تعیین، برنامه ریزی و تأیید سیستم ها در بازنویسی منطق موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag…
بازنویسی اصطلاحات و کاربردها: هفدهمین کنفرانس بین المللی، 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 فرمت…
بازنویسی اصطلاح و همه اینها
دانلود کتاب Term rewriting and all that (به فارسی: بازنویسی اصطلاح و همه اینها) نوشته شده توسط «Franz Baader – Tobias Nipkow» اطلاعات کتاب بازنویسی اصطلاح و همه اینها موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: Franz Baader – Tobias Nipkow زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1998 تعداد صفحه: 315 حجم کتاب: 3 مگابایت کد کتاب: 0521455200 , 9780521455206 توضیحات کتاب بازنویسی اصطلاح و همه اینها این کتاب درسی مقدمه ای یکپارچه و مستقل در زمینه بازنویسی اصطلاحات ارائه می دهد. Baader و Nipkow همه مواد اولیه –…
تکنیک ها و کاربردهای بازنویسی: هفتمین کنفرانس بین المللی، 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 (قابل تبدیل به…