Programs, machines, and computation: An introduction to the theory of computing
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
London
McGraw-Hill
1976
|
| Schlagworte: | |
| Beschreibung: | XI,176 S. graph.Darst. |
| ISBN: | 0070840679 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV001986346 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 890928s1976 d||| |||| 00||| eng d | ||
| 020 | |a 0070840679 |9 0-07-084067-9 | ||
| 035 | |a (OCoLC)2020771 | ||
| 035 | |a (DE-599)BVBBV001986346 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-91G |a DE-384 |a DE-20 |a DE-83 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 001.6/4/01 | |
| 082 | 0 | |a 001.6401 |b C 292 | |
| 082 | 0 | |a 519.4 |2 19 | |
| 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 |c Keith L. Clark ; Don Cowell* |
| 264 | 1 | |a London |b McGraw-Hill |c 1976 | |
| 300 | |a XI,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 Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmentheorie |0 (DE-588)4200409-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekursivität |0 (DE-588)4443996-9 |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 Rekursivität |0 (DE-588)4443996-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Algorithmentheorie |0 (DE-588)4200409-3 |D s |
| 689 | 3 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Cowell, Don |e Verfasser |4 aut | |
| 940 | 1 | |q TUB-nveb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001295581 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804116432341958656 |
|---|---|
| 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 | BV001986346 |
| 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)BVBBV001986346 |
| dewey-full | 001.6/4/01 001.6401 519.4 |
| 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 001.6401 519.4 |
| dewey-search | 001.6/4/01 001.6401 519.4 |
| dewey-sort | 11.6 14 11 |
| dewey-tens | 000 - Computer science, information, general works 510 - Mathematics |
| discipline | Allgemeines Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02039nam a2200601 c 4500</leader><controlfield tag="001">BV001986346</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1976 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)BVBBV001986346</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-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</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">001.6401</subfield><subfield code="b">C 292</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.4</subfield><subfield code="2">19</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><subfield code="c">Keith L. Clark ; Don Cowell*</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">McGraw-Hill</subfield><subfield code="c">1976</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI,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">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="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">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">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="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">Rekursivität</subfield><subfield code="0">(DE-588)4443996-9</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">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="8">1\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="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001295581</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></record></collection> |
| id | DE-604.BV001986346 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:38:25Z |
| institution | BVB |
| isbn | 0070840679 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001295581 |
| oclc_num | 2020771 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-20 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-20 DE-83 |
| physical | XI,176 S. graph.Darst. |
| psigel | TUB-nveb |
| 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 Keith L. Clark ; Don Cowell* London McGraw-Hill 1976 XI,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 Formale Sprache (DE-588)4017848-1 gnd rswk-swf Algorithmentheorie (DE-588)4200409-3 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Rekursivität (DE-588)4443996-9 gnd rswk-swf Formale Sprache (DE-588)4017848-1 s DE-604 Rekursivität (DE-588)4443996-9 s Berechenbarkeit (DE-588)4138368-0 s Algorithmentheorie (DE-588)4200409-3 s 1\p DE-604 Cowell, Don Verfasser aut 1\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 Formale Sprache (DE-588)4017848-1 gnd Algorithmentheorie (DE-588)4200409-3 gnd Berechenbarkeit (DE-588)4138368-0 gnd Rekursivität (DE-588)4443996-9 gnd |
| subject_GND | (DE-588)4017848-1 (DE-588)4200409-3 (DE-588)4138368-0 (DE-588)4443996-9 |
| 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 Keith L. Clark ; Don Cowell* |
| title_fullStr | Programs, machines, and computation An introduction to the theory of computing Keith L. Clark ; Don Cowell* |
| title_full_unstemmed | Programs, machines, and computation An introduction to the theory of computing Keith L. Clark ; Don Cowell* |
| 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 Formale Sprache (DE-588)4017848-1 gnd Algorithmentheorie (DE-588)4200409-3 gnd Berechenbarkeit (DE-588)4138368-0 gnd Rekursivität (DE-588)4443996-9 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 Formale Sprache Algorithmentheorie Berechenbarkeit Rekursivität |
| work_keys_str_mv | AT clarkkeithl programsmachinesandcomputationanintroductiontothetheoryofcomputing AT cowelldon programsmachinesandcomputationanintroductiontothetheoryofcomputing |