國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Modern Formal Methods and Applications /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Modern Formal Methods and Applications /edited by Hossam A. Gabbar.
other author:	Gabbar, Hossam A..
Published:	Dordrecht :Springer,2006.
Description:	v.: digital
Subject:	Computer science
Online resource:	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)

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

000000005574

電子館藏

1圖書

電子書

EB QA76.9.F67 M689 2006

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Multimedia file
http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/1-4020-4223-X

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login