نظریات و کاربردها در زبانهای برنامهنویسی
این برنامه که دومین مدرسه‌ی پیشرفته پژوهشگاه دانش‌های بنیادی در زمینه کامپیوتر می‌باشد، از تاریخ 96/06/05 به مدت 4 روز برگزار گردید و شامل ارائه 4تن از اساتید به نام این زمینه می‌باشد. ... بیشتر
381 دانشجو
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 دوره
381 دانشجو
اطلاعات بیشتر
Krzysztof R. Apt
1 دوره
381 دانشجو
اطلاعات بیشتر
فرهاد ارباب
1 دوره
381 دانشجو
اطلاعات بیشتر
محمدرضا موسوی
1 دوره
381 دانشجو
.
اطلاعات بیشتر
سوالات پرتکرار
آیا ممکن است که همایشی ناقص ضبط شده باشد؟
سوالات پرتکرار
اگر لینک دانلود یا پخش ویدئو مشکل داشت چه باید کرد؟
سوالات پرتکرار
آیا امکان دریافت فیلم های یک همایش به صورت سی دی یا دی وی دی وجود دارد؟