Catalog

Record Details

Catalog Search


Back To Results
Showing Item 5 of 215

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 1-5, 2009. Proceedings  Cover Image E-book E-book

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 1-5, 2009. Proceedings

Record details

  • ISBN: 9783642046391
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Subject: Computer science
Logic design
Computational complexity
Algebra Data processing
Algebra
Computer Science
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Algebra
Order, Lattices, Ordered Algebraic Structures

Electronic resources


LDR 02136nam a22005055i 4500
00138217
003CONS
00520131219152550.0
007cr nn 008mamaa
008100301s2009 gw | s |||| 0|eng d
020 . ‡a9783642046391 ‡9978-3-642-04639-1
0247 . ‡a10.1007/978-3-642-04639-1 ‡2doi
035 . ‡a(DE-He213)978-3-642-04639-1
050 4. ‡aQA8.9-QA10.3
072 7. ‡aUYA ‡2bicssc
072 7. ‡aMAT018000 ‡2bisacsh
072 7. ‡aCOM051010 ‡2bisacsh
1001 . ‡aBerghammer, Rudolf. ‡eeditor.
24510. ‡aRelations and Kleene Algebra in Computer Science ‡h[electronic resource] : ‡b11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings / ‡cedited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2009.
300 . ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5827
650 0. ‡aComputer science.
650 0. ‡aLogic design.
650 0. ‡aComputational complexity.
650 0. ‡aAlgebra ‡xData processing.
650 0. ‡aAlgebra.
65014. ‡aComputer Science.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aSymbolic and Algebraic Manipulation.
65024. ‡aDiscrete Mathematics in Computer Science.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aAlgebra.
65024. ‡aOrder, Lattices, Ordered Algebraic Structures.
7001 . ‡aJaoua, Ali Mohamed. ‡eeditor.
7001 . ‡aMöller, Bernhard. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642046384
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5827
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-04639-1 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a38217 ‡b ‡c38217 ‡tbiblio ‡sSystem Local
Back To Results
Showing Item 5 of 215

Additional Resources