Computer science - theory and applications: 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18 - 23, 2009 : proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2009
|
| Series: | Lecture notes in computer science
5675 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XIII, 367 S. graph. Darst. 24 cm |
| ISBN: | 9783642033506 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035662521 | ||
| 003 | DE-604 | ||
| 005 | 20090828 | ||
| 007 | t| | ||
| 008 | 090805s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N29,0017 |2 dnb | ||
| 016 | 7 | |a 99505083X |2 DE-101 | |
| 020 | |a 9783642033506 |c kart. : EUR 56.66 (freier Pr.), sfr 82.50 (freier Pr.) |9 978-3-642-03350-6 | ||
| 024 | 3 | |a 9783642033506 | |
| 028 | 5 | 2 | |a 12724550 |
| 035 | |a (OCoLC)432315104 | ||
| 035 | |a (DE-599)DNB99505083X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 004.0151 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Computer science - theory and applications |b 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18 - 23, 2009 : proceedings |c Anna Frid ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XIII, 367 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5675 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Anwendung |0 (DE-588)4196864-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Nowosibirsk |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | 1 | |a Anwendung |0 (DE-588)4196864-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Frid, Anna |e Sonstige |4 oth | |
| 711 | 2 | |a CSR |n 4 |d 2009 |c Nowosibirsk |j Sonstige |0 (DE-588)16017625-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5675 |w (DE-604)BV000000607 |9 5675 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017716931&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017716931 | |
Record in the Search Index
| _version_ | 1820875140928372736 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED PAPERS WELL-FOUNDED AND PARTIAL STABLE
SEMANTICS LOGICAL ASPECTS 1 PEDRO CABALAR, SERGEI ODINTSOV, AND DAVID
PEARCE THE REACHABILITY PROBLEM OVER INFINITE GRAPHS 12 WOLFGANG THOMAS
KOLMOGOROV COMPLEXITY AND MODEL SELECTION 19 NIKOLAY VERESHCHAGIN
AUTOMATIC VERIFICATION OF HEAP-MANIPULATING PROGRAMS USING SEPARATION
LOGIC 25 HONGSEOK YANG ACCEPTED PAPERS CANONICAL CALCULI: INVERTIBILITY.
AXIOM EXPANSION AND (NON)-DETERMINISM 26 ARNON AVRON, AGATA CIABATTONI,
AND ANNA ZAMANSKY INTEGRALITY PROPERTY IN PREEMPTIVE PARALLEL MACHINE
SCHEDULING 38 PHILIPPE BAPTISTE, JACQUES CARLIER, ALEXANDER KONONOV.
MAURICE QUEYRANNE, SERGEY SEVASTYANOV, AND MAXIM SVIRIDENKO
CHARACTERIZING THE EXISTENCE OF OPTIMAL PROOF SYSTEMS AND COMPLETE SETS
FOR PROMISE CLASSES 47 OLAF BEYERSDORFF AND ZENON SADOWSKI FC-SAT IS NO
HARDER THAN DECISION-UNIQUE-/C-SAT 59 CHRIS CALABRO AND RAMAMOHAN PATURI
UNIQUE DECIPHERABILITY IN THE MONOID OF LANGUAGES: AN APPLICATION OF
RATIONAL RELATIONS 71 CHRISTIAN CHOFFRUT AND JUHANI KARHUMAEKI
CONCURRENTLY NON-MALLEABLE BLACK-BOX ZERO KNOWLEDGE IN THE BARE
PUBLIC-KEY MODEL 80 YI DENG, GIOVANNI DI CRESCENZO, DONGDAI LIN, AND
DENGGUO FENG APPROXIMABILIT BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/99505083X DIGITALISIERT DURCH XII TABLE OF CONTENTS ON
RANDOM ORDERING CONSTRAINTS 105 ANDREAS GOERDT DEPTH REDUCTION FOR
CIRCUITS WITH A SINGLE LAYER OF MODULAR COUNTING GATES 117 KRISTOFFER
ARNSFELT HANSEN A FEEBLY SECURE TRAPDOOR FUNCTION 129 EDWARD A. HIRSCH
AND SERGEY I. NIKOLENKO PARTITIONING GRAPHS INTO CONNECTED PARTS 143
PIRN VAN 'T HOF, DANIEL PAULUSMA, AND GERHARD J. WOEGINGER STRUCTURAL
COMPLEXITY OF AVGBPP 155 DMITRY ITSYKSON LOWER BOUNDS FOR THE
DETERMINANTAL COMPLEXITY OF EXPLICIT LOW DEGREE POLYNOMIALS 167 MAURICE
JANSEN SIMULATION OF ARITHMETICAL CIRCUITS BY BRANCHING PROGRAMS WITH
PRESERVATION OF CONSTANT WIDTH AND SYNTACTIC MULTILINEARITY 179 MAURICE
JANSEN AND RAGHAVENDRA RAO B. V. ONE-NONTERMINAL CONJUNCTIVE GRAMMARS
OVER A UNARY ALPHABET 191 ARTUR JEZ AND ALEXANDER OKHOTIN CONCATENATION
OF REGULAR LANGUAGES AND DESCRIPTIONAL COMPLEXITY . 203 GALINA
JIRASKOVA APPROXIMABILITY OF THE MAXIMUM SOLUTION PROBLEM FOR CERTAIN
FAMILIES OF ALGEBRAS 215 PETER JONSSON AND JOHAN THAPPER COMPLETE
COMPLEXITY CLASSIFICATION OF SHORT SHOP SCHEDULING 227 ALEXANDER
KONONOV, SERGEY SEVASTYANOV, AND MAXIM SVIRIDENKO COMPRESSED WORD
PROBLEMS IN HNN-EXTENSIONS AND AMALGAMATED PRODUCT TABLE OF CONTENTS
XIII ON THE COMPLEXITY OF MATROID ISOMORPHISM PROBLEMS 286 RAGHAVENDRA
RAO B.V. AND JAY ALAI SARMA M.N. BREAKING ANONYMITY BY LEARNING A UNIQUE
MINIMUM HITTING SET 299 DOGAN KESDOGAN, DANIEL MOELLE, STEFAN RICHTER,
AND PETER ROSSMANITH THE BUDGETED UNIQUE COVERAGE PROBLEM AND
COLOR-CODING 310 NEELDHARA MISRA, VENKATESH RAMAN, SAKET SAURABH, AND
SOMNATH SIKDAR FORMAL VERIFICATION OF GATE-LEVEL COMPUTER SYSTEMS 322
MARK HILLEBRAND AND SERGEY TVERDYSHEV ON MODELS OF A NONDETERMINISTIC
COMPUTATION 334 MIKHAIL N. VYALYI NEW PLAIN-EXPONENTIAL TIME CLASSES FOR
GRAPH HOMOMORPHISM 346 MAGNUS WAHLSTROEM LANGUAGES RECOGNIZED WITH
UNBOUNDED ERROR BY QUANTUM FINITE AUTOMATA 356 ABUZER YAKARYILMAZ AND
A.C. CEM SAY AUTHOR INDEX 369 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035662521 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)432315104 (DE-599)DNB99505083X |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| 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">BV035662521</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090828</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090805s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N29,0017</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">99505083X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642033506</subfield><subfield code="c">kart. : EUR 56.66 (freier Pr.), sfr 82.50 (freier Pr.)</subfield><subfield code="9">978-3-642-03350-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642033506</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12724550</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)432315104</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB99505083X</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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">Computer science - theory and applications</subfield><subfield code="b">4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18 - 23, 2009 : proceedings</subfield><subfield code="c">Anna Frid ... (ed.)</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">XIII, 367 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">5675</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Anwendung</subfield><subfield code="0">(DE-588)4196864-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">2009</subfield><subfield code="z">Nowosibirsk</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="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="1"><subfield code="a">Anwendung</subfield><subfield code="0">(DE-588)4196864-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Frid, Anna</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CSR</subfield><subfield code="n">4</subfield><subfield code="d">2009</subfield><subfield code="c">Nowosibirsk</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16017625-6</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">5675</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5675</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=017716931&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017716931</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Nowosibirsk gnd-content |
| genre_facet | Konferenzschrift 2009 Nowosibirsk |
| id | DE-604.BV035662521 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:54Z |
| institution | BVB |
| institution_GND | (DE-588)16017625-6 |
| isbn | 9783642033506 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017716931 |
| oclc_num | 432315104 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XIII, 367 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer science - theory and applications 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18 - 23, 2009 : proceedings Anna Frid ... (ed.) Berlin [u.a.] Springer 2009 XIII, 367 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5675 Literaturangaben Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Anwendung (DE-588)4196864-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Nowosibirsk gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Anwendung (DE-588)4196864-5 s Berechnungstheorie (DE-588)4005581-4 s Frid, Anna Sonstige oth CSR 4 2009 Nowosibirsk Sonstige (DE-588)16017625-6 oth Lecture notes in computer science 5675 (DE-604)BV000000607 5675 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017716931&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer science - theory and applications 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18 - 23, 2009 : proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Berechnungstheorie (DE-588)4005581-4 gnd Anwendung (DE-588)4196864-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4005581-4 (DE-588)4196864-5 (DE-588)1071861417 |
| title | Computer science - theory and applications 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18 - 23, 2009 : proceedings |
| title_auth | Computer science - theory and applications 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18 - 23, 2009 : proceedings |
| title_exact_search | Computer science - theory and applications 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18 - 23, 2009 : proceedings |
| title_full | Computer science - theory and applications 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18 - 23, 2009 : proceedings Anna Frid ... (ed.) |
| title_fullStr | Computer science - theory and applications 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18 - 23, 2009 : proceedings Anna Frid ... (ed.) |
| title_full_unstemmed | Computer science - theory and applications 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18 - 23, 2009 : proceedings Anna Frid ... (ed.) |
| title_short | Computer science - theory and applications |
| title_sort | computer science theory and applications 4th international computer science symposium in russia csr 2009 novosibirsk russia august 18 23 2009 proceedings |
| title_sub | 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18 - 23, 2009 : proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Berechnungstheorie (DE-588)4005581-4 gnd Anwendung (DE-588)4196864-5 gnd |
| topic_facet | Theoretische Informatik Berechnungstheorie Anwendung Konferenzschrift 2009 Nowosibirsk |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017716931&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fridanna computersciencetheoryandapplications4thinternationalcomputersciencesymposiuminrussiacsr2009novosibirskrussiaaugust18232009proceedings AT csrnowosibirsk computersciencetheoryandapplications4thinternationalcomputersciencesymposiuminrussiacsr2009novosibirskrussiaaugust18232009proceedings |