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

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

372 دانشجو
پژوهشگاه دانش های بنیادی

Jakob Rehof

+ 3 مدرس دیگر

محتوای دوره
درباره دوره
درباره استاد

محتوای دوره

1 فصل 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
1 دوره
372 دانشجو

اطلاعات بیشتر

Krzysztof R. Apt
1 دوره
372 دانشجو

اطلاعات بیشتر

فرهاد ارباب
1 دوره
372 دانشجو

اطلاعات بیشتر

محمدرضا موسوی
1 دوره
372 دانشجو
.

اطلاعات بیشتر

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

آیا ممکن است که همایشی ناقص ضبط شده باشد؟

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

اگر لینک دانلود یا پخش ویدئو مشکل داشت چه باید کرد؟

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

آیا امکان دریافت فیلم های یک همایش به صورت سی دی یا دی وی دی وجود دارد؟

در حال حاضر امکان ارسال همایش‌ها به صورت سی دی یا دی وی دی وجود ندارد.