國立虎尾科技大學 |

Relations and kleene algebra in computer science = 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 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Relations and kleene algebra in computer science/ edited 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.
其他作者:	Berghammer, Rudolf.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg, : 2009.,
面頁冊數:	viii, 365 p. :ill., digital ; : 24 cm.;
叢書名:	Lecture notes in computer science,
Contained By:	Springer eBooks
標題:	Relation algebras - Congresses. -
電子資源:	http://dx.doi.org/10.1007/978-3-642-04639-1
ISBN:	9783642046391 (electronic bk.)

Relations and kleene algebra in computer science = 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 /
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:

792458
Relation algebras
--Congresses.

LC Class. No.: QA10 / .I584 2009

Dewey Class. No.: 004.0151

Relations and kleene algebra in computer science = 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 /
LDR:01269nam 2200301 a 4500 001 680530
003 Springer
005 20100316171203.0
006 m d
007 cr nn 008maaau
008 111109s2009 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 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
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 792458
650 0 $a Algebraic logic $v Congresses. $3 792459
650 0 $a Computer science $x Mathematics $v Congresses. $3 528619
650 2 4 $a Discrete Mathematics in Computer Science. $3 670123
650 2 4 $a Symbolic and Algebraic Manipulation. $3 669944
650 2 4 $a Order, Lattices, Ordered Algebraic Structures. $3 670104
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Algebra. $2 gtt $3 579870
700 1 $a Berghammer, Rudolf. $3 792455
700 1 $a Moller, Bernhard. $3 792456
700 1 $a Jaoua, Ali Mohamed. $3 792457
710 2 $a SpringerLink (Online service) $3 593884
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)