Mathematical foundations of computer science 2013 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
8087 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041435589 | ||
| 003 | DE-604 | ||
| 005 | 20140310 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131121s2013 xx ad|| o|||| 10||| eng d | ||
| 020 | |a 9783642403132 |c eBook |9 978-364-24031-3-2 | ||
| 024 | 7 | |a 10.1007/978-3-642-40313-2 |2 doi | |
| 035 | |a (OCoLC)857390905 | ||
| 035 | |a (DE-599)BVBBV041435589 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-739 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.1 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a MAT 050f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Mathematical foundations of computer science 2013 |b 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings |c Krishnendu Chatterjee ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XVI, 851 S.) |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8087 : Advanced research in computing and software science | |
| 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 2013 |z Klosterneuburg |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Chatterjee, Krishnendu |d 1978- |e Sonstige |0 (DE-588)1041270674 |4 oth | |
| 711 | 2 | |a MFCS |n 38 |d 2013 |c Klosterneuburg |j Sonstige |0 (DE-588)1041270119 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-642-40312-5 |
| 830 | 0 | |a Lecture notes in computer science |v 8087 : Advanced research in computing and software science |w (DE-604)BV014880109 |9 8087 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-40313-2 |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=026882463&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=026882463&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026882463 | |
Datensatz im Suchindex
| _version_ | 1819699169575567360 |
|---|---|
| adam_text | MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2013
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
ALTERNATION TRADING PROOFS AND THEIR LIMITATIONS
BIN PACKING GAMES WITH SELFISH ITEMS
A CONSTRUCTIVE PROOF OF THE TOPOLOGICAL KRUSKAL THEOREM
PRIOR-FREE AUCTIONS OF DIGITAL GOODS
CLUSTERING ON K-EDGE-COLORED GRAPHS
HOW TO PACK YOUR ITEMS WHEN YOU HAVE TO BUY YOUR KNAPSACK.-COMPUTING
BEHAVIORAL DISTANCES, COMPOSITIONALLY
REWRITING GUARDED NEGATION QUERIES
PARITY GAMES AND PROPOSITIONAL PROOFS
BRINGING ORDER TO SPECIAL CASES OF KLEE’S MEASURE PROBLEM
LEARNING REDUCTIONS TO SPARSE SETS
PROBABILISTIC AUTOMATA WITH ISOLATED CUT-POINTS
ON STOCHASTIC GAMES WITH MULTIPLE OBJECTIVES
PARADIGMS FOR PARAMETERIZED ENUMERATION
NONINTERFERENCE WITH LOCAL POLICIES
ORDERING METRO LINES BY BLOCK CROSSINGS
META-KERNELIZATION WITH STRUCTURAL PARAMETERS
POLYNOMIAL THRESHOLD FUNCTIONS AND BOOLEAN THRESHOLD CIRCUITS
DETECTING REGULARITIES ON GRAMMAR-COMPRESSED STRINGS
AN UNUSUAL TEMPORAL LOGIC
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2013
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED CONFERENCE PROCEEDINGS OF
THE 38TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER
SCIENCE, MFCS 2013, HELD IN KLOSTERNEUBURG, AUSTRIA, IN AUGUST 2013. THE
67 REVISED FULL PAPERS PRESENTED TOGETHER WITH SIX INVITED TALKS WERE
CAREFULLY SELECTED FROM 191 SUBMISSIONS. TOPICS COVERED INCLUDE
ALGORITHMIC GAME THEORY, ALGORITHMIC LEARNING THEORY, ALGORITHMS AND
DATA STRUCTURES, AUTOMATA, FORMAL LANGUAGES, BIOINFORMATICS, COMPLEXITY,
COMPUTATIONAL GEOMETRY, COMPUTER-ASSISTED REASONING, CONCURRENCY THEORY,
DATABASES AND KNOWLEDGE-BASED SYSTEMS, FOUNDATIONS OF COMPUTING, LOGIC
IN COMPUTER SCIENCE, MODELS OF COMPUTATION, SEMANTICS AND VERIFICATION
OF PROGRAMS, AND THEORETICAL ISSUES IN ARTIFICIAL INTELLIGENCE
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)1041270674 |
| building | Verbundindex |
| bvnumber | BV041435589 |
| classification_rvk | SS 4800 |
| classification_tum | MAT 050f DAT 500f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)857390905 (DE-599)BVBBV041435589 |
| 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 Mathematik |
| doi_str_mv | 10.1007/978-3-642-40313-2 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02515nam a2200481 cb4500</leader><controlfield tag="001">BV041435589</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140310 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131121s2013 xx ad|| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642403132</subfield><subfield code="c">eBook</subfield><subfield code="9">978-364-24031-3-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-40313-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)857390905</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041435589</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 050f</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="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">Mathematical foundations of computer science 2013</subfield><subfield code="b">38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings</subfield><subfield code="c">Krishnendu Chatterjee ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 851 S.)</subfield><subfield code="b">Ill., graph. Darst.</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">8087 : Advanced research in computing and software science</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">2013</subfield><subfield code="z">Klosterneuburg</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">Chatterjee, Krishnendu</subfield><subfield code="d">1978-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1041270674</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MFCS</subfield><subfield code="n">38</subfield><subfield code="d">2013</subfield><subfield code="c">Klosterneuburg</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1041270119</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-40312-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8087 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8087</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-40313-2</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=026882463&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=026882463&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></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026882463</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Klosterneuburg gnd-content |
| genre_facet | Konferenzschrift 2013 Klosterneuburg |
| id | DE-604.BV041435589 |
| illustrated | Illustrated |
| indexdate | 2024-12-24T03:56:26Z |
| institution | BVB |
| institution_GND | (DE-588)1041270119 |
| isbn | 9783642403132 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026882463 |
| oclc_num | 857390905 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-739 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-739 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XVI, 851 S.) Ill., graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Mathematical foundations of computer science 2013 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Mathematical foundations of computer science 2013 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings |
| title_auth | Mathematical foundations of computer science 2013 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings |
| title_exact_search | Mathematical foundations of computer science 2013 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings |
| title_full | Mathematical foundations of computer science 2013 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings Krishnendu Chatterjee ... (eds.) |
| title_fullStr | Mathematical foundations of computer science 2013 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings Krishnendu Chatterjee ... (eds.) |
| title_full_unstemmed | Mathematical foundations of computer science 2013 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings Krishnendu Chatterjee ... (eds.) |
| title_short | Mathematical foundations of computer science 2013 |
| title_sort | mathematical foundations of computer science 2013 38th international symposium mfcs 2013 klosterneuburg austria august 26 30 2013 proceedings |
| title_sub | 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Konferenzschrift 2013 Klosterneuburg |
| url | https://doi.org/10.1007/978-3-642-40313-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026882463&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=026882463&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT chatterjeekrishnendu mathematicalfoundationsofcomputerscience201338thinternationalsymposiummfcs2013klosterneuburgaustriaaugust26302013proceedings AT mfcsklosterneuburg mathematicalfoundationsofcomputerscience201338thinternationalsymposiummfcs2013klosterneuburgaustriaaugust26302013proceedings |