Holdings: The finite representation of abstract programs by automata and Petri nets

The finite representation of abstract programs by automata and Petri nets:

Saved in:

Bibliographic Details
Main Author:	Taubner, Dirk (Author)
Format:	Book
Language:	Undetermined
Published:	München Mathematisches Inst. und Inst. für Informatik, Technische Univ. 1988
Series:	Technische Universität <München>: TUM-I 8817
Subjects:	Petri-Netz Programmiersprache Endlicher Automat Programm Paralleler Prozess Formale Sprache Automatentheorie Abstraktion Hochschulschrift
Item Description:	Literaturverz. S. 206 - 211. - Zugl.: München, Technische Univ., Diss., 1988
Physical Description:	215 S. graph. Darst.

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV002627327
003	DE-604
005	20040406
007	t
008	900326s1988 gw d\|\|\| t\|\|\| 00\|\|\| und d
035			\|a (OCoLC)243421333
035			\|a (DE-599)BVBBV002627327
040			\|a DE-604 \|b ger \|e rakwb
041			\|a und
044			\|a gw \|c DE
049			\|a DE-12
088			\|a TUM-I 8817
100	1		\|a Taubner, Dirk \|e Verfasser \|4 aut
245	1	0	\|a The finite representation of abstract programs by automata and Petri nets \|c Dirk A. Taubner
264		1	\|a München \|b Mathematisches Inst. und Inst. für Informatik, Technische Univ. \|c 1988
300			\|a 215 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Technische Universität <München>: TUM-I \|v 8817
500			\|a Literaturverz. S. 206 - 211. - Zugl.: München, Technische Univ., Diss., 1988
650	0	7	\|a Petri-Netz \|0 (DE-588)4045388-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Endlicher Automat \|0 (DE-588)4224518-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programm \|0 (DE-588)4047394-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Paralleler Prozess \|0 (DE-588)4224684-2 \|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
650	0	7	\|a Abstraktion \|0 (DE-588)4141162-6 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	0	1	\|a Abstraktion \|0 (DE-588)4141162-6 \|D s
689	0	2	\|a Endlicher Automat \|0 (DE-588)4224518-7 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	1	1	\|a Abstraktion \|0 (DE-588)4141162-6 \|D s
689	1	2	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	1		\|5 DE-604
689	2	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	2	1	\|a Programm \|0 (DE-588)4047394-6 \|D s
689	2		\|8 2\p \|5 DE-604
689	3	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	3	1	\|a Automatentheorie \|0 (DE-588)4003953-5 \|D s
689	3		\|8 3\p \|5 DE-604
689	4	0	\|a Paralleler Prozess \|0 (DE-588)4224684-2 \|D s
689	4	1	\|a Formale Sprache \|0 (DE-588)4017848-1 \|D s
689	4		\|8 4\p \|5 DE-604
830		0	\|a Technische Universität <München>: TUM-I \|v 8817 \|w (DE-604)BV006185376 \|9 8817
999			\|a oai:aleph.bib-bvb.de:BVB01-001687668
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
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Record in the Search Index

_version_	1804117010447073280
any_adam_object
author	Taubner, Dirk
author_facet	Taubner, Dirk
author_role	aut
author_sort	Taubner, Dirk
author_variant	d t dt
building	Verbundindex
bvnumber	BV002627327
ctrlnum	(OCoLC)243421333 (DE-599)BVBBV002627327
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02744nam a2200661 cb4500</leader><controlfield tag="001">BV002627327</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040406 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900326s1988 gw d\|\|\| t\|\|\| 00\|\|\| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243421333</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002627327</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM-I 8817</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Taubner, Dirk</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The finite representation of abstract programs by automata and Petri nets</subfield><subfield code="c">Dirk A. Taubner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Mathematisches Inst. und Inst. für Informatik, Technische Univ.</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">215 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="490" ind1="1" ind2=" "><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">8817</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 206 - 211. - Zugl.: München, Technische Univ., Diss., 1988</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Endlicher Automat</subfield><subfield code="0">(DE-588)4224518-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</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="650" ind1="0" ind2="7"><subfield code="a">Abstraktion</subfield><subfield code="0">(DE-588)4141162-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Abstraktion</subfield><subfield code="0">(DE-588)4141162-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Endlicher Automat</subfield><subfield code="0">(DE-588)4224518-7</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Abstraktion</subfield><subfield code="0">(DE-588)4141162-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-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">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">8817</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">8817</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001687668</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="883" ind1="1" ind2=" "><subfield code="8">3\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">4\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>
genre	1\p (DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV002627327
illustrated	Illustrated
indexdate	2024-07-09T15:47:36Z
institution	BVB
language	Undetermined
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-001687668
oclc_num	243421333
open_access_boolean
owner	DE-12
owner_facet	DE-12
physical	215 S. graph. Darst.
publishDate	1988
publishDateSearch	1988
publishDateSort	1988
publisher	Mathematisches Inst. und Inst. für Informatik, Technische Univ.
record_format	marc
series	Technische Universität <München>: TUM-I
series2	Technische Universität <München>: TUM-I
spelling	Taubner, Dirk Verfasser aut The finite representation of abstract programs by automata and Petri nets Dirk A. Taubner München Mathematisches Inst. und Inst. für Informatik, Technische Univ. 1988 215 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 8817 Literaturverz. S. 206 - 211. - Zugl.: München, Technische Univ., Diss., 1988 Petri-Netz (DE-588)4045388-1 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Endlicher Automat (DE-588)4224518-7 gnd rswk-swf Programm (DE-588)4047394-6 gnd rswk-swf Paralleler Prozess (DE-588)4224684-2 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf Abstraktion (DE-588)4141162-6 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Programmiersprache (DE-588)4047409-4 s Abstraktion (DE-588)4141162-6 s Endlicher Automat (DE-588)4224518-7 s DE-604 Petri-Netz (DE-588)4045388-1 s Programm (DE-588)4047394-6 s 2\p DE-604 Automatentheorie (DE-588)4003953-5 s 3\p DE-604 Paralleler Prozess (DE-588)4224684-2 s Formale Sprache (DE-588)4017848-1 s 4\p DE-604 Technische Universität <München>: TUM-I 8817 (DE-604)BV006185376 8817 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Taubner, Dirk The finite representation of abstract programs by automata and Petri nets Technische Universität <München>: TUM-I Petri-Netz (DE-588)4045388-1 gnd Programmiersprache (DE-588)4047409-4 gnd Endlicher Automat (DE-588)4224518-7 gnd Programm (DE-588)4047394-6 gnd Paralleler Prozess (DE-588)4224684-2 gnd Formale Sprache (DE-588)4017848-1 gnd Automatentheorie (DE-588)4003953-5 gnd Abstraktion (DE-588)4141162-6 gnd
subject_GND	(DE-588)4045388-1 (DE-588)4047409-4 (DE-588)4224518-7 (DE-588)4047394-6 (DE-588)4224684-2 (DE-588)4017848-1 (DE-588)4003953-5 (DE-588)4141162-6 (DE-588)4113937-9
title	The finite representation of abstract programs by automata and Petri nets
title_auth	The finite representation of abstract programs by automata and Petri nets
title_exact_search	The finite representation of abstract programs by automata and Petri nets
title_full	The finite representation of abstract programs by automata and Petri nets Dirk A. Taubner
title_fullStr	The finite representation of abstract programs by automata and Petri nets Dirk A. Taubner
title_full_unstemmed	The finite representation of abstract programs by automata and Petri nets Dirk A. Taubner
title_short	The finite representation of abstract programs by automata and Petri nets
title_sort	the finite representation of abstract programs by automata and petri nets
topic	Petri-Netz (DE-588)4045388-1 gnd Programmiersprache (DE-588)4047409-4 gnd Endlicher Automat (DE-588)4224518-7 gnd Programm (DE-588)4047394-6 gnd Paralleler Prozess (DE-588)4224684-2 gnd Formale Sprache (DE-588)4017848-1 gnd Automatentheorie (DE-588)4003953-5 gnd Abstraktion (DE-588)4141162-6 gnd
topic_facet	Petri-Netz Programmiersprache Endlicher Automat Programm Paralleler Prozess Formale Sprache Automatentheorie Abstraktion Hochschulschrift
volume_link	(DE-604)BV006185376
work_keys_str_mv	AT taubnerdirk thefiniterepresentationofabstractprogramsbyautomataandpetrinets

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