語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

跳至 : 概要 | 書目資訊 | 主題

FORTE 2008 ((2008 :)

概要

作品:	1 作品在 0 項出版品 0 種語言

書目資訊

Formal techniques for networked and distributed systems--FORTE 2008 = 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings / by: Suzuki, Kenji, (Dr. Eng.); SpringerLink (Online service); FORTE 2008 ((2008 :) (書目-語言資料,印刷品)

主題

Computer network protocols Software Engineering. Logics and Meanings of Programs. Operating Systems. Formal methods (Computer science) Electronic data processing- Distributed processing Computer Science. Computer Communication Networks.

變更密碼

登入