formam

  • جنبه های رسمی اندازه گیری: مجموعه مقالات کارگاه آموزشی BCS-FACS در مورد جنبه های رسمی اندازه گیری، دانشگاه ساوت بانک، لندن، 5 مه 1991

    دانلود کتاب Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 (به فارسی: جنبه های رسمی اندازه گیری: مجموعه مقالات کارگاه آموزشی BCS-FACS در مورد جنبه های رسمی اندازه گیری، دانشگاه ساوت بانک، لندن، 5 مه 1991) نوشته شده توسط «Tim Denvir – Rosalind Herman – Robin Whitty» اطلاعات کتاب جنبه های رسمی اندازه گیری: مجموعه مقالات کارگاه آموزشی BCS-FACS در مورد جنبه های رسمی اندازه گیری، دانشگاه ساوت بانک، لندن، 5 مه 1991 موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: Springer…

  • روش‌های رسمی و مهندسی نرم‌افزار: نهمین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2007، Boca Raton، FL، ایالات متحده آمریکا، 14-15 نوامبر، 2007. مجموعه مقالات

    دانلود کتاب Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings (به فارسی: روش‌های رسمی و مهندسی نرم‌افزار: نهمین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2007، Boca Raton، FL، ایالات متحده آمریکا، 14-15 نوامبر، 2007. مجموعه مقالات) نوشته شده توسط «J. -R. Abrial (auth.) – Michael Butler – Michael G. Hinchey – María M. Larrondo-Petrie (eds.)» اطلاعات کتاب روش‌های رسمی و مهندسی نرم‌افزار: نهمین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2007، Boca Raton، FL، ایالات متحده آمریکا، 14-15 نوامبر، 2007. مجموعه مقالات موضوع اصلی: فن آوری نوع:…

  • روش‌های رسمی کاربردی — FM-Trends 98: کارگاه بین‌المللی درباره روندهای فعلی در روش‌های رسمی کاربردی Boppard، آلمان، 7-9 اکتبر 1998 مجموعه مقالات

    دانلود کتاب Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings (به فارسی: روش‌های رسمی کاربردی — FM-Trends 98: کارگاه بین‌المللی درباره روندهای فعلی در روش‌های رسمی کاربردی Boppard، آلمان، 7-9 اکتبر 1998 مجموعه مقالات) نوشته شده توسط «Egon Börger (auth.) – Dieter Hutter – Werner Stephan – Paolo Traverso – Markus Ullmann (eds.)» اطلاعات کتاب روش‌های رسمی کاربردی — FM-Trends 98: کارگاه بین‌المللی درباره روندهای فعلی در روش‌های رسمی کاربردی Boppard، آلمان، 7-9 اکتبر 1998 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg…

  • مبانی علوم رسمی IV. تاریخچه مفهوم علوم رسمی

    دانلود کتاب Foundations of the Formal Sciences IV. The History of the Concept of the Formal Sciences (به فارسی: مبانی علوم رسمی IV. تاریخچه مفهوم علوم رسمی) نوشته شده توسط «B. Löwe – V. Peckhaus – T. Rasch (eds.)» اطلاعات کتاب مبانی علوم رسمی IV. تاریخچه مفهوم علوم رسمی موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: College Publications نویسنده: B. Löwe – V. Peckhaus – T. Rasch (eds.) زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 300 / 298 حجم فایل: 45.61 مگابایت کد کتاب: 190498729X , 9781904987291 توضیحات کتاب مبانی علوم…

  • مبانی علوم رسمی 1: تاریخچه مفهوم علوم رسمی

    دانلود کتاب Foundations of the formal sciences 1: the history of the concept of the formal sciences (به فارسی: مبانی علوم رسمی 1: تاریخچه مفهوم علوم رسمی) نوشته شده توسط «Löwe – Benedikt – Peckhaus – Volker – Räsch – Thoralf (eds.)» اطلاعات کتاب مبانی علوم رسمی 1: تاریخچه مفهوم علوم رسمی موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Kluwer College Publications نویسنده: Löwe – Benedikt – Peckhaus – Volker – Räsch – Thoralf (eds.) زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 282 / 303 حجم فایل: 1.70 مگابایت کد کتاب:…

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان