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