Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Aachen
Shaker
2005
|
| Schriftenreihe: | Berichte aus der Elektrotechnik
|
| Schlagworte: | |
| Beschreibung: | 158 Seiten Illustrationen 21 cm, 237 gr. |
| ISBN: | 3832241159 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV043466064 | ||
| 003 | DE-604 | ||
| 005 | 20160929 | ||
| 007 | t | ||
| 008 | 160317s2005 a||| m||| 00||| ger d | ||
| 015 | |a 05N290834 |2 dnb | ||
| 015 | |a 05A331012 |2 dnb | ||
| 016 | 7 | |a 975472763 |2 DE-101 | |
| 020 | |a 3832241159 |c kart. : EUR 48.80, sfr 97.60 |9 3-8322-4115-9 | ||
| 035 | |a (OCoLC)959631715 | ||
| 035 | |a (DE-599)GBV491628579 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-83 | ||
| 084 | |a ZN 4904 |0 (DE-625)157419: |2 rvk | ||
| 100 | 1 | |a Siegmund, Robert |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme |c Robert Siegmund |
| 264 | 1 | |a Aachen |b Shaker |c 2005 | |
| 300 | |a 158 Seiten |b Illustrationen |c 21 cm, 237 gr. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Berichte aus der Elektrotechnik | |
| 502 | |b Dissertation |c Technische Universität Chemnitz |d 2005 | ||
| 650 | 0 | 7 | |a SystemC |0 (DE-588)4737678-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Digitales System |0 (DE-588)4012300-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logiksynthese |0 (DE-588)4348178-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a System-on-Chip |0 (DE-588)4740357-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Digitales System |0 (DE-588)4012300-5 |D s |
| 689 | 0 | 1 | |a System-on-Chip |0 (DE-588)4740357-3 |D s |
| 689 | 0 | 2 | |a Logiksynthese |0 (DE-588)4348178-4 |D s |
| 689 | 0 | 3 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |D s |
| 689 | 0 | 4 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | 5 | |a SystemC |0 (DE-588)4737678-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028883256 | ||
Datensatz im Suchindex
| _version_ | 1804176081900535808 |
|---|---|
| any_adam_object | |
| author | Siegmund, Robert |
| author_facet | Siegmund, Robert |
| author_role | aut |
| author_sort | Siegmund, Robert |
| author_variant | r s rs |
| building | Verbundindex |
| bvnumber | BV043466064 |
| classification_rvk | ZN 4904 |
| ctrlnum | (OCoLC)959631715 (DE-599)GBV491628579 |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01922nam a2200493 c 4500</leader><controlfield tag="001">BV043466064</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160929 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160317s2005 a||| m||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05N290834</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05A331012</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">975472763</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3832241159</subfield><subfield code="c">kart. : EUR 48.80, sfr 97.60</subfield><subfield code="9">3-8322-4115-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)959631715</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV491628579</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 4904</subfield><subfield code="0">(DE-625)157419:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Siegmund, Robert</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme</subfield><subfield code="c">Robert Siegmund</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Aachen</subfield><subfield code="b">Shaker</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">158 Seiten</subfield><subfield code="b">Illustrationen</subfield><subfield code="c">21 cm, 237 gr.</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">Berichte aus der Elektrotechnik</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">Technische Universität Chemnitz</subfield><subfield code="d">2005</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">SystemC</subfield><subfield code="0">(DE-588)4737678-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Digitales System</subfield><subfield code="0">(DE-588)4012300-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logiksynthese</subfield><subfield code="0">(DE-588)4348178-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">System-on-Chip</subfield><subfield code="0">(DE-588)4740357-3</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">Digitales System</subfield><subfield code="0">(DE-588)4012300-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">System-on-Chip</subfield><subfield code="0">(DE-588)4740357-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Logiksynthese</subfield><subfield code="0">(DE-588)4348178-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">SystemC</subfield><subfield code="0">(DE-588)4737678-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028883256</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV043466064 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:26:31Z |
| institution | BVB |
| isbn | 3832241159 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028883256 |
| oclc_num | 959631715 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 158 Seiten Illustrationen 21 cm, 237 gr. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Shaker |
| record_format | marc |
| series2 | Berichte aus der Elektrotechnik |
| spelling | Siegmund, Robert Verfasser aut Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme Robert Siegmund Aachen Shaker 2005 158 Seiten Illustrationen 21 cm, 237 gr. txt rdacontent n rdamedia nc rdacarrier Berichte aus der Elektrotechnik Dissertation Technische Universität Chemnitz 2005 SystemC (DE-588)4737678-8 gnd rswk-swf Digitales System (DE-588)4012300-5 gnd rswk-swf Logiksynthese (DE-588)4348178-4 gnd rswk-swf Kommunikationsprotokoll (DE-588)4128252-8 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf System-on-Chip (DE-588)4740357-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Digitales System (DE-588)4012300-5 s System-on-Chip (DE-588)4740357-3 s Logiksynthese (DE-588)4348178-4 s Kommunikationsprotokoll (DE-588)4128252-8 s Formale Spezifikationstechnik (DE-588)4299725-2 s SystemC (DE-588)4737678-8 s DE-604 |
| spellingShingle | Siegmund, Robert Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme SystemC (DE-588)4737678-8 gnd Digitales System (DE-588)4012300-5 gnd Logiksynthese (DE-588)4348178-4 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd System-on-Chip (DE-588)4740357-3 gnd |
| subject_GND | (DE-588)4737678-8 (DE-588)4012300-5 (DE-588)4348178-4 (DE-588)4128252-8 (DE-588)4299725-2 (DE-588)4740357-3 (DE-588)4113937-9 |
| title | Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme |
| title_auth | Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme |
| title_exact_search | Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme |
| title_full | Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme Robert Siegmund |
| title_fullStr | Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme Robert Siegmund |
| title_full_unstemmed | Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme Robert Siegmund |
| title_short | Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme |
| title_sort | ein verfahren zur spezifikation von protokollen fur die verifikation und synthese protokollorientierter digitaler systeme |
| topic | SystemC (DE-588)4737678-8 gnd Digitales System (DE-588)4012300-5 gnd Logiksynthese (DE-588)4348178-4 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd System-on-Chip (DE-588)4740357-3 gnd |
| topic_facet | SystemC Digitales System Logiksynthese Kommunikationsprotokoll Formale Spezifikationstechnik System-on-Chip Hochschulschrift |
| work_keys_str_mv | AT siegmundrobert einverfahrenzurspezifikationvonprotokollenfurdieverifikationundsyntheseprotokollorientierterdigitalersysteme |