臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

About TAIR
	About TAIR

Browse By
	Institution
	Author
	Title
	Date
	Statistics Chart
	Institution Facts
	Trend

News
	2019臺灣學術機構典藏研討會
	機構典藏系統RC7版本已發佈

Copyright
	Publisher & Journal Policy
	TAIR Copyright Conference Minutes

Related Links
	機構典藏計畫網站
	ROAR
	OpenDOAR
	SHERPA
	OAIster
	JAIRO
	Ira
	DSPACE
	RWWR
	臺大學術典藏NTU Scholars

Jump to: [ Chinese Items ] [ 0-9 ] [ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z ]

or enter the first few letters:

Showing items 435301-435310 of 2347856 (234786 Page(s) Totally)
<< < 43526 43527 43528 43529 43530 43531 43532 43533 43534 43535 > >>
View [10|25|50] records per page

Institution	Date	Title	Author
亞洲大學	2008	Formal Modeling and Analysis of Secure Mobile Agent Systems	蔡進發;Jeffrey, J.P.Tsai
臺大學術典藏	2018-09-10T08:14:42Z	Formal modeling and verification for Network-on-chip	Chen, Y.-R.;Su, W.-T.;Hsiung, P.-A.;Lan, Y.-C.;Hu, Y.-H.;Chen, S.-J.; Chen, Y.-R.; Su, W.-T.; Hsiung, P.-A.; Lan, Y.-C.; Hu, Y.-H.; Chen, S.-J.; SAO-JIE CHEN
亞洲大學	2008-01	Formal Modelling and Analysis of a Secure Mobile Agent System	Jeffrey J. P. Tsai;L. Ma
國立中山大學	1995-10	Formal reasoning in intelligent database systems	Shie-Jue Lee
臺大學術典藏	2018-09-10T08:46:23Z	Formal Reset Recovery Slack Calculation at the Register Transfer Level	C. N. Chung; C. W. Chang; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-06-29T12:48:05Z	Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL	Mok, A. K.; Emerson, E. A.; Wang, Farn; 王凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Emerson, E. A.
國立臺灣大學	1992-05	Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL	王凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A.
淡江大學	1995	Formal specification and verification in Z for syncchronous concurrent compution	Lin, Fuyau;施國琛; Shih, Timothy K.
亞洲大學	1995-04	Formal Specification and Verification in Z for Synchronous Concurrent Computation	Fuyau Lin ; Timothy K. Shih
亞洲大學	1998	Formal Specification in Software Reuse Designs: an Object-Oriented Database Example	Huan-Chao Keh ; Timothy K. Shih

Showing items 435301-435310 of 2347856 (234786 Page(s) Totally)
<< < 43526 43527 43528 43529 43530 43531 43532 43533 43534 43535 > >>
View [10|25|50] records per page

	English \| 正體中文 \| 简体中文 \| Total items :0
	Visitors : 51407092 Online Users : 988 Project Commissioned by the Ministry of Education Project Executed by National Taiwan University Library