Small dynamic complexity classes: an investigation into dynamic descriptive complexity
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Springer
[2017]
|
| Schriftenreihe: | Lecture notes in computer science
10110 |
| Schlagworte: | |
| Beschreibung: | VIII, 149 Seiten Diagramme |
| ISBN: | 9783662543139 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044223648 | ||
| 003 | DE-604 | ||
| 005 | 20170316 | ||
| 007 | t | ||
| 008 | 170314s2017 |||| |||| 00||| eng d | ||
| 020 | |a 9783662543139 |9 978-3-662-54313-9 | ||
| 035 | |a (OCoLC)968218700 | ||
| 035 | |a (DE-599)BVBBV044223648 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 100 | 1 | |a Zeume, Thomas |d 1984- |e Verfasser |0 (DE-588)1049816412 |4 aut | |
| 245 | 1 | 0 | |a Small dynamic complexity classes |b an investigation into dynamic descriptive complexity |c Thomas Zeume |
| 264 | 1 | |a Berlin |b Springer |c [2017] | |
| 300 | |a VIII, 149 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 10110 |a FoLLI publications on logic, language and information | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Untere Schranke |0 (DE-588)4186970-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beschreibungskomplexität |0 (DE-588)4797485-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komplexitätsklasse |0 (DE-588)4164913-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Komplexitätsklasse |0 (DE-588)4164913-8 |D s |
| 689 | 0 | 1 | |a Beschreibungskomplexität |0 (DE-588)4797485-0 |D s |
| 689 | 0 | 2 | |a Untere Schranke |0 (DE-588)4186970-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-662-54314-6 |
| 830 | 0 | |a Lecture notes in computer science |v 10110 |w (DE-604)BV000000607 |9 10110 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029629521 | ||
Datensatz im Suchindex
| _version_ | 1804177373137993728 |
|---|---|
| any_adam_object | |
| author | Zeume, Thomas 1984- |
| author_GND | (DE-588)1049816412 |
| author_facet | Zeume, Thomas 1984- |
| author_role | aut |
| author_sort | Zeume, Thomas 1984- |
| author_variant | t z tz |
| building | Verbundindex |
| bvnumber | BV044223648 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)968218700 (DE-599)BVBBV044223648 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02159nam a2200577zcb4500</leader><controlfield tag="001">BV044223648</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170316 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">170314s2017 |||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662543139</subfield><subfield code="9">978-3-662-54313-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)968218700</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044223648</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-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</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="100" ind1="1" ind2=" "><subfield code="a">Zeume, Thomas</subfield><subfield code="d">1984-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1049816412</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Small dynamic complexity classes</subfield><subfield code="b">an investigation into dynamic descriptive complexity</subfield><subfield code="c">Thomas Zeume</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 149 Seiten</subfield><subfield code="b">Diagramme</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">10110</subfield><subfield code="a">FoLLI publications on logic, language and information</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 programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</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">Software Engineering</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">Programming Languages, Compilers, Interpreters</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">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Untere Schranke</subfield><subfield code="0">(DE-588)4186970-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beschreibungskomplexität</subfield><subfield code="0">(DE-588)4797485-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätsklasse</subfield><subfield code="0">(DE-588)4164913-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Komplexitätsklasse</subfield><subfield code="0">(DE-588)4164913-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Beschreibungskomplexität</subfield><subfield code="0">(DE-588)4797485-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Untere Schranke</subfield><subfield code="0">(DE-588)4186970-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-662-54314-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10110</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10110</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029629521</subfield></datafield></record></collection> |
| id | DE-604.BV044223648 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:47:02Z |
| institution | BVB |
| isbn | 9783662543139 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029629521 |
| oclc_num | 968218700 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | VIII, 149 Seiten Diagramme |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science FoLLI publications on logic, language and information |
| spelling | Zeume, Thomas 1984- Verfasser (DE-588)1049816412 aut Small dynamic complexity classes an investigation into dynamic descriptive complexity Thomas Zeume Berlin Springer [2017] VIII, 149 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10110 FoLLI publications on logic, language and information Computer science Computer programming Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Programming Techniques Informatik Untere Schranke (DE-588)4186970-9 gnd rswk-swf Beschreibungskomplexität (DE-588)4797485-0 gnd rswk-swf Komplexitätsklasse (DE-588)4164913-8 gnd rswk-swf Komplexitätsklasse (DE-588)4164913-8 s Beschreibungskomplexität (DE-588)4797485-0 s Untere Schranke (DE-588)4186970-9 s DE-604 Erscheint auch als Online-Ausgabe 978-3-662-54314-6 Lecture notes in computer science 10110 (DE-604)BV000000607 10110 |
| spellingShingle | Zeume, Thomas 1984- Small dynamic complexity classes an investigation into dynamic descriptive complexity Lecture notes in computer science Computer science Computer programming Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Programming Techniques Informatik Untere Schranke (DE-588)4186970-9 gnd Beschreibungskomplexität (DE-588)4797485-0 gnd Komplexitätsklasse (DE-588)4164913-8 gnd |
| subject_GND | (DE-588)4186970-9 (DE-588)4797485-0 (DE-588)4164913-8 |
| title | Small dynamic complexity classes an investigation into dynamic descriptive complexity |
| title_auth | Small dynamic complexity classes an investigation into dynamic descriptive complexity |
| title_exact_search | Small dynamic complexity classes an investigation into dynamic descriptive complexity |
| title_full | Small dynamic complexity classes an investigation into dynamic descriptive complexity Thomas Zeume |
| title_fullStr | Small dynamic complexity classes an investigation into dynamic descriptive complexity Thomas Zeume |
| title_full_unstemmed | Small dynamic complexity classes an investigation into dynamic descriptive complexity Thomas Zeume |
| title_short | Small dynamic complexity classes |
| title_sort | small dynamic complexity classes an investigation into dynamic descriptive complexity |
| title_sub | an investigation into dynamic descriptive complexity |
| topic | Computer science Computer programming Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Programming Techniques Informatik Untere Schranke (DE-588)4186970-9 gnd Beschreibungskomplexität (DE-588)4797485-0 gnd Komplexitätsklasse (DE-588)4164913-8 gnd |
| topic_facet | Computer science Computer programming Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Programming Techniques Informatik Untere Schranke Beschreibungskomplexität Komplexitätsklasse |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT zeumethomas smalldynamiccomplexityclassesaninvestigationintodynamicdescriptivecomplexity |