نظریات و کاربردها در زبان‌های برنامه‌نویسی

poster
پیش‌نمایش دوره

این برنامه که دومین مدرسه‌ی پیشرفته پژوهشگاه دانش‌های بنیادی در زمینه کامپیوتر می‌باشد، از تاریخ 96/06/05 به مدت 4 روز برگزار گردید و شامل ارائه 4تن از اساتید به نام این زمینه می‌باشد. ... ادامه

مدرسان دوره
Jakob Rehof
Krzysztof R. Apt
فرهاد ارباب
فرهاد ارباب
محمدرضا موسوی
محمدرضا موسوی
 همایش
  
زمان مورد نیاز برای گذراندن دوره:  16 سخنرانی
مجموع محتوای آموزشی:  22 ساعت ویدئو
 (قابل دانلود می‌باشد)

سرفصل‌های دوره نظریات و کاربردها در زبان‌های برنامه‌نویسی

سخنرانی‌ها
  Computing and Reasoning about Social Networks 2
مشاهده
"73:05  
  Computing and Reasoning about Social Networks 4
مشاهده
"89:03  
  Model-Based Testing: From Theory to Practice and Back 1
مشاهده
"86:36  
  Model-Based Testing: From Theory to Practice and Back 2
"78:24  
  Model-Based Testing: From Theory to Practice and Back 3
"83:12  
  Model-Based Testing: From Theory to Practice and Back 4
"66:27  
  Interaction by Composition 1
"86:50  
  Interaction by Composition 2
"68:32  
  Interaction by Composition 3
"89:58  
  Interaction by Composition 4
"72:33  
  Type-Based Synthesis and the Inhabitation Problem 1
"88:13  
  Type-Based Synthesis and the Inhabitation Problem 2
"95:37  
  Type-Based Synthesis and the Inhabitation Problem 3
"85:23  
  Type-Based Synthesis and the Inhabitation Problem 4
"87:51  
  Computing and Reasoning about Social Networks 1
"93:49  
  Computing and Reasoning about Social Networks 3
"102:39  

درباره دوره

این برنامه که دومین مدرسه‌ی پیشرفته پژوهشگاه دانش‌های بنیادی در زمینه کامپیوتر می‌باشد، از تاریخ 96/06/05 به مدت 4 روز برگزار گردید و شامل ارائه 4تن از اساتید به نام این زمینه می‌باشد.

درباره استاد

Jakob Rehof
Krzysztof R. Apt
maktabkhooneh-teacher فرهاد ارباب
maktabkhooneh-teacher محمدرضا موسوی
.

نظرات کاربران

تا کنون نظری برای این دوره ثبت نشده است. برای ثبت نظر باید ابتدا در دوره ثبت نام کرده و دانشجوی دوره باشید.

دوره‌های پیشنهادی

سوالات پرتکرار

آیا ممکن است که همایشی ناقص ضبط شده باشد؟
ما همواره تلاش کرده­‌ایم که همایش‌ها را به طور کامل ضبط نماییم و در اختیار شما دوستان قرار دهیم. اما گاهی برخی ناهماهنگی ها سبب می شود که یک یا تعدادی از جلسات یک همایش ضبط نشود. توضیح این گونه نواقص در توضیح همایش‌ها آمده است.

سوالات پرتکرار

اگر لینک دانلود یا پخش ویدئو مشکل داشت چه باید کرد؟
در صورتی که با هر گونه مشکلی رو به رو شدید می توانید از طریق صفحه ارتباط با ما به ما اطلاع دهید تا ما سریعا مشکل را پیگیری و برطرف نماییم.

سوالات پرتکرار

آیا امکان دریافت فیلم های یک همایش به صورت سی دی یا دی وی دی وجود دارد؟
در حال حاضر امکان ارسال همایش‌ها به صورت سی دی یا دی وی دی وجود ندارد.
poster
پیش‌نمایش دوره
  
  
زمان مورد نیاز برای گذراندن دوره:  16 سخنرانی
مجموع محتوای آموزشی:  22 ساعت ویدئو
 (قابل دانلود می‌باشد)