Machines, languages, and computation:
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Englewood Cliffs, N.J.
Prentice-Hall
1978
|
| Schlagworte: | |
| Beschreibung: | XXII, 601 S. graph. Darst. |
| ISBN: | 0135422582 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002297325 | ||
| 003 | DE-604 | ||
| 005 | 20141124 | ||
| 007 | t | ||
| 008 | 890928s1978 d||| |||| 00||| eng d | ||
| 020 | |a 0135422582 |9 0-13-542258-2 | ||
| 035 | |a (OCoLC)3447186 | ||
| 035 | |a (DE-599)BVBBV002297325 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-29T |a DE-706 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 621.3819/52 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 136 |0 (DE-625)143591: |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 |
| 264 | 1 | |a Englewood Cliffs, N.J. |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 Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Dennis, Jack B. |e Verfasser |4 aut | |
| 700 | 1 | |a Qualitz, Joseph E. |e Verfasser |4 aut | |
| 940 | 1 | |q TUB-nveb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001509898 | ||
Datensatz im Suchindex
| _version_ | 1804116757898592257 |
|---|---|
| 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 | BV002297325 |
| 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 ST 136 |
| ctrlnum | (OCoLC)3447186 (DE-599)BVBBV002297325 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02024nam a2200601 c 4500</leader><controlfield tag="001">BV002297325</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141124 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1978 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)BVBBV002297325</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-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</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="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</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="264" ind1=" " ind2="1"><subfield code="a">Englewood Cliffs, N.J.</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">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">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><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="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-001509898</subfield></datafield></record></collection> |
| id | DE-604.BV002297325 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:43:35Z |
| institution | BVB |
| isbn | 0135422582 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001509898 |
| oclc_num | 3447186 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-29T DE-706 DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-29T DE-706 DE-83 DE-11 DE-188 |
| physical | XXII, 601 S. graph. Darst. |
| psigel | TUB-nveb |
| 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 Englewood Cliffs, N.J. 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 Formale Sprache (DE-588)4017848-1 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 s DE-604 Formale Sprache (DE-588)4017848-1 s Automatentheorie (DE-588)4003953-5 s Dennis, Jack B. Verfasser aut Qualitz, Joseph E. Verfasser aut |
| 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 Formale Sprache (DE-588)4017848-1 gnd Automatentheorie (DE-588)4003953-5 gnd |
| subject_GND | (DE-588)4011152-0 (DE-588)4017848-1 (DE-588)4003953-5 |
| 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 Formale Sprache (DE-588)4017848-1 gnd Automatentheorie (DE-588)4003953-5 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 Formale Sprache Automatentheorie |
| work_keys_str_mv | AT denningpeterj machineslanguagesandcomputation AT dennisjackb machineslanguagesandcomputation AT qualitzjosephe machineslanguagesandcomputation |