Introduction to the theory of computation:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York
Academic Pr.
1973
|
| Series: | Computer science and applied mathematics.
|
| Subjects: | |
| Item Description: | Literaturangaben |
| Physical Description: | VIII, 231 S. graph. Darst. |
| ISBN: | 0122392507 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002624766 | ||
| 003 | DE-604 | ||
| 005 | 20200327 | ||
| 007 | t | ||
| 008 | 900403s1973 d||| |||| 00||| eng d | ||
| 020 | |a 0122392507 |9 0-12-239250-7 | ||
| 035 | |a (OCoLC)677084 | ||
| 035 | |a (DE-599)BVBBV002624766 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-20 |a DE-824 |a DE-29T |a DE-19 |a DE-706 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA267.5.S4 | |
| 082 | 0 | |a 629.8/91 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a 03Dxx |2 msc | ||
| 084 | |a 68Dxx |2 msc | ||
| 100 | 1 | |a Engeler, Erwin |d 1930- |e Verfasser |0 (DE-588)1089102372 |4 aut | |
| 245 | 1 | 0 | |a Introduction to the theory of computation |c Erwin Engeler |
| 264 | 1 | |a New York |b Academic Pr. |c 1973 | |
| 300 | |a VIII, 231 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Computer science and applied mathematics. | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Fonctions récursives | |
| 650 | 7 | |a Fundamentele informatica |2 gtt | |
| 650 | 4 | |a Langages formels | |
| 650 | 4 | |a Machines séquentielles (Théorie) | |
| 650 | 7 | |a automate fini |2 inriac | |
| 650 | 7 | |a fonction récursive |2 inriac | |
| 650 | 7 | |a grammaire algébrique |2 inriac | |
| 650 | 7 | |a langage formel |2 inriac | |
| 650 | 7 | |a machine Turing |2 inriac | |
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Recursive functions | |
| 650 | 4 | |a Sequential machine theory | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001686745 | ||
Record in the Search Index
| _version_ | 1804117008907763712 |
|---|---|
| any_adam_object | |
| author | Engeler, Erwin 1930- |
| author_GND | (DE-588)1089102372 |
| author_facet | Engeler, Erwin 1930- |
| author_role | aut |
| author_sort | Engeler, Erwin 1930- |
| author_variant | e e ee |
| building | Verbundindex |
| bvnumber | BV002624766 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.5.S4 |
| callnumber-search | QA267.5.S4 |
| callnumber-sort | QA 3267.5 S4 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 |
| ctrlnum | (OCoLC)677084 (DE-599)BVBBV002624766 |
| dewey-full | 629.8/91 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.8/91 |
| dewey-search | 629.8/91 |
| dewey-sort | 3629.8 291 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01666nam a2200517 c 4500</leader><controlfield tag="001">BV002624766</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200327 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900403s1973 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0122392507</subfield><subfield code="9">0-12-239250-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)677084</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002624766</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.5.S4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.8/91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Dxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Dxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Engeler, Erwin</subfield><subfield code="d">1930-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1089102372</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to the theory of computation</subfield><subfield code="c">Erwin Engeler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Academic Pr.</subfield><subfield code="c">1973</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 231 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">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="0" ind2=" "><subfield code="a">Computer science and applied mathematics.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fonctions récursives</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fundamentele informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machines séquentielles (Théorie)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">automate fini</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">fonction récursive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">grammaire algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">machine Turing</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursive functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sequential machine theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001686745</subfield></datafield></record></collection> |
| id | DE-604.BV002624766 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:47:35Z |
| institution | BVB |
| isbn | 0122392507 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001686745 |
| oclc_num | 677084 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-20 DE-824 DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-20 DE-824 DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-188 |
| physical | VIII, 231 S. graph. Darst. |
| publishDate | 1973 |
| publishDateSearch | 1973 |
| publishDateSort | 1973 |
| publisher | Academic Pr. |
| record_format | marc |
| series2 | Computer science and applied mathematics. |
| spelling | Engeler, Erwin 1930- Verfasser (DE-588)1089102372 aut Introduction to the theory of computation Erwin Engeler New York Academic Pr. 1973 VIII, 231 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computer science and applied mathematics. Literaturangaben Fonctions récursives Fundamentele informatica gtt Langages formels Machines séquentielles (Théorie) automate fini inriac fonction récursive inriac grammaire algébrique inriac langage formel inriac machine Turing inriac Formal languages Recursive functions Sequential machine theory Formale Sprache (DE-588)4017848-1 gnd rswk-swf Formale Sprache (DE-588)4017848-1 s DE-604 |
| spellingShingle | Engeler, Erwin 1930- Introduction to the theory of computation Fonctions récursives Fundamentele informatica gtt Langages formels Machines séquentielles (Théorie) automate fini inriac fonction récursive inriac grammaire algébrique inriac langage formel inriac machine Turing inriac Formal languages Recursive functions Sequential machine theory Formale Sprache (DE-588)4017848-1 gnd |
| subject_GND | (DE-588)4017848-1 |
| title | Introduction to the theory of computation |
| title_auth | Introduction to the theory of computation |
| title_exact_search | Introduction to the theory of computation |
| title_full | Introduction to the theory of computation Erwin Engeler |
| title_fullStr | Introduction to the theory of computation Erwin Engeler |
| title_full_unstemmed | Introduction to the theory of computation Erwin Engeler |
| title_short | Introduction to the theory of computation |
| title_sort | introduction to the theory of computation |
| topic | Fonctions récursives Fundamentele informatica gtt Langages formels Machines séquentielles (Théorie) automate fini inriac fonction récursive inriac grammaire algébrique inriac langage formel inriac machine Turing inriac Formal languages Recursive functions Sequential machine theory Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Fonctions récursives Fundamentele informatica Langages formels Machines séquentielles (Théorie) automate fini fonction récursive grammaire algébrique langage formel machine Turing Formal languages Recursive functions Sequential machine theory Formale Sprache |
| work_keys_str_mv | AT engelererwin introductiontothetheoryofcomputation |