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