Verfügbarkeit: Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Weber, Karl (VerfasserIn)
Format:	Hochschulschrift/Dissertation Buch
Sprache:	Deutsch
Veröffentlicht:	Erlangen Inst. f. Mathemat. Maschinen u. Datenverarb. (Informatik) 1983
Schriftenreihe:	Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) 16,9
Schlagwörter:	Zuverlässigkeit Wiederherstellung > Informatik Programmverifikation Debugging Software Hochschulschrift
Umfang:	200 S. graph.Darst.

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV000125072
003	DE-604
005	20200108
007	t\|
008	870612s1983 xx d\|\|\| m\|\|\| 00\|\|\| ger d
035			\|a (OCoLC)46034078
035			\|a (DE-599)BVBBV000125072
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
049			\|a DE-12 \|a DE-384 \|a DE-355 \|a DE-29 \|a DE-29T \|a DE-83 \|a DE-11 \|a DE-188 \|a DE-703 \|a DE-824 \|a DE-91G
084			\|a SK 950 \|0 (DE-625)143273: \|2 rvk
084			\|a DAT 286d \|2 stub
084			\|a DAT 780d \|2 stub
084			\|a DAT 216d \|2 stub
100	1		\|a Weber, Karl \|e Verfasser \|4 aut
245	1	0	\|a Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe
264		1	\|a Erlangen \|b Inst. f. Mathemat. Maschinen u. Datenverarb. (Informatik) \|c 1983
300			\|a 200 S. \|b graph.Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) \|v 16,9
502			\|a Zugl.: Erlangen-Nürnberg, Univ., Diss.
650	0	7	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Wiederherstellung \|g Informatik \|0 (DE-588)4177289-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Debugging \|0 (DE-588)4148954-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software \|0 (DE-588)4055382-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Debugging \|0 (DE-588)4148954-8 \|D s
689	0		\|5 DE-604
689	1	0	\|a Software \|0 (DE-588)4055382-6 \|D s
689	1	1	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|D s
689	1		\|5 DE-604
689	2	0	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	2		\|5 DE-604
689	3	0	\|a Wiederherstellung \|g Informatik \|0 (DE-588)4177289-1 \|D s
689	3		\|5 DE-604
830		0	\|a Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) \|v 16,9 \|w (DE-604)BV004860307 \|9 16,9
940	1		\|q TUB-nvmb
943	1		\|a oai:aleph.bib-bvb.de:BVB01-000067943

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 DAT 001z 2001 A 987-16,9
DE-BY-TUM_katkey	2449538
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010053615
DE-BY-UBR_call_number	23/Z5136591
DE-BY-UBR_katkey	205964
DE-BY-UBR_location	UB Magazin
DE-BY-UBR_media_number	069018342727
_version_	1835089435842052097
adam_text
any_adam_object
author	Weber, Karl
author_facet	Weber, Karl
author_role	aut
author_sort	Weber, Karl
author_variant	k w kw
building	Verbundindex
bvnumber	BV000125072
classification_rvk	SK 950
classification_tum	DAT 286d DAT 780d DAT 216d
ctrlnum	(OCoLC)46034078 (DE-599)BVBBV000125072
discipline	Informatik Mathematik
format	Thesis Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV000125072</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200108</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">870612s1983 xx d\|\|\| m\|\|\| 00\|\|\| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46034078</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000125072</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 950</subfield><subfield code="0">(DE-625)143273:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 780d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 216d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Weber, Karl</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Erlangen</subfield><subfield code="b">Inst. f. Mathemat. Maschinen u. Datenverarb. (Informatik)</subfield><subfield code="c">1983</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">200 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">Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik)</subfield><subfield code="v">16,9</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Erlangen-Nürnberg, Univ., Diss.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wiederherstellung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4177289-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Debugging</subfield><subfield code="0">(DE-588)4148954-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><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">Debugging</subfield><subfield code="0">(DE-588)4148954-8</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">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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">Wiederherstellung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4177289-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik)</subfield><subfield code="v">16,9</subfield><subfield code="w">(DE-604)BV004860307</subfield><subfield code="9">16,9</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nvmb</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000067943</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV000125072
illustrated	Illustrated
indexdate	2025-01-11T19:10:00Z
institution	BVB
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-000067943
oclc_num	46034078
open_access_boolean
owner	DE-12 DE-384 DE-355 DE-BY-UBR DE-29 DE-29T DE-83 DE-11 DE-188 DE-703 DE-824 DE-91G DE-BY-TUM
owner_facet	DE-12 DE-384 DE-355 DE-BY-UBR DE-29 DE-29T DE-83 DE-11 DE-188 DE-703 DE-824 DE-91G DE-BY-TUM
physical	200 S. graph.Darst.
psigel	TUB-nvmb
publishDate	1983
publishDateSearch	1983
publishDateSort	1983
publisher	Inst. f. Mathemat. Maschinen u. Datenverarb. (Informatik)
record_format	marc
series	Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik)
series2	Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik)
spellingShingle	Weber, Karl Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) Zuverlässigkeit (DE-588)4059245-5 gnd Wiederherstellung Informatik (DE-588)4177289-1 gnd Programmverifikation (DE-588)4135576-3 gnd Debugging (DE-588)4148954-8 gnd Software (DE-588)4055382-6 gnd
subject_GND	(DE-588)4059245-5 (DE-588)4177289-1 (DE-588)4135576-3 (DE-588)4148954-8 (DE-588)4055382-6 (DE-588)4113937-9
title	Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe
title_auth	Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe
title_exact_search	Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe
title_full	Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe
title_fullStr	Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe
title_full_unstemmed	Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe
title_short	Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe
title_sort	modellierung von fehlverhalten mit berucksichtigung paralleler ablaufe
topic	Zuverlässigkeit (DE-588)4059245-5 gnd Wiederherstellung Informatik (DE-588)4177289-1 gnd Programmverifikation (DE-588)4135576-3 gnd Debugging (DE-588)4148954-8 gnd Software (DE-588)4055382-6 gnd
topic_facet	Zuverlässigkeit Wiederherstellung Informatik Programmverifikation Debugging Software Hochschulschrift
volume_link	(DE-604)BV004860307
work_keys_str_mv	AT weberkarl modellierungvonfehlverhaltenmitberucksichtigungparallelerablaufe

Verfügbarkeit

Bestellen (Login erforderlich)

Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 001z 2001 A 987-16,9
Exemplar 1	Ausleihbar Am Standort