دوره مبانی و کاربردهای روش های صوری در مهندسی نرم افزار به همراه فلش کارت بر روی فلش مموری
1,990,000 تومان
تگ: Formal Methods
دوره طراحی و اعتبارسنجی برنامه های کاربردی با روش های صوری به همراه فلش کارت بر روی فلش مموری
1,990,000 تومان
کتاب توسعه نرمافزار دقیق: اصول و تکنیکهای اثباتشده از Rigorous Software Development
249,950 تومان
کتاب تسلط بر برنامهنویسی موازی: طراحی و پیادهسازی سیستمهای چندپردازندهای با رویکرد شبکههای پتری پیشرفته
249,950 تومان
کتاب فراتر از شبیهسازی: تضمین ریاضی عملکرد راکتورهای شیمیایی با منطق دینامیکی (dL)
249,950 تومان
کتاب ترندهای نوین در تکنیکهای توسعه جبری: بررسی WADT 2004
249,950 تومان
کتاب از الگو تا اثبات: تکنیکهای رسمیسازی الگوهای طراحی برای مهندسی نرمافزار دقیق
249,950 تومان
کتاب علم برنامهنویسی: طراحی الگوریتمهای صحیح و قابل اثبات
249,950 تومان
بدون تصویر
مقاله به سوی مدلهای هماستقرایی برای درک زبان طبیعی: پیوند یادگیری عمیق و معناشناسی عمیق به همراه PDF فارسی + پادکست صوتی فارسی + ویدیو آموزشی فارسی
249,950 تومان