Programs, machines, and computation: an introduction to the theory of computing
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
London [u.a.]
McGraw-Hill
1976
|
| Ausgabe: | 1. print. |
| Schlagwörter: | |
| Umfang: | 176 S. graph. Darst. |
| ISBN: | 0070840679 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021928757 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t| | ||
| 008 | 960229s1976 xx d||| |||| 00||| eng d | ||
| 020 | |a 0070840679 |9 0-07-084067-9 | ||
| 035 | |a (OCoLC)2020771 | ||
| 035 | |a (DE-599)BVBBV021928757 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 001.6/4/01 | |
| 082 | 0 | |a 519.4 |2 19 | |
| 082 | 0 | |a 001.6401 |b C 292 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Clark, Keith L. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Programs, machines, and computation |b an introduction to the theory of computing |
| 250 | |a 1. print. | ||
| 264 | 1 | |a London [u.a.] |b McGraw-Hill |c 1976 | |
| 300 | |a 176 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Automates mathématiques, Théorie des | |
| 650 | 4 | |a Langages formels | |
| 650 | 4 | |a Lenguajes formales | |
| 650 | 7 | |a grammaire algébrique |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a initiation informatique |2 inriac | |
| 650 | 7 | |a machine Turing |2 inriac | |
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Machine theory | |
| 650 | 0 | 7 | |a Rekursivität |0 (DE-588)4443996-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmentheorie |0 (DE-588)4200409-3 |2 gnd |9 rswk-swf |
| 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 | |
| 689 | 1 | 0 | |a Algorithmentheorie |0 (DE-588)4200409-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Rekursivität |0 (DE-588)4443996-9 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 689 | 3 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 3 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Cowell, Don |e Verfasser |4 aut | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-015143914 | |
Datensatz im Suchindex
| _version_ | 1818963429695684608 |
|---|---|
| any_adam_object | |
| author | Clark, Keith L. Cowell, Don |
| author_facet | Clark, Keith L. Cowell, Don |
| author_role | aut aut |
| author_sort | Clark, Keith L. |
| author_variant | k l c kl klc d c dc |
| building | Verbundindex |
| bvnumber | BV021928757 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 |
| ctrlnum | (OCoLC)2020771 (DE-599)BVBBV021928757 |
| dewey-full | 001.6/4/01 519.4 001.6401 |
| dewey-hundreds | 000 - Computer science, information, general works 500 - Natural sciences and mathematics |
| dewey-ones | 001 - Knowledge 519 - Probabilities and applied mathematics |
| dewey-raw | 001.6/4/01 519.4 001.6401 |
| dewey-search | 001.6/4/01 519.4 001.6401 |
| dewey-sort | 11.6 14 11 |
| dewey-tens | 000 - Computer science, information, general works 510 - Mathematics |
| discipline | Allgemeines Informatik Mathematik |
| edition | 1. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02070nam a2200613zc 4500</leader><controlfield tag="001">BV021928757</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960229s1976 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0070840679</subfield><subfield code="9">0-07-084067-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)2020771</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021928757</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-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.6/4/01</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.4</subfield><subfield code="2">19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.6401</subfield><subfield code="b">C 292</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="100" ind1="1" ind2=" "><subfield code="a">Clark, Keith L.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programs, machines, and computation</subfield><subfield code="b">an introduction to the theory of computing</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">McGraw-Hill</subfield><subfield code="c">1976</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">176 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="650" ind1=" " ind2="4"><subfield code="a">Automates mathématiques, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lenguajes formales</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">informatique théorique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">initiation informatique</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">Machine theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursivität</subfield><subfield code="0">(DE-588)4443996-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="1" ind2="0"><subfield code="a">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</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">Rekursivität</subfield><subfield code="0">(DE-588)4443996-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cowell, Don</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015143914</subfield></datafield></record></collection> |
| id | DE-604.BV021928757 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T12:45:05Z |
| institution | BVB |
| isbn | 0070840679 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015143914 |
| oclc_num | 2020771 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 176 S. graph. Darst. |
| publishDate | 1976 |
| publishDateSearch | 1976 |
| publishDateSort | 1976 |
| publisher | McGraw-Hill |
| record_format | marc |
| spelling | Clark, Keith L. Verfasser aut Programs, machines, and computation an introduction to the theory of computing 1. print. London [u.a.] McGraw-Hill 1976 176 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Automates mathématiques, Théorie des Langages formels Lenguajes formales grammaire algébrique inriac informatique théorique inriac initiation informatique inriac machine Turing inriac Formal languages Machine theory Rekursivität (DE-588)4443996-9 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Algorithmentheorie (DE-588)4200409-3 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Formale Sprache (DE-588)4017848-1 s DE-604 Algorithmentheorie (DE-588)4200409-3 s Rekursivität (DE-588)4443996-9 s 1\p DE-604 Berechenbarkeit (DE-588)4138368-0 s 2\p DE-604 Cowell, Don Verfasser aut 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Clark, Keith L. Cowell, Don Programs, machines, and computation an introduction to the theory of computing Automates mathématiques, Théorie des Langages formels Lenguajes formales grammaire algébrique inriac informatique théorique inriac initiation informatique inriac machine Turing inriac Formal languages Machine theory Rekursivität (DE-588)4443996-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd Algorithmentheorie (DE-588)4200409-3 gnd Formale Sprache (DE-588)4017848-1 gnd |
| subject_GND | (DE-588)4443996-9 (DE-588)4138368-0 (DE-588)4200409-3 (DE-588)4017848-1 |
| title | Programs, machines, and computation an introduction to the theory of computing |
| title_auth | Programs, machines, and computation an introduction to the theory of computing |
| title_exact_search | Programs, machines, and computation an introduction to the theory of computing |
| title_full | Programs, machines, and computation an introduction to the theory of computing |
| title_fullStr | Programs, machines, and computation an introduction to the theory of computing |
| title_full_unstemmed | Programs, machines, and computation an introduction to the theory of computing |
| title_short | Programs, machines, and computation |
| title_sort | programs machines and computation an introduction to the theory of computing |
| title_sub | an introduction to the theory of computing |
| topic | Automates mathématiques, Théorie des Langages formels Lenguajes formales grammaire algébrique inriac informatique théorique inriac initiation informatique inriac machine Turing inriac Formal languages Machine theory Rekursivität (DE-588)4443996-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd Algorithmentheorie (DE-588)4200409-3 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Automates mathématiques, Théorie des Langages formels Lenguajes formales grammaire algébrique informatique théorique initiation informatique machine Turing Formal languages Machine theory Rekursivität Berechenbarkeit Algorithmentheorie Formale Sprache |
| work_keys_str_mv | AT clarkkeithl programsmachinesandcomputationanintroductiontothetheoryofcomputing AT cowelldon programsmachinesandcomputationanintroductiontothetheoryofcomputing |