175 |
|
[2017-10-10] SRE 실험실 & OMiLAB Korea 연구 센터: 석사/박사 과정 후보생 모집
|
moonkun |
2017-10-10 |
1002 |
|
174 |
|
[2017-09-18] [OKRC/PP] ER2017/AHA2017: Final, Camera-Ready
|
moonkun |
2017-09-23 |
1187 |
|
173 |
|
[2017-08-11] [Book] Formal Methods (published by CBNU Press)
|
moonkun |
2017-09-14 |
1420 |
|
172 |
|
[2017-08-11] PoEM2017/PrOse2017 (Submitted)
|
moonkun |
2017-08-11 |
1844 |
|
171 |
|
[2017-08-04] Formal Method [V0.2] (To be published in September by CBNU Press)
3
|
moonkun |
2017-08-04 |
2277 |
|
170 |
|
[2017-07-27] BOC, Austria: ADONIS/ADOxx Training: Closing [Thur]
1
|
moonkun |
2017-07-28 |
37014 |
|
169 |
|
[2017-07-28] NEMO2017, The University of Vienna, Austria: Day 10 - Closing [Fri]
2
|
moonkun |
2017-07-28 |
22041 |
|
168 |
|
[2017-07-27] NEMO2017, The University of Vienna, Austria: Day 9 [Thur]
|
moonkun |
2017-07-28 |
2149 |
|
167 |
|
[2017-07-26] NEMO2017, The University of Vienna, Austria: Exercise
1
|
moonkun |
2017-07-27 |
2003 |
|
166 |
|
[2017-07-26] NEMO2017, The University of Vienna, Austria: Lecture
1
|
moonkun |
2017-07-27 |
2184 |
|
165 |
|
[2017-07-26] NEMO2017, The University of Vienna, Austria: Day 8 [Wed]
1
|
moonkun |
2017-07-27 |
2140 |
|
164 |
|
[2017-07-25] NEMO2017, The University of Vienna, Austria: Day 7 [Tue]
|
moonkun |
2017-07-26 |
2260 |
|
163 |
|
[2017-07-24] NEMO2017, The University of Vienna, Austria: Day 6 [Mon]
|
moonkun |
2017-07-25 |
1976 |
|
162 |
|
[2017-07-21] NEMO2017, The University of Vienna, Austria: Day 5 [Fri]
|
moonkun |
2017-07-24 |
2211 |
|
161 |
|
[2017-07-20] NEMO2017, The University of Vienna, Austria: Day 4 [Thur]
1
|
moonkun |
2017-07-21 |
2153 |
|
160 |
|
[2017-07-19] NEMO2017, The University of Vienna, Austria: Day 3 [Wed]
2
|
moonkun |
2017-07-20 |
2333 |
|
159 |
|
[2017-07-18] NEMO2017, The University of Vienna, Austria: Day 2 [Tue]
1
|
moonkun |
2017-07-19 |
2385 |
|
158 |
|
[2017-07-17] NEMO2017, The University of Vienna, Austria: Day 1 - Opening [Mon]
|
moonkun |
2017-07-18 |
2728 |
|
157 |
|
[2017-07-14] ICServ2017, Vienna, Austria: Closing
1
|
moonkun |
2017-07-15 |
2319 |
|
156 |
|
[2017-07-14] ICServ2017, Vienna, Austria: Workshop
2
|
moonkun |
2017-07-14 |
2441 |
|