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