國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Relations and kleene algebra in comp...

(1998 :)

Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Relations and kleene algebra in computer scienceedited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller.
其他題名:	11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /
其他題名:	Relational methods in computer science.
其他作者:	Moller, Bernhard.
團體作者:
出版者:	Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2009.
面頁冊數:	viii, 365 p. :ill., digital ;24 cm.
叢書名:	Lecture notes in computer science,
Contained By:	Springer eBooks
標題:	Relation algebrasCongresses.
電子資源:	http://dx.doi.org/10.1007/978-3-642-04639-1
ISBN:	9783642046391 (electronic bk.)

Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /
Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /[electronic resource] :Relational methods in computer science.edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2009. - viii, 365 p. :ill., digital ;24 cm. - Lecture notes in computer science,58270302-9743 ;.

ISBN: 9783642046391 (electronic bk.)Subjects--Topical Terms:

384460
Relation algebras
--Congresses.

LC Class. No.: QA10 / .I584 2009

Dewey Class. No.: 004.0151

Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /
LDR:01269nmm 2200301 a 4500 001 240380
003 Springer
005 20100316171203.0
006 m d
007 cr nn 008maaau
008 100410s2009 gw j eng d
020 $a 9783642046391 (electronic bk.)
020 $a 9783642046384 (paper)
035 $a 978-3-642-04638-4
050 0 4 $a QA10 $b .I584 2009
082 0 4 $a 004.0151 $2 22
090 $a QA10 $b .I61 2009
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Relations and kleene algebra in computer science $h [electronic resource] : $b 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / $c edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller.
246 3 0 $a Relational methods in computer science.
246 3 0 $a Applications of Kleene algebra.
246 3 0 $a Kleene algebra.
246 3 0 $a Relmics 2009.
246 3 0 $a AKA 2009.
260 $a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2009.
300 $a viii, 365 p. : $b ill., digital ; $c 24 cm.
440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 5827
650 0 $a Relation algebras $v Congresses. $3 384460
650 0 $a Algebraic logic $v Congresses. $3 384461
650 0 $a Computer science $x Mathematics $3 253427
650 2 4 $a Discrete Mathematics in Computer Science. $3 274791
650 2 4 $a Symbolic and Algebraic Manipulation. $3 273720
650 2 4 $a Order, Lattices, Ordered Algebraic Structures. $3 275673
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Algebra. $3 188312
700 1 $a Moller, Bernhard. $3 384458
700 1 $a Jaoua, Ali Mohamed. $3 384459
700 1 $a Berghammer, Rudolf. $3 384457
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-3-642-04639-1
950 $a Computer Science (Springer-11645)