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
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture Notes in Computer Science
5827 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 1 Online-Ressource (VIII, 367 S.) |
| ISBN: | 9783642046391 |
| DOI: | 10.1007/978-3-642-04639-1 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035826543 | ||
| 003 | DE-604 | ||
| 005 | 20100915 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 091113s2009 xx o|||| 10||| eng d | ||
| 020 | |a 9783642046391 |c Online |9 978-3-642-04639-1 | ||
| 024 | 7 | |a 10.1007/978-3-642-04639-1 |2 doi | |
| 035 | |a (OCoLC)730084930 | ||
| 035 | |a (DE-599)BVBBV035826543 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-19 |a DE-91 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-706 |a DE-634 |a DE-355 | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Relations and Kleene Algebra in Computer Science |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 1-5, 2009, Proceedings |c Rudolf Berghammer ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a 1 Online-Ressource (VIII, 367 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5827 | |
| 650 | 0 | 7 | |a Kleene-Algebra |0 (DE-588)4785751-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Relationenalgebra |0 (DE-588)4206494-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Doha |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Relationenalgebra |0 (DE-588)4206494-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | 1 | |a Kleene-Algebra |0 (DE-588)4785751-1 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Berghammer, Rudolf |d 1952- |e Sonstige |0 (DE-588)139235965 |4 oth | |
| 711 | 2 | |a International Conference on Relational Methods in Computer Science |n 11 |d 2009 |c Doha |j Sonstige |0 (DE-588)16024560-6 |4 oth | |
| 711 | 2 | |a International Conference on Applications of Kleene Algebra |n 6. |d 2009 |c Doha |j Sonstige |0 (DE-588)6104916-5 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-642-04638-4 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5827 |w (DE-604)BV014880109 |9 5827 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-04639-1 |x Verlag |3 Volltext |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q UBR Paketkauf 2024 | |
| 940 | 1 | |q ZDB-2-SCS_2009 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018685175 | |
Datensatz im Suchindex
| _version_ | 1821319943107379200 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)139235965 |
| building | Verbundindex |
| bvnumber | BV035826543 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 540f DAT 000 |
| collection | ZDB-2-LNC ZDB-2-SCS |
| ctrlnum | (OCoLC)730084930 (DE-599)BVBBV035826543 |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-04639-1 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035826543</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100915</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">091113s2009 xx o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642046391</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-04639-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-04639-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)730084930</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035826543</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Relations and Kleene Algebra in Computer Science</subfield><subfield code="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 1-5, 2009, Proceedings</subfield><subfield code="c">Rudolf Berghammer ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 367 S.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">5827</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kleene-Algebra</subfield><subfield code="0">(DE-588)4785751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</subfield><subfield code="z">Doha</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Kleene-Algebra</subfield><subfield code="0">(DE-588)4785751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Berghammer, Rudolf</subfield><subfield code="d">1952-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)139235965</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Relational Methods in Computer Science</subfield><subfield code="n">11</subfield><subfield code="d">2009</subfield><subfield code="c">Doha</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16024560-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Applications of Kleene Algebra</subfield><subfield code="n">6.</subfield><subfield code="d">2009</subfield><subfield code="c">Doha</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6104916-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-04638-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">5827</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">5827</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-04639-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBR Paketkauf 2024</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2009</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018685175</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Doha gnd-content |
| genre_facet | Konferenzschrift 2009 Doha |
| id | DE-604.BV035826543 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-15T13:00:51Z |
| institution | BVB |
| institution_GND | (DE-588)16024560-6 (DE-588)6104916-5 |
| isbn | 9783642046391 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018685175 |
| oclc_num | 730084930 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-703 DE-706 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-703 DE-706 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (VIII, 367 S.) |
| psigel | ZDB-2-LNC ZDB-2-SCS UBR Paketkauf 2024 ZDB-2-SCS_2009 |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | 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 Rudolf Berghammer ... (eds.) Berlin [u.a.] Springer 2009 1 Online-Ressource (VIII, 367 S.) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 5827 Kleene-Algebra (DE-588)4785751-1 gnd rswk-swf Relationenalgebra (DE-588)4206494-6 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Doha gnd-content Informatik (DE-588)4026894-9 s Relationenalgebra (DE-588)4206494-6 s 1\p DE-604 Kleene-Algebra (DE-588)4785751-1 s 2\p DE-604 Berghammer, Rudolf 1952- Sonstige (DE-588)139235965 oth International Conference on Relational Methods in Computer Science 11 2009 Doha Sonstige (DE-588)16024560-6 oth International Conference on Applications of Kleene Algebra 6. 2009 Doha Sonstige (DE-588)6104916-5 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-04638-4 Lecture Notes in Computer Science 5827 (DE-604)BV014880109 5827 https://doi.org/10.1007/978-3-642-04639-1 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | 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 Lecture Notes in Computer Science Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4785751-1 (DE-588)4206494-6 (DE-588)4026894-9 (DE-588)1071861417 |
| title | 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 |
| title_auth | 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 |
| title_exact_search | 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 |
| title_full | 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 Rudolf Berghammer ... (eds.) |
| title_fullStr | 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 Rudolf Berghammer ... (eds.) |
| title_full_unstemmed | 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 Rudolf Berghammer ... (eds.) |
| title_short | Relations and Kleene Algebra in Computer Science |
| title_sort | 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 |
| title_sub | 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 |
| topic | Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Kleene-Algebra Relationenalgebra Informatik Konferenzschrift 2009 Doha |
| url | https://doi.org/10.1007/978-3-642-04639-1 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT berghammerrudolf relationsandkleenealgebraincomputerscience11thinternationalconferenceonrelationalmethodsincomputersciencerelmics2009and6thinternationalconferenceonapplicationsofkleenealgebraaka2009dohaqatarnovember152009proceedings AT internationalconferenceonrelationalmethodsincomputersciencedoha relationsandkleenealgebraincomputerscience11thinternationalconferenceonrelationalmethodsincomputersciencerelmics2009and6thinternationalconferenceonapplicationsofkleenealgebraaka2009dohaqatarnovember152009proceedings AT internationalconferenceonapplicationsofkleenealgebradoha relationsandkleenealgebraincomputerscience11thinternationalconferenceonrelationalmethodsincomputersciencerelmics2009and6thinternationalconferenceonapplicationsofkleenealgebraaka2009dohaqatarnovember152009proceedings |