國立虎尾科技大學 |

Language: English

Back

Relations and kleene algebra in comp...

Jaoua, Ali Mohamed.

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 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Relations and kleene algebra in computer science/ edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller.
Reminder of title:	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 /
remainder title:	Relational methods in computer science.
other author:	Berghammer, Rudolf.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg, : 2009.,
Description:	viii, 365 p. :ill., digital ; : 24 cm.;
Series:	Lecture notes in computer science,
Contained By:	Springer eBooks
Subject:	Relation algebras - Congresses. -
Online resource:	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)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library