Formal analysis of fault-tolerant algorithms in the time-triggered architecture:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Abschlussarbeit Elektronisch Software E-Book |
Sprache: | English |
Veröffentlicht: |
2003
|
Schlagworte: | |
Beschreibung: | 1 CD-ROM 12 cm |
Format: | Acrobat Reader |
Internformat
MARC
LEADER | 00000nmm a2200000 c 4500 | ||
---|---|---|---|
001 | BV026499049 | ||
003 | DE-604 | ||
005 | 20110228 | ||
006 | a m||| 00||| | ||
007 | co|uuu---uuuuu | ||
008 | 110326s2003 |||| q||u| ||||||eng d | ||
035 | |a (OCoLC)918226597 | ||
035 | |a (DE-599)BVBBV026499049 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-188 | ||
100 | 1 | |a Pfeifer, Holger |e Verfasser |4 aut | |
245 | 1 | 0 | |a Formal analysis of fault-tolerant algorithms in the time-triggered architecture |c vorgelegt von Holger Pfeifer |
264 | 1 | |c 2003 | |
300 | |a 1 CD-ROM |c 12 cm | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cd |2 rdacarrier | ||
502 | |a Ulm, Univ., Diss., 2003 | ||
538 | |a Acrobat Reader | ||
655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
999 | |a oai:aleph.bib-bvb.de:BVB01-022066616 |
Datensatz im Suchindex
_version_ | 1804145081383387136 |
---|---|
any_adam_object | |
author | Pfeifer, Holger |
author_facet | Pfeifer, Holger |
author_role | aut |
author_sort | Pfeifer, Holger |
author_variant | h p hp |
building | Verbundindex |
bvnumber | BV026499049 |
ctrlnum | (OCoLC)918226597 (DE-599)BVBBV026499049 |
format | Thesis Electronic Software eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00866nmm a2200289 c 4500</leader><controlfield tag="001">BV026499049</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110228 </controlfield><controlfield tag="006">a m||| 00||| </controlfield><controlfield tag="007">co|uuu---uuuuu</controlfield><controlfield tag="008">110326s2003 |||| q||u| ||||||eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)918226597</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV026499049</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pfeifer, Holger</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal analysis of fault-tolerant algorithms in the time-triggered architecture</subfield><subfield code="c">vorgelegt von Holger Pfeifer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 CD-ROM</subfield><subfield code="c">12 cm</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cd</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Ulm, Univ., Diss., 2003</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Acrobat Reader</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022066616</subfield></datafield></record></collection> |
genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV026499049 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T23:13:47Z |
institution | BVB |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022066616 |
oclc_num | 918226597 |
open_access_boolean | |
owner | DE-188 |
owner_facet | DE-188 |
physical | 1 CD-ROM 12 cm |
publishDate | 2003 |
publishDateSearch | 2003 |
publishDateSort | 2003 |
record_format | marc |
spelling | Pfeifer, Holger Verfasser aut Formal analysis of fault-tolerant algorithms in the time-triggered architecture vorgelegt von Holger Pfeifer 2003 1 CD-ROM 12 cm txt rdacontent c rdamedia cd rdacarrier Ulm, Univ., Diss., 2003 Acrobat Reader (DE-588)4113937-9 Hochschulschrift gnd-content |
spellingShingle | Pfeifer, Holger Formal analysis of fault-tolerant algorithms in the time-triggered architecture |
subject_GND | (DE-588)4113937-9 |
title | Formal analysis of fault-tolerant algorithms in the time-triggered architecture |
title_auth | Formal analysis of fault-tolerant algorithms in the time-triggered architecture |
title_exact_search | Formal analysis of fault-tolerant algorithms in the time-triggered architecture |
title_full | Formal analysis of fault-tolerant algorithms in the time-triggered architecture vorgelegt von Holger Pfeifer |
title_fullStr | Formal analysis of fault-tolerant algorithms in the time-triggered architecture vorgelegt von Holger Pfeifer |
title_full_unstemmed | Formal analysis of fault-tolerant algorithms in the time-triggered architecture vorgelegt von Holger Pfeifer |
title_short | Formal analysis of fault-tolerant algorithms in the time-triggered architecture |
title_sort | formal analysis of fault tolerant algorithms in the time triggered architecture |
topic_facet | Hochschulschrift |
work_keys_str_mv | AT pfeiferholger formalanalysisoffaulttolerantalgorithmsinthetimetriggeredarchitecture |