Mathematical and engineering methods in computer science: Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2013
|
| Series: | Lecture notes in computer science
7721 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (XII, 212 S.) graph. Darst. |
| ISBN: | 9783642360442 9783642360466 3642360440 |
| DOI: | 10.1007/978-3-642-36046-6 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040913383 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 130326s2013 gw d||| o|||| 00||| eng d | ||
| 020 | |a 9783642360442 |9 978-3-642-36044-2 | ||
| 020 | |a 9783642360466 |c Online |9 978-3-642-36046-6 | ||
| 020 | |a 3642360440 |9 3-642-36044-0 | ||
| 024 | 7 | |a 10.1007/978-3-642-36046-6 |2 doi | |
| 035 | |a (OCoLC)835359119 | ||
| 035 | |a (DE-599)BVBBV040913383 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 004 |2 22//ger | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Mathematical and engineering methods in computer science |b Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XII, 212 S.) |b 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 7721 | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |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 2012 |z Znaim |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Kučera, Antonín |d 1971- |e Sonstige |0 (DE-588)13874484X |4 oth | |
| 711 | 2 | |a MEMICS |n 8 |d 2012 |c Znojmo |j Sonstige |0 (DE-588)1032023996 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 7721 |w (DE-604)BV014880109 |9 7721 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-36046-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=025892667&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=025892667&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-SCS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025892667 | |
Record in the Search Index
| _version_ | 1820875450510999552 |
|---|---|
| adam_text |
MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
BDD-BASED SOFTWARE MODEL CHECKING WITH CPACHECKER
SECURITY FOR CYBER-PHYSICAL SYSTEMS
QUANTUM SECRET SHARING WITH GRAPH STATES
TESTING EMBEDDED MEMORIES: A SURVEY
QUICKSORT AND LARGE DEVIATIONS
RECENT RESULTS ON HOWARD’S ALGORITHM
ADVANTAGE OF QUANTUM STRATEGIES IN RANDOM SYMMETRIC XOR GAMES
VERIFICATION OF LIVENESS PROPERTIES ON CLOSED TIMED-ARC PETRI NETS
FAST ALGORITHM FOR RANK-WIDTH
DETERMINACY IN STOCHASTIC GAMES WITH UNBOUNDED PAYOFF FUNCTIONS
STRATEGY COMPLEXITY OF FINITE-HORIZON MARKOV DECISION PROCESSES AND
SIMPLE STOCHASTIC GAMES
CONTROLLABLE-CHOICE MESSAGE SEQUENCE GRAPHS
A BETTER WAY TOWARDS KEY ESTABLISHMENT AND AUTHENTICATION IN WIRELESS
SENSOR NETWORKS
PARAMETERIZED ALGORITHMS FOR STOCHASTIC STEINER TREE PROBLEMS
ACTION INVESTMENT ENERGY GAMES
CIPHERTEXT-ONLY ATTACK ON GENTRY-HALEVI IMPLEMENTATION OF SOMEWHAT
HOMOMORPHIC SCHEME
GROVER’S ALGORITHM WITH ERRORS
ON WQO PROPERTY FOR DIFFERENT QUASI ORDERINGS OF THE SET OF PERMUTATIONS
TOWARDS USER-AWARE MULTI-TOUCH INTERACTION LAYER FOR GROUP COLLABORATIVE
SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE
/
: 2013
ABSTRACT / INHALTSTEXT
THIS VOLUME CONTAINS THE POST-PROCEEDINGS OF THE 8TH DOCTORAL WORKSHOP
ON MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS
2012, HELD IN ZNOJMO, CZECH REPUBLIC, IN OCTOBER, 2012. THE 13
THOROUGHLY REVISED PAPERS WERE CAREFULLY SELECTED OUT OF 31 SUBMISSIONS
AND ARE PRESENTED TOGETHER WITH 6 INVITED PAPERS. THE TOPICS COVERED BY
THE PAPERS INCLUDE: COMPUTER-AIDED ANALYSIS AND VERIFICATION,
APPLICATIONS OF GAME THEORY IN COMPUTER SCIENCE, NETWORKS AND SECURITY,
MODERN TRENDS OF GRAPH THEORY IN COMPUTER SCIENCE, ELECTRONIC SYSTEMS
DESIGN AND TESTING, AND QUANTUM INFORMATION PROCESSING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)13874484X |
| building | Verbundindex |
| bvnumber | BV040913383 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| collection | ZDB-2-LNC ZDB-2-SCS |
| ctrlnum | (OCoLC)835359119 (DE-599)BVBBV040913383 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-36046-6 |
| 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">BV040913383</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">130326s2013 gw d||| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642360442</subfield><subfield code="9">978-3-642-36044-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642360466</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-36046-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642360440</subfield><subfield code="9">3-642-36044-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-36046-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)835359119</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040913383</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</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-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">22//ger</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 and engineering methods in computer science</subfield><subfield code="b">Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers</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 (XII, 212 S.)</subfield><subfield code="b">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">7721</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="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">2012</subfield><subfield code="z">Znaim</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kučera, Antonín</subfield><subfield code="d">1971-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)13874484X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MEMICS</subfield><subfield code="n">8</subfield><subfield code="d">2012</subfield><subfield code="c">Znojmo</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1032023996</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">7721</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7721</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-36046-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=025892667&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=025892667&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-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025892667</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Znaim gnd-content |
| genre_facet | Konferenzschrift 2012 Znaim |
| id | DE-604.BV040913383 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:48Z |
| institution | BVB |
| institution_GND | (DE-588)1032023996 |
| isbn | 9783642360442 9783642360466 3642360440 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025892667 |
| oclc_num | 835359119 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XII, 212 S.) graph. Darst. |
| psigel | ZDB-2-LNC ZDB-2-SCS |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers Berlin [u.a.] Springer 2013 1 Online-Ressource (XII, 212 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7721 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Znaim gnd-content Informatik (DE-588)4026894-9 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Kučera, Antonín 1971- Sonstige (DE-588)13874484X oth MEMICS 8 2012 Znojmo Sonstige (DE-588)1032023996 oth Lecture notes in computer science 7721 (DE-604)BV014880109 7721 https://doi.org/10.1007/978-3-642-36046-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025892667&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=025892667&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| title_auth | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| title_exact_search | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| title_full | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| title_fullStr | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| title_full_unstemmed | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| title_short | Mathematical and engineering methods in computer science |
| title_sort | mathematical and engineering methods in computer science antonin kucera eds 8th international doctoral workshop memics 2012 znojmo czech republic october 25 28 2012 revised selected papers |
| title_sub | Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Theoretische Informatik Informatik Konferenzschrift 2012 Znaim |
| url | https://doi.org/10.1007/978-3-642-36046-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025892667&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=025892667&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT kuceraantonin mathematicalandengineeringmethodsincomputerscienceantoninkuceraeds8thinternationaldoctoralworkshopmemics2012znojmoczechrepublicoctober25282012revisedselectedpapers AT memicsznojmo mathematicalandengineeringmethodsincomputerscienceantoninkuceraeds8thinternationaldoctoralworkshopmemics2012znojmoczechrepublicoctober25282012revisedselectedpapers |