compositional

  • معناشناسی ترکیبی برای تمرکز چندگانه

    دانلود کتاب A Compositional Semantics for Multiple Focus (به فارسی: معناشناسی ترکیبی برای تمرکز چندگانه) نوشته شده توسط «Manfred Krifka – Austinlsaarbriicken » اطلاعات کتاب معناشناسی ترکیبی برای تمرکز چندگانه موضوع اصلی: 1 نوع: کتاب الکترونیکی نویسنده: Manfred Krifka – Austinlsaarbriicken زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 19 حجم کتاب: 1 مگابایت دانلود کتاب «معناشناسی ترکیبی برای تمرکز چندگانه»

  • معناشناسی پیش فرض: مبانی یک نظریه ترکیبی اعمال ارتباط

    دانلود کتاب Default Semantics: Foundations of a Compositional Theory of Acts of Communication (به فارسی: معناشناسی پیش فرض: مبانی یک نظریه ترکیبی اعمال ارتباط) نوشته شده توسط «K. M. Jaszczolt» اطلاعات کتاب معناشناسی پیش فرض: مبانی یک نظریه ترکیبی اعمال ارتباط موضوع اصلی: الکترونیک: مخابرات نوع: کتاب الکترونیکی ناشر: Oxford University Press, USA نویسنده: K. M. Jaszczolt زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 300 حجم کتاب: 5 مگابایت کد کتاب: 9780199261987 , 0199261989 نوبت چاپ: illustrated edition توضیحات کتاب معناشناسی پیش فرض: مبانی یک نظریه ترکیبی اعمال ارتباط در این…

  • تجزیه و تحلیل ترکیبی روابط تکراری: رویکردی ساختاری به سیستم‌های پیچیده انتقال وضعیت

    دانلود کتاب Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems (به فارسی: تجزیه و تحلیل ترکیبی روابط تکراری: رویکردی ساختاری به سیستم‌های پیچیده انتقال وضعیت) نوشته شده توسط «Frédéric Geurts (auth.)» اطلاعات کتاب تجزیه و تحلیل ترکیبی روابط تکراری: رویکردی ساختاری به سیستم‌های پیچیده انتقال وضعیت موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Frédéric Geurts (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1998 تعداد صفحه: 280 حجم کتاب: 2 مگابایت کد کتاب: 3540655069 , 9783540655060 نوبت چاپ: 1 توضیحات کتاب تجزیه و تحلیل…

  • تأیید ترکیبی سیستم‌های همزمان و بلادرنگ

    دانلود کتاب Compositional Verification of Concurrent and Real-Time Systems (به فارسی: تأیید ترکیبی سیستم‌های همزمان و بلادرنگ) نوشته شده توسط «Eric Y. T. Juan – Jeffrey J. P. Tsai (auth.)» اطلاعات کتاب تأیید ترکیبی سیستم‌های همزمان و بلادرنگ موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer US نویسنده: Eric Y. T. Juan – Jeffrey J. P. Tsai (auth.) زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 196 / 209 حجم فایل: 9.33 مگابایت کد کتاب: 1461510090 , 9781461510093 نوبت چاپ: 1 توضیحات کتاب تأیید ترکیبی سیستم‌های همزمان و بلادرنگ با رشد سریع…

  • مشخصات و تأیید ترکیبی سیستم های بلادرنگ

    دانلود کتاب Specification and Compositional Verification of Real-Time Systems (به فارسی: مشخصات و تأیید ترکیبی سیستم های بلادرنگ) نوشته شده توسط «Jozef Hooman (auth.)» اطلاعات کتاب مشخصات و تأیید ترکیبی سیستم های بلادرنگ موضوع اصلی: کامپیوتر – برنامه نویسی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Jozef Hooman (auth.) زبان: english فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها) سال انتشار: 1991 تعداد صفحه: 242 / 244 حجم فایل: 1.93 مگابایت کد کتاب: 3540549471 , 9783540549475 نوبت چاپ: 1 توضیحات کتاب مشخصات و تأیید ترکیبی سیستم های بلادرنگ تحقیق شرح داده شده در این مونوگراف به مشخصات رسمی…

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