Machines, languages, and computation:
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Englewood Cliffs, NJ
Prentice-Hall
1978
|
| Ausgabe: | 9. print. |
| Schlagworte: | |
| Beschreibung: | XXII, 601 S. graph. Darst. |
| ISBN: | 0135422582 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008084397 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 930712s1978 d||| |||| 00||| eng d | ||
| 020 | |a 0135422582 |9 0-13-542258-2 | ||
| 035 | |a (OCoLC)3447186 | ||
| 035 | |a (DE-599)BVBBV008084397 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 621.3819/52 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Denning, Peter J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Machines, languages, and computation |c Peter J. Denning ; Jack B. Dennis ; Joseph E. Qualitz |
| 250 | |a 9. print. | ||
| 264 | 1 | |a Englewood Cliffs, NJ |b Prentice-Hall |c 1978 | |
| 300 | |a XXII, 601 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 | 7 | |a LANGAGE CF |2 inriac | |
| 650 | 7 | |a LANGAGE ETAT FINI |2 inriac | |
| 650 | 4 | |a Langages formels | |
| 650 | 7 | |a analyse syntaxique |2 inriac | |
| 650 | 7 | |a automate fini |2 inriac | |
| 650 | 7 | |a fonction récursive |2 inriac | |
| 650 | 7 | |a grammaire formelle |2 inriac | |
| 650 | 7 | |a langage formel |2 inriac | |
| 650 | 7 | |a machine Turing |2 inriac | |
| 650 | 7 | |a théorie ensemble |2 inriac | |
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Machine theory | |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |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 Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Dennis, Jack B. |e Verfasser |4 aut | |
| 700 | 1 | |a Qualitz, Joseph E. |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005323512 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804122454949363712 |
|---|---|
| any_adam_object | |
| author | Denning, Peter J. Dennis, Jack B. Qualitz, Joseph E. |
| author_facet | Denning, Peter J. Dennis, Jack B. Qualitz, Joseph E. |
| author_role | aut aut aut |
| author_sort | Denning, Peter J. |
| author_variant | p j d pj pjd j b d jb jbd j e q je jeq |
| building | Verbundindex |
| bvnumber | BV008084397 |
| 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)3447186 (DE-599)BVBBV008084397 |
| dewey-full | 621.3819/52 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.3819/52 |
| dewey-search | 621.3819/52 |
| dewey-sort | 3621.3819 252 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
| edition | 9. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02022nam a2200601 c 4500</leader><controlfield tag="001">BV008084397</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930712s1978 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0135422582</subfield><subfield code="9">0-13-542258-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)3447186</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008084397</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-20</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.3819/52</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">Denning, Peter J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Machines, languages, and computation</subfield><subfield code="c">Peter J. Denning ; Jack B. Dennis ; Joseph E. Qualitz</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">9. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Englewood Cliffs, NJ</subfield><subfield code="b">Prentice-Hall</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 601 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="7"><subfield code="a">LANGAGE CF</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LANGAGE ETAT FINI</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse syntaxique</subfield><subfield code="2">inriac</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 formelle</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="7"><subfield code="a">théorie ensemble</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">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</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">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-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">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</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="700" ind1="1" ind2=" "><subfield code="a">Dennis, Jack B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Qualitz, Joseph E.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005323512</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.BV008084397 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:14:08Z |
| institution | BVB |
| isbn | 0135422582 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005323512 |
| oclc_num | 3447186 |
| open_access_boolean | |
| owner | DE-20 |
| owner_facet | DE-20 |
| physical | XXII, 601 S. graph. Darst. |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | Prentice-Hall |
| record_format | marc |
| spelling | Denning, Peter J. Verfasser aut Machines, languages, and computation Peter J. Denning ; Jack B. Dennis ; Joseph E. Qualitz 9. print. Englewood Cliffs, NJ Prentice-Hall 1978 XXII, 601 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Automates mathématiques, Théorie des LANGAGE CF inriac LANGAGE ETAT FINI inriac Langages formels analyse syntaxique inriac automate fini inriac fonction récursive inriac grammaire formelle inriac langage formel inriac machine Turing inriac théorie ensemble inriac Formal languages Machine theory Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Formale Sprache (DE-588)4017848-1 s DE-604 Automatentheorie (DE-588)4003953-5 s Datenverarbeitung (DE-588)4011152-0 s 1\p DE-604 Dennis, Jack B. Verfasser aut Qualitz, Joseph E. Verfasser aut 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Denning, Peter J. Dennis, Jack B. Qualitz, Joseph E. Machines, languages, and computation Automates mathématiques, Théorie des LANGAGE CF inriac LANGAGE ETAT FINI inriac Langages formels analyse syntaxique inriac automate fini inriac fonction récursive inriac grammaire formelle inriac langage formel inriac machine Turing inriac théorie ensemble inriac Formal languages Machine theory Datenverarbeitung (DE-588)4011152-0 gnd Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| subject_GND | (DE-588)4011152-0 (DE-588)4003953-5 (DE-588)4017848-1 |
| title | Machines, languages, and computation |
| title_auth | Machines, languages, and computation |
| title_exact_search | Machines, languages, and computation |
| title_full | Machines, languages, and computation Peter J. Denning ; Jack B. Dennis ; Joseph E. Qualitz |
| title_fullStr | Machines, languages, and computation Peter J. Denning ; Jack B. Dennis ; Joseph E. Qualitz |
| title_full_unstemmed | Machines, languages, and computation Peter J. Denning ; Jack B. Dennis ; Joseph E. Qualitz |
| title_short | Machines, languages, and computation |
| title_sort | machines languages and computation |
| topic | Automates mathématiques, Théorie des LANGAGE CF inriac LANGAGE ETAT FINI inriac Langages formels analyse syntaxique inriac automate fini inriac fonction récursive inriac grammaire formelle inriac langage formel inriac machine Turing inriac théorie ensemble inriac Formal languages Machine theory Datenverarbeitung (DE-588)4011152-0 gnd Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Automates mathématiques, Théorie des LANGAGE CF LANGAGE ETAT FINI Langages formels analyse syntaxique automate fini fonction récursive grammaire formelle langage formel machine Turing théorie ensemble Formal languages Machine theory Datenverarbeitung Automatentheorie Formale Sprache |
| work_keys_str_mv | AT denningpeterj machineslanguagesandcomputation AT dennisjackb machineslanguagesandcomputation AT qualitzjosephe machineslanguagesandcomputation |