Verfügbarkeit: Theoretische Informatik - Petri-Netze

Theoretische Informatik - Petri-Netze:

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Priese, Lutz 1947- (VerfasserIn), Wimmel, Harro 1967- (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Berlin [u.a.] Springer 2003
Schriftenreihe:	Springer-Lehrbuch
Schlagworte:	Petri-Netz - Berechenbarkeit - Erreichbarkeit - Entscheidbarkeit Petri-Netz - Formale Sprache Petri-Netz - Interleaving Petri-Netz - Nebenläufigkeit Entscheidbarkeit Interleaving Berechenbarkeit Formale Sprache Erreichbarkeit Petri-Netz Nebenläufigkeit
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	IX, 376 S. graph. Darst.
ISBN:	3540442898

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV016468782
003	DE-604
005	20231019
007	t
008	030128s2003 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
016	7		\|a 966244621 \|2 DE-101
020			\|a 3540442898 \|9 3-540-44289-8
035			\|a (OCoLC)248876553
035			\|a (DE-599)BVBBV016468782
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a ger
044			\|a gw \|c XA-DE-BE
049			\|a DE-384 \|a DE-739 \|a DE-20 \|a DE-473 \|a DE-1050 \|a DE-824 \|a DE-703 \|a DE-355 \|a DE-91G \|a DE-573 \|a DE-521 \|a DE-11 \|a DE-634
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a ST 132 \|0 (DE-625)143589: \|2 rvk
084			\|a 28 \|2 sdnb
084			\|a 27 \|2 sdnb
084			\|a DAT 516f \|2 stub
100	1		\|a Priese, Lutz \|d 1947- \|e Verfasser \|0 (DE-588)13599697X \|4 aut
245	1	0	\|a Theoretische Informatik - Petri-Netze \|c Lutz Priese ; Harro Wimmel
246	1	3	\|a Petri-Netze
264		1	\|a Berlin [u.a.] \|b Springer \|c 2003
300			\|a IX, 376 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Springer-Lehrbuch
650		4	\|a Petri-Netz - Berechenbarkeit - Erreichbarkeit - Entscheidbarkeit
650		4	\|a Petri-Netz - Formale Sprache
650		4	\|a Petri-Netz - Interleaving
650		4	\|a Petri-Netz - Nebenläufigkeit
650	0	7	\|a Entscheidbarkeit \|0 (DE-588)4152398-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Interleaving \|0 (DE-588)4603410-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechenbarkeit \|0 (DE-588)4138368-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 Erreichbarkeit \|0 (DE-588)4334087-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Petri-Netz \|0 (DE-588)4045388-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|2 gnd \|9 rswk-swf
689	0	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	0		\|5 DE-604
689	1	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	1	1	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	1		\|5 DE-604
689	2	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	2	1	\|a Formale Sprache \|0 (DE-588)4017848-1 \|D s
689	2		\|5 DE-604
689	3	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	3	1	\|a Interleaving \|0 (DE-588)4603410-9 \|D s
689	3		\|5 DE-604
689	4	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	4	1	\|a Berechenbarkeit \|0 (DE-588)4138368-0 \|D s
689	4	2	\|a Erreichbarkeit \|0 (DE-588)4334087-8 \|D s
689	4	3	\|a Entscheidbarkeit \|0 (DE-588)4152398-2 \|D s
689	4		\|5 DE-604
700	1		\|a Wimmel, Harro \|d 1967- \|e Verfasser \|0 (DE-588)17336621X \|4 aut
856	4	2	\|m SWB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010182770&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-010182770

Datensatz im Suchindex

_version_	1804129799458783232
adam_text	INHALT WIE EIN BUCH ENTSTEHEN KANN ODER DANKSAGUNG 5 VON DEN ANFAENGEN DER BESIEDLUNG DER LAUSITZ 8 BRAEUCHE, DIE NICHT JEDER KENNT 10 WIE DIE STADT ZU IHREM NAMEN KAM 13 DIE INNERE STADTMAUER 15 DIE ALTE STADT 17 BLICK VOM REICHENTURM 22 RUND UM DEN HAUPTMARKT 29 EIN VERSCHWUNDENER FRIEDHOF, BAUTZENS HAUPT- KIRCHE UND DAS DOMSTIFT 34 ALLES NIKOLAI, DAZU MUEHLEN UND GERBER 55 VON BUECHERN, MOENCHEN UND DER WEISSEN FRAU 64 BURGANLAGE UND ZWEI RAEUBER, PROTSCHENBERG UND EIN UNERMESSLICHER SCHATZ 74 VON DER MUEHLBASTEI ZUM WAHRZEICHEN DER STADT 87 WAECHTER, DAS HAUS DER HEXE UND EIN TURM, DER NICHT ERBAUT WERDEN SOLLTE 96 ZUGEHOERIGKEIT DER LAUSITZ 105 VON BUDUSIN ZU BAUTZEN 105 DIE BESCHRIEBENEN TUERME AUF EINEN BLICK UND WANN SIE ERBAUT WURDEN 106 NOCH EINMAL INNERE STADTMAUER 110 DER SECHSSTAEDTEBUND 113 PEST, FEUER, WASSER, KRIEG 116 DOMKAPITEL UND DOMSTIFT 118 RECHTSPRECHUNG MIT HINDERNISSEN 120 ZU GUTER LETZT 122 DER RAETSEL LOESUNG 127 SAGEN UND GESCHICHTEN AUF EINEN BLICK 128 WANN HAT WELCHES BAUWERK GEOEFFNET? 129 WORTERKLAERUNGEN 131 VERZEICHNIS DER SEHENSWUERDIGKEITEN 141 QUELLENANGABEN 143
any_adam_object	1
author	Priese, Lutz 1947- Wimmel, Harro 1967-
author_GND	(DE-588)13599697X (DE-588)17336621X
author_facet	Priese, Lutz 1947- Wimmel, Harro 1967-
author_role	aut aut
author_sort	Priese, Lutz 1947-
author_variant	l p lp h w hw
building	Verbundindex
bvnumber	BV016468782
classification_rvk	ST 130 ST 132
classification_tum	DAT 516f
ctrlnum	(OCoLC)248876553 (DE-599)BVBBV016468782
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02801nam a2200709 c 4500</leader><controlfield tag="001">BV016468782</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231019 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030128s2003 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">966244621</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540442898</subfield><subfield code="9">3-540-44289-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248876553</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV016468782</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="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-634</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 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Priese, Lutz</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)13599697X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik - Petri-Netze</subfield><subfield code="c">Lutz Priese ; Harro Wimmel</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Petri-Netze</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 376 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="0" ind2=" "><subfield code="a">Springer-Lehrbuch</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri-Netz - Berechenbarkeit - Erreichbarkeit - Entscheidbarkeit</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri-Netz - Formale Sprache</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri-Netz - Interleaving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri-Netz - Nebenläufigkeit</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Interleaving</subfield><subfield code="0">(DE-588)4603410-9</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">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">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</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">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</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">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">Interleaving</subfield><subfield code="0">(DE-588)4603410-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2="1"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="2"><subfield code="a">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="3"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wimmel, Harro</subfield><subfield code="d">1967-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)17336621X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010182770&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010182770</subfield></datafield></record></collection>
id	DE-604.BV016468782
illustrated	Illustrated
indexdate	2024-07-09T19:10:53Z
institution	BVB
isbn	3540442898
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-010182770
oclc_num	248876553
open_access_boolean
owner	DE-384 DE-739 DE-20 DE-473 DE-BY-UBG DE-1050 DE-824 DE-703 DE-355 DE-BY-UBR DE-91G DE-BY-TUM DE-573 DE-521 DE-11 DE-634
owner_facet	DE-384 DE-739 DE-20 DE-473 DE-BY-UBG DE-1050 DE-824 DE-703 DE-355 DE-BY-UBR DE-91G DE-BY-TUM DE-573 DE-521 DE-11 DE-634
physical	IX, 376 S. graph. Darst.
publishDate	2003
publishDateSearch	2003
publishDateSort	2003
publisher	Springer
record_format	marc
series2	Springer-Lehrbuch
spelling	Priese, Lutz 1947- Verfasser (DE-588)13599697X aut Theoretische Informatik - Petri-Netze Lutz Priese ; Harro Wimmel Petri-Netze Berlin [u.a.] Springer 2003 IX, 376 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Springer-Lehrbuch Petri-Netz - Berechenbarkeit - Erreichbarkeit - Entscheidbarkeit Petri-Netz - Formale Sprache Petri-Netz - Interleaving Petri-Netz - Nebenläufigkeit Entscheidbarkeit (DE-588)4152398-2 gnd rswk-swf Interleaving (DE-588)4603410-9 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Erreichbarkeit (DE-588)4334087-8 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Petri-Netz (DE-588)4045388-1 s DE-604 Nebenläufigkeit (DE-588)4115352-2 s Formale Sprache (DE-588)4017848-1 s Interleaving (DE-588)4603410-9 s Berechenbarkeit (DE-588)4138368-0 s Erreichbarkeit (DE-588)4334087-8 s Entscheidbarkeit (DE-588)4152398-2 s Wimmel, Harro 1967- Verfasser (DE-588)17336621X aut SWB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010182770&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Priese, Lutz 1947- Wimmel, Harro 1967- Theoretische Informatik - Petri-Netze Petri-Netz - Berechenbarkeit - Erreichbarkeit - Entscheidbarkeit Petri-Netz - Formale Sprache Petri-Netz - Interleaving Petri-Netz - Nebenläufigkeit Entscheidbarkeit (DE-588)4152398-2 gnd Interleaving (DE-588)4603410-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd Formale Sprache (DE-588)4017848-1 gnd Erreichbarkeit (DE-588)4334087-8 gnd Petri-Netz (DE-588)4045388-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
subject_GND	(DE-588)4152398-2 (DE-588)4603410-9 (DE-588)4138368-0 (DE-588)4017848-1 (DE-588)4334087-8 (DE-588)4045388-1 (DE-588)4115352-2
title	Theoretische Informatik - Petri-Netze
title_alt	Petri-Netze
title_auth	Theoretische Informatik - Petri-Netze
title_exact_search	Theoretische Informatik - Petri-Netze
title_full	Theoretische Informatik - Petri-Netze Lutz Priese ; Harro Wimmel
title_fullStr	Theoretische Informatik - Petri-Netze Lutz Priese ; Harro Wimmel
title_full_unstemmed	Theoretische Informatik - Petri-Netze Lutz Priese ; Harro Wimmel
title_short	Theoretische Informatik - Petri-Netze
title_sort	theoretische informatik petri netze
topic	Petri-Netz - Berechenbarkeit - Erreichbarkeit - Entscheidbarkeit Petri-Netz - Formale Sprache Petri-Netz - Interleaving Petri-Netz - Nebenläufigkeit Entscheidbarkeit (DE-588)4152398-2 gnd Interleaving (DE-588)4603410-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd Formale Sprache (DE-588)4017848-1 gnd Erreichbarkeit (DE-588)4334087-8 gnd Petri-Netz (DE-588)4045388-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
topic_facet	Petri-Netz - Berechenbarkeit - Erreichbarkeit - Entscheidbarkeit Petri-Netz - Formale Sprache Petri-Netz - Interleaving Petri-Netz - Nebenläufigkeit Entscheidbarkeit Interleaving Berechenbarkeit Formale Sprache Erreichbarkeit Petri-Netz Nebenläufigkeit
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010182770&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT prieselutz theoretischeinformatikpetrinetze AT wimmelharro theoretischeinformatikpetrinetze AT prieselutz petrinetze AT wimmelharro petrinetze

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge