Fundamentals of Computation Theory: 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
2015
|
| Ausgabe: | 1st ed. 2015 |
| Schriftenreihe: | Lecture Notes in Computer Science
9210 |
| Schlagworte: | |
| Online-Zugang: | Volltext Abstract |
| Beschreibung: | 1 Online-Ressource (XIX, 395 p. 61 illus) |
| ISBN: | 9783319221779 9783319221762 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-22177-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042788328 | ||
| 003 | DE-604 | ||
| 005 | 20150903 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150901s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319221779 |c Online |9 978-3-319-22177-9 | ||
| 020 | |a 9783319221762 |c Print |9 978-3-319-22176-2 | ||
| 024 | 7 | |a 10.1007/978-3-319-22177-9 |2 doi | |
| 035 | |a (OCoLC)920800978 | ||
| 035 | |a (DE-599)BVBBV042788328 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Fundamentals of Computation Theory |b 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings |c edited by Adrian Kosowski, Igor Walukiewicz |
| 250 | |a 1st ed. 2015 | ||
| 264 | 1 | |a Cham |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (XIX, 395 p. 61 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9210 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computational complexity | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Danzig |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kosowski, Adrian |e Sonstige |0 (DE-588)104497365X |4 oth | |
| 711 | 2 | |a FCT |n 20. |d 2015 |c Danzig |j Sonstige |0 (DE-588)1075740797 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9210 |w (DE-604)BV014880109 |9 9210 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-22177-9 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218205&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028218205 | ||
Datensatz im Suchindex
| _version_ | 1804175020962873344 |
|---|---|
| adam_text | FUNDAMENTALS OF COMPUTATION THEORY
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 20TH INTERNATIONAL
SYMPOSIUM ON FUNDAMENTALS OF COMPUTATION THEORY, FCT 2015, HELD IN
GDANSK, POLAND, IN AUGUST 2015. THE 27 REVISED FULL PAPERS PRESENTED
WERE CAREFULLY REVIEWED AND SELECTED FROM 60 SUBMISSIONS. THE PAPERS
COVER TOPICS IN THREE MAIN AREAS: ALGORITHMS, FORMAL METHODS, AND
EMERGING FIELDS AND ARE ORGANIZED IN TOPICAL SECTIONS ON GEOMETRY,
COMBINATORICS, TEXT ALGORITHMS; COMPLEXITY AND BOOLEAN FUNCTIONS;
LANGUAGES; SET ALGORITHMS, COVERING, AND TRAVERSAL; GRAPH ALGORITHMS AND
NETWORKING APPLICATIONS; ANONYMITY AND INDISTINGUISHABILITY; GRAPHS,
AUTOMATA, AND DYNAMICS; AND LOGIC AND GAMES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)104497365X |
| building | Verbundindex |
| bvnumber | BV042788328 |
| classification_tum | DAT 000 DAT 500f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)920800978 (DE-599)BVBBV042788328 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-22177-9 |
| edition | 1st ed. 2015 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02626nmm a2200625zcb4500</leader><controlfield tag="001">BV042788328</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150903 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150901s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319221779</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-22177-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319221762</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-22176-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-22177-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)920800978</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042788328</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fundamentals of Computation Theory</subfield><subfield code="b">20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings</subfield><subfield code="c">edited by Adrian Kosowski, Igor Walukiewicz</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2015</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIX, 395 p. 61 illus)</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">9210</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">2015</subfield><subfield code="z">Danzig</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kosowski, Adrian</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)104497365X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FCT</subfield><subfield code="n">20.</subfield><subfield code="d">2015</subfield><subfield code="c">Danzig</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1075740797</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9210</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9210</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-22177-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218205&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028218205</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Danzig gnd-content |
| genre_facet | Konferenzschrift 2015 Danzig |
| id | DE-604.BV042788328 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:09:39Z |
| institution | BVB |
| institution_GND | (DE-588)1075740797 |
| isbn | 9783319221779 9783319221762 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028218205 |
| oclc_num | 920800978 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIX, 395 p. 61 illus) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings edited by Adrian Kosowski, Igor Walukiewicz 1st ed. 2015 Cham Springer 2015 1 Online-Ressource (XIX, 395 p. 61 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9210 0302-9743 Computer science Computer Communication Networks Software engineering Computer software Logic design Computational complexity Computer Science Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Discrete Mathematics in Computer Science Software Engineering Informatik Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Danzig gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Kosowski, Adrian Sonstige (DE-588)104497365X oth FCT 20. 2015 Danzig Sonstige (DE-588)1075740797 oth Lecture Notes in Computer Science 9210 (DE-604)BV014880109 9210 https://doi.org/10.1007/978-3-319-22177-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218205&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings Lecture Notes in Computer Science Computer science Computer Communication Networks Software engineering Computer software Logic design Computational complexity Computer Science Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Discrete Mathematics in Computer Science Software Engineering Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings |
| title_auth | Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings |
| title_exact_search | Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings |
| title_full | Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings edited by Adrian Kosowski, Igor Walukiewicz |
| title_fullStr | Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings edited by Adrian Kosowski, Igor Walukiewicz |
| title_full_unstemmed | Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings edited by Adrian Kosowski, Igor Walukiewicz |
| title_short | Fundamentals of Computation Theory |
| title_sort | fundamentals of computation theory 20th international symposium fct 2015 gdansk poland august 17 19 2015 proceedings |
| title_sub | 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings |
| topic | Computer science Computer Communication Networks Software engineering Computer software Logic design Computational complexity Computer Science Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Discrete Mathematics in Computer Science Software Engineering Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Computer science Computer Communication Networks Software engineering Computer software Logic design Computational complexity Computer Science Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Discrete Mathematics in Computer Science Software Engineering Informatik Theoretische Informatik Konferenzschrift 2015 Danzig |
| url | https://doi.org/10.1007/978-3-319-22177-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218205&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT kosowskiadrian fundamentalsofcomputationtheory20thinternationalsymposiumfct2015gdanskpolandaugust17192015proceedings AT fctdanzig fundamentalsofcomputationtheory20thinternationalsymposiumfct2015gdanskpolandaugust17192015proceedings |