國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Modern Formal Methods and Applications /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Modern Formal Methods and Applications /edited by Hossam A. Gabbar.
其他作者:	Gabbar, Hossam A..
出版者:	Dordrecht :Springer,2006.
面頁冊數:	v.: digital
標題:	Computer science
電子資源:	http://dx.doi.org/10.1007/1-4020-4223-X
ISBN:	9781402042225 (paper)

Modern Formal Methods and Applications /
Modern Formal Methods and Applications /[electronic resource] /edited by Hossam A. Gabbar. - Dordrecht :Springer,2006. - v.: digital

ISBN: 9781402042225 (paper)Subjects--Topical Terms:

252805
Computer science

LC Class. No.: QA76.9.F67 / M63 2006

Dewey Class. No.: 005.13/1

Modern Formal Methods and Applications /
LDR:00782nmm _22002175a_450 001 178015
003 Springer
005 20070817115840.0
006 m e
007 cr nn 008mamaa
008 090528s2006 ne j eng d
020 $a 9781402042225 (paper)
020 $a 9781402042232 (electronic bk.)
035 $a 00286927
050 0 0 $a QA76.9.F67 $b M63 2006
082 0 0 $2 22 $a 005.13/1
090 $a QA76.9.F67 $b M689 2006
245 0 0 $a Modern Formal Methods and Applications / $c edited by Hossam A. Gabbar. $h [electronic resource] /
260 # $a Dordrecht : $c 2006. $b Springer,
300 $b v.: digital
650 # 0 $a Computer science $3 252805
650 # 0 $a Chemistry $x Mathematics $3 254662
650 # 0 $a Chemistry $3 236337
650 # 0 $a Logics and Meanings of Programs $3 253766
650 # 0 $a Mathematical Logic and Formal Languages $3 253767
650 # 0 $a Models and Principles $3 253550
650 # 0 $a Math. Applications in Chemistry $3 254663
650 # 0 $a Computational Science and Engineering $3 252809
650 # 0 $a Logic design $3 253765
700 0 # $a Gabbar, Hossam A.. $3 259812
856 4 0 $u http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/1-4020-4223-X $z http://dx.doi.org/10.1007/1-4020-4223-X
950 $a Chemistry and Materials Science (Springer-11644; ZDB-2-CMS)

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

館藏流通類別

000000005574

電子館藏

1圖書

電子書

EB QA76.9.F67 M689 2006

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

多媒體

多媒體檔案
http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/1-4020-4223-X

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入