Computer science - theory and applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
9139 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XX, 443 p. 66 illus) |
| ISBN: | 9783319202976 9783319202969 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-20297-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042669578 | ||
| 003 | DE-604 | ||
| 005 | 20150709 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150703s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319202976 |c Online |9 978-3-319-20297-6 | ||
| 020 | |a 9783319202969 |c Print |9 978-3-319-20296-9 | ||
| 024 | 7 | |a 10.1007/978-3-319-20297-6 |2 doi | |
| 035 | |a (OCoLC)913011391 | ||
| 035 | |a (DE-599)BVBBV042669578 | ||
| 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 001f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Computer science - theory and applications |b 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings |c edited by Lev D. Beklemishev, Daniil V. Musatov |
| 264 | 1 | |a Cham |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (XX, 443 p. 66 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 9139 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Electronic data processing | |
| 650 | 4 | |a Computational complexity | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Numeric Computing | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Datenverarbeitung | |
| 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 Listvjanka |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Beklemishev, Lev D. |d 1967- |e Sonstige |0 (DE-588)1024952835 |4 oth | |
| 711 | 2 | |a CSR |n 10. |d 2015 |c Listvjanka |j Sonstige |0 (DE-588)1073554783 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9139 |w (DE-604)BV014880109 |9 9139 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-20297-6 |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=028101661&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 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=028101661&sequence=000003&line_number=0002&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-028101661 | ||
Datensatz im Suchindex
| _version_ | 1804174859183325184 |
|---|---|
| adam_text | COMPUTER SCIENCE -- THEORY AND APPLICATIONS
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PROPOSITIONAL PROOFS IN FREGE AND EXTENDED FREGE SYSTEMS
CIRCUIT COMPLEXITY MEETS ONTOLOGY-BASED DATA ACCESS
NEXP-COMPLETENESS AND UNIVERSAL HARDNESS RESULTS FOR JUSTIFICATION LOGIC
A COMBINATORIAL ALGORITHM FOR THE PLANAR MULTI FLOW PROBLEM WITH DEMANDS
LOCATED ON THREE HOLES
GENERALIZED LR PARSING FOR GRAMMARS WITH CONTEXTS
ON COMPILING STRUCTURED CNFS TO OBDDS
SATISFIABILITY OF ECTL* WITH TREE CONSTRAINTS
ON GROWTH AND FLUCTUATION OF K-ABELIAN COMPLEXITY
A POLYNOMIAL-TIME ALGORITHM FOR OUTERPLANAR DIAMETER IMPROVEMENT
EDITING TO A PLANAR GRAPH OF GIVEN DEGREES
ON THE SATISFIABILITY OF QUANTUM CIRCUITS OF SMALL TREEWIDTH
EQUATIONS OVER FREE INVERSE MONOIDS WITH IDEMPOTENT VARIABLES
A LOGICAL CHARACTERIZATION OF TIMED PUSHDOWN LANGUAGES
AN IN-PLACE PRIORITY QUEUE WITH O(1) TIME FOR PUSH AND LG N + O(1)
COMPARISONS FOR POP
RESOLUTION COMPLEXITY OF PERFECT MATCHING PRINCIPLES FOR SPARSE GRAPHS
OPERATIONS ON SELF-VERIFYING FINITE AUTOMATA
AUTOMATH TYPE INCLUSION IN BARENDREGT’S CUBE
CIRCUIT LOWER BOUNDS FOR AVERAGE-CASE MA
MAKING RANDOMNESS PUBLIC IN UNBOUNDED-ROUND INFORMATION COMPLEXITY
FIRST-ORDER LOGIC DEFINABILITY OF FREE LANGUAGES
REPRESENTATION OF (LEFT) IDEAL REGULAR LANGUAGES BY SYNCHRONIZING
AUTOMATA
SOME PROPERTIES OF ANTISTOCHASTIC STRINGS
APPROXIMATION AND EXACT ALGORITHMS FOR SPECIAL CASES OF CONNECTED
F-FACTORS
REWRITING HIGHER-ORDER STACK TREES
INTERACTING WITH MODAL LOGICS IN THE COQ PROOF ASSISTANT
DELAY GAMES WITH WMSOTHU WINNING CONDITIONS
ASYMPTOTICALLY PRECISE RANKING FUNCTIONS FOR DETERMINISTIC SIZE-CHANGE
SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
COMPUTER SCIENCE -- THEORY AND APPLICATIONS
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 10TH INTERNATIONAL COMPUTER
SCIENCE SYMPOSIUM IN RUSSIA, CSR 2015, HELD IN LISTVYANKA, RUSSIA, IN
JULY 2015. THE 25 FULL PAPERS PRESENTED IN THIS VOLUME WERE CAREFULLY
REVIEWED AND SELECTED FROM 61 SUBMISSIONS. IN ADDITION THE BOOK CONTAINS
4 INVITED LECTURES. THE SCOPE OF THE PROPOSED TOPICS IS QUITE BROAD AND
COVERS A WIDE RANGE OF AREAS IN THEORETICAL COMPUTER SCIENCE AND ITS
APPLICATIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)1024952835 |
| building | Verbundindex |
| bvnumber | BV042669578 |
| classification_tum | DAT 001f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)913011391 (DE-599)BVBBV042669578 |
| 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-20297-6 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03003nmm a2200649zcb4500</leader><controlfield tag="001">BV042669578</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150709 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150703s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319202976</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-20297-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319202969</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-20296-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-20297-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)913011391</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042669578</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 001f</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">Computer science - theory and applications</subfield><subfield code="b">10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings</subfield><subfield code="c">edited by Lev D. Beklemishev, Daniil V. Musatov</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 (XX, 443 p. 66 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">9139</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 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">Electronic data processing</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">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numeric Computing</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">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</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">Listvjanka</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">Beklemishev, Lev D.</subfield><subfield code="d">1967-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1024952835</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CSR</subfield><subfield code="n">10.</subfield><subfield code="d">2015</subfield><subfield code="c">Listvjanka</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1073554783</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">9139</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9139</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-20297-6</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=028101661&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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=028101661&sequence=000003&line_number=0002&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-028101661</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Listvjanka gnd-content |
| genre_facet | Konferenzschrift 2015 Listvjanka |
| id | DE-604.BV042669578 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:07:05Z |
| institution | BVB |
| institution_GND | (DE-588)1073554783 |
| isbn | 9783319202976 9783319202969 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028101661 |
| oclc_num | 913011391 |
| 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 (XX, 443 p. 66 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 | Computer science - theory and applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings edited by Lev D. Beklemishev, Daniil V. Musatov Cham Springer 2015 1 Online-Ressource (XX, 443 p. 66 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9139 0302-9743 Computer science Computer software Logic design Electronic data processing Computational complexity Computer Science Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Computation by Abstract Devices Numeric Computing Logics and Meanings of Programs Mathematical Logic and Formal Languages Datenverarbeitung Informatik Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Listvjanka gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Beklemishev, Lev D. 1967- Sonstige (DE-588)1024952835 oth CSR 10. 2015 Listvjanka Sonstige (DE-588)1073554783 oth Lecture Notes in Computer Science 9139 (DE-604)BV014880109 9139 https://doi.org/10.1007/978-3-319-20297-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101661&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101661&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Computer science - theory and applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings Lecture Notes in Computer Science Computer science Computer software Logic design Electronic data processing Computational complexity Computer Science Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Computation by Abstract Devices Numeric Computing Logics and Meanings of Programs Mathematical Logic and Formal Languages Datenverarbeitung Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Computer science - theory and applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings |
| title_auth | Computer science - theory and applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings |
| title_exact_search | Computer science - theory and applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings |
| title_full | Computer science - theory and applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings edited by Lev D. Beklemishev, Daniil V. Musatov |
| title_fullStr | Computer science - theory and applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings edited by Lev D. Beklemishev, Daniil V. Musatov |
| title_full_unstemmed | Computer science - theory and applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings edited by Lev D. Beklemishev, Daniil V. Musatov |
| title_short | Computer science - theory and applications |
| title_sort | computer science theory and applications 10th international computer science symposium in russia csr 2015 listvyanka russia july 13 17 2015 proceedings |
| title_sub | 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings |
| topic | Computer science Computer software Logic design Electronic data processing Computational complexity Computer Science Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Computation by Abstract Devices Numeric Computing Logics and Meanings of Programs Mathematical Logic and Formal Languages Datenverarbeitung Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Computer science Computer software Logic design Electronic data processing Computational complexity Computer Science Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Computation by Abstract Devices Numeric Computing Logics and Meanings of Programs Mathematical Logic and Formal Languages Datenverarbeitung Informatik Theoretische Informatik Konferenzschrift 2015 Listvjanka |
| url | https://doi.org/10.1007/978-3-319-20297-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101661&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101661&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT beklemishevlevd computersciencetheoryandapplications10thinternationalcomputersciencesymposiuminrussiacsr2015listvyankarussiajuly13172015proceedings AT csrlistvjanka computersciencetheoryandapplications10thinternationalcomputersciencesymposiuminrussiacsr2015listvyankarussiajuly13172015proceedings |