abstraction
چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی
دانلود کتاب Logical frameworks for truth and abstraction: An axiomatic study (به فارسی: چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی) نوشته شده توسط «A. Cantini» اطلاعات کتاب چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North Holland نویسنده: A. Cantini زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 474 حجم کتاب: 3 مگابایت کد کتاب: 0444823069 , 9780444823069 , 9780080535586 نوبت چاپ: 1 توضیحات کتاب چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی این ترجمه انگلیسی اثر اصلی…
چارلز شیلر: مدرنیسم، دقت گرایی و مرزهای انتزاع
دانلود کتاب Charles Sheeler: Modernism, Precisionism and the Borders of Abstraction (به فارسی: چارلز شیلر: مدرنیسم، دقت گرایی و مرزهای انتزاع) نوشته شده توسط «Mark Rawlinson» اطلاعات کتاب چارلز شیلر: مدرنیسم، دقت گرایی و مرزهای انتزاع موضوع اصلی: شعر نوع: کتاب الکترونیکی ناشر: I. B. Tauris نویسنده: Mark Rawlinson زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 219 حجم کتاب: 12 مگابایت کد کتاب: 9781850439028 , 1850439028 توضیحات کتاب چارلز شیلر: مدرنیسم، دقت گرایی و مرزهای انتزاع چارلز شیلر شاعر برجسته عصر ماشین بود. عکاس شرکت خودروسازی فورد و بنیانگذار جنبش نقاشی…
چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی
دانلود کتاب Logical Frameworks for Truth and Abstraction: An Axiomatic Study (به فارسی: چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی) نوشته شده توسط «A. Cantini» اطلاعات کتاب چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North Holland نویسنده: A. Cantini زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 474 حجم کتاب: 18 مگابایت کد کتاب: 9780444823069 , 0444823069 توضیحات کتاب چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی این ترجمه انگلیسی اثر اصلی نویسنده به‌طور کامل بازبینی، گسترش…
انتزاع مدل در سیستم‌های دینامیکی: کاربرد در کنترل ربات موبایل
دانلود کتاب Model Abstraction in Dynamical Systems: Application to Mobile Robot Control (به فارسی: انتزاع مدل در سیستم‌های دینامیکی: کاربرد در کنترل ربات موبایل) نوشته شده توسط «Patricia Mellodge – Pushkin Kachroo (auth.)» اطلاعات کتاب انتزاع مدل در سیستم‌های دینامیکی: کاربرد در کنترل ربات موبایل موضوع اصلی: سیستم های دینامیکی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Patricia Mellodge – Pushkin Kachroo (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 118 حجم کتاب: 3 مگابایت کد کتاب: 3540707921 , 9783540707929 , 9783540707998 نوبت چاپ: 1 توضیحات کتاب انتزاع مدل در…
چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی
دانلود کتاب Logical Frameworks for Truth and Abstraction: An Axiomatic Study (به فارسی: چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی) نوشته شده توسط «A. Cantini» اطلاعات کتاب چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North Holland نویسنده: A. Cantini زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 474 حجم کتاب: 19 مگابایت کد کتاب: 9780444823069 , 0444823069 توضیحات کتاب چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی این ترجمه انگلیسی اثر اصلی نویسنده به‌طور کامل بازبینی، گسترش…
محدودیت های انتزاع
دانلود کتاب The Limits of Abstraction (به فارسی: محدودیت های انتزاع) نوشته شده توسط «Kit Fine» اطلاعات کتاب محدودیت های انتزاع موضوع اصلی: فلسفه نوع: کتاب الکترونیکی ناشر: Oxford University Press نویسنده: Kit Fine زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 214 حجم کتاب: 1 مگابایت کد کتاب: 0199246181 , 9780199246182 توضیحات کتاب محدودیت های انتزاع کیت فاین یک نظریه فرگی در مورد انتزاع را توسعه می دهد، و پیشنهاد می کند که ممکن است پایه فلسفی جدیدی برای ریاضیات به ارمغان بیاورد، مبنایی که می تواند هم ارجاع ما به…
سلسله مراتب انتزاعی چندگانه برای عملیات ربات موبایل در محیط های بزرگ
دانلود کتاب Multiple Abstraction Hierachies for Mobile Robot Operation in Large Environments (به فارسی: سلسله مراتب انتزاعی چندگانه برای عملیات ربات موبایل در محیط های بزرگ) نوشته شده توسط «Cipriano Galindo – Juan-Antonio Fernández-Madrigal – Javier Gonzáez (auth.)» اطلاعات کتاب سلسله مراتب انتزاعی چندگانه برای عملیات ربات موبایل در محیط های بزرگ موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Cipriano Galindo – Juan-Antonio Fernández-Madrigal – Javier Gonzáez (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 178 حجم کتاب: 5 مگابایت کد کتاب: 9783540726883 , 3540726888 نوبت…
انتزاع، پالایش و اثبات برای سیستم های احتمالی
دانلود کتاب Abstraction, Refinement and Proof for Probabilistic Systems (به فارسی: انتزاع، پالایش و اثبات برای سیستم های احتمالی) نوشته شده توسط «McIver A. – Morgan C.» اطلاعات کتاب انتزاع، پالایش و اثبات برای سیستم های احتمالی موضوع اصلی: احتمال نوع: کتاب الکترونیکی ناشر: Springer نویسنده: McIver A. – Morgan C. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 395 حجم کتاب: 3 مگابایت کد کتاب: 0387401156 دانلود کتاب «انتزاع، پالایش و اثبات برای سیستم های احتمالی»
تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند
دانلود کتاب Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (به فارسی: تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند) نوشته شده توسط «Markus Müller-Olm (auth.)» اطلاعات کتاب تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند موضوع اصلی: جبر نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Markus Müller-Olm (auth.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1997 تعداد صفحه: 260 حجم کتاب: 2 مگابایت کد کتاب: 3540634061 , 9783540634065 نوبت چاپ: 1 توضیحات کتاب تأیید کامپایلر…
چکیده، فرمول بندی مجدد و تقریب: هفتمین سمپوزیوم بین المللی، سارا 2007، ویستلر، کانادا، 18 تا 21 ژوئیه، 2007. مجموعه مقالات
دانلود کتاب Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings (به فارسی: چکیده، فرمول بندی مجدد و تقریب: هفتمین سمپوزیوم بین المللی، سارا 2007، ویستلر، کانادا، 18 تا 21 ژوئیه، 2007. مجموعه مقالات) نوشته شده توسط «Vadim Bulitko (auth.) – Ian Miguel – Wheeler Ruml (eds.)» اطلاعات کتاب چکیده، فرمول بندی مجدد و تقریب: هفتمین سمپوزیوم بین المللی، سارا 2007، ویستلر، کانادا، 18 تا 21 ژوئیه، 2007. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Vadim Bulitko (auth.) – Ian Miguel – Wheeler Ruml (eds.) زبان: English فرمت…