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



Krzysztof R. Apt
+ 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تن از اساتید به نام این زمینه میباشد.
اطلاعات بیشتر
درباره استاد
Krzysztof R. Apt
1 دوره
398 دانشجو
اطلاعات بیشتر

محمدرضا موسوی
1 دوره
398 دانشجو
.
اطلاعات بیشتر

فرهاد ارباب
1 دوره
398 دانشجو
اطلاعات بیشتر
Jakob Rehof
1 دوره
398 دانشجو
اطلاعات بیشتر
سوالات پرتکرار
آیا ممکن است که همایشی ناقص ضبط شده باشد؟
سوالات پرتکرار
اگر لینک دانلود یا پخش ویدئو مشکل داشت چه باید کرد؟
سوالات پرتکرار
آیا امکان دریافت فیلم های یک همایش به صورت سی دی یا دی وی دی وجود دارد؟