|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"wu k n"
Showing items 1-5 of 5 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
2020-07-10T08:16:27Z |
Constructing a metrics for blur perception with blur discrimination experiments
|
Chen, C.-C.; Chen, K.-P.; Tseng, C.-H.; Kuo, S.-T.; Wu, K.-N.; Chen, C.-C.; Chen, K.-P.; Tseng, C.-H.; Kuo, S.-T.; Wu, K.-N.; CHIEN-CHUNG CHEN |
| 臺大學術典藏 |
2018-09-10T07:28:16Z |
Tool support for learning Büchi automata and linear temporal logic
|
Tsay, Y.-K.;Chen, Y.-F.;Tsai, M.-H.;Wu, K.-N.;Chan, W.-C.;Luo, C.-J.;Chang, J.-S.; Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; Luo, C.-J.; Chang, J.-S.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T06:21:51Z |
GOAL: A graphical tool for manipulating Büchi automata and temporal formulae
|
Tsay, Y.-K.;Chen, Y.-F.;Tsai, M.-H.;Wu, K.-N.;Chan, W.-C.; Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; YIH-KUEN TSAY |
| 國立臺灣大學 |
2009-05 |
Tool Support for Learning Buchi Automata and Linear Temporal Logic
|
Tsay, Y. -K.; Chen, Y. -F.; Tsai, M. -H.; Wu, K. -N.; Chan, W. -C.; Luo, C. -J.; Chang, J. -S. |
| 國立臺灣大學 |
1996 |
An Adaptive Control of a Four-Track Maglev System
|
Wu, K.-N.; 傅立成; Wu, K.-N.; Fu, L.-C |
Showing items 1-5 of 5 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
