|
English
|
正體中文
|
简体中文
|
2856704
|
|
???header.visitor??? :
53710840
???header.onlineuser??? :
923
???header.sponsordeclaration???
|
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"yu fang"???jsp.browse.items-by-author.description???
Showing items 61-64 of 64 (3 Page(s) Totally)
<< < 1 2 3
View [10|25|50] records per page
| 國立臺灣大學 |
2005 |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 臺大學術典藏 |
2005 |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang; Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 國立臺灣大學 |
2004 |
BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction
|
Wang, Farn; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-Yaw |
| 臺大學術典藏 |
2004 |
BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction
|
Wang, Farn; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-Yaw; Wang, Farn; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-Yaw |
Showing items 61-64 of 64 (3 Page(s) Totally)
<< < 1 2 3
View [10|25|50] records per page
|
