Holdings: Machines, languages, and computation

Machines, languages, and computation:

Saved in:

Bibliographic Details
Main Authors:	Denning, Peter J. (Author), Dennis, Jack B. (Author), Qualitz, Joseph E. (Author)
Format:	Book
Language:	English
Published:	Englewood Cliffs, NJ Prentice-Hall 1978
Edition:	9. print.
Subjects:	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
Physical Description:	XXII, 601 S. graph. Darst.
ISBN:	0135422582

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items