VHDL for simulation, synthesis and formal proofs of hardware:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Dordrecht u.a.
Kluwer Acad. Publ.
1992
|
| Series: | The Kluwer international series in engineering and computer science
183 |
| Subjects: | |
| Item Description: | Literaturangaben |
| Physical Description: | IX, 307 S. graph. Darst. |
| ISBN: | 0792392531 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV006607366 | ||
| 003 | DE-604 | ||
| 005 | 20150205 | ||
| 007 | t | ||
| 008 | 930210s1992 d||| |||| 00||| eng d | ||
| 020 | |a 0792392531 |9 0-7923-9253-1 | ||
| 035 | |a (OCoLC)25832172 | ||
| 035 | |a (DE-599)BVBBV006607366 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-92 |a DE-29T |a DE-91 |a DE-523 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a TK7885.7 | |
| 082 | 0 | |a 621.39/2 |2 20 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a ZN 4902 |0 (DE-625)157418: |2 rvk | ||
| 084 | |a ZN 4940 |0 (DE-625)157423: |2 rvk | ||
| 084 | |a DAT 190f |2 stub | ||
| 245 | 1 | 0 | |a VHDL for simulation, synthesis and formal proofs of hardware |c ed. by Jean Mermet |
| 264 | 1 | |a Dordrecht u.a. |b Kluwer Acad. Publ. |c 1992 | |
| 300 | |a IX, 307 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a The Kluwer international series in engineering and computer science |v 183 | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a VHDL (langage de description de matériel informatique) |2 ram | |
| 650 | 4 | |a VHDL (Computer hardware description language) | |
| 650 | 0 | 7 | |a VHDL |0 (DE-588)4254792-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a VHDL |0 (DE-588)4254792-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Mermet, Jean |e Sonstige |4 oth | |
| 830 | 0 | |a The Kluwer international series in engineering and computer science |v 183 |w (DE-604)BV023545171 |9 183 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004220927 | ||
Record in the Search Index
| _version_ | 1804120882295078912 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV006607366 |
| callnumber-first | T - Technology |
| callnumber-label | TK7885 |
| callnumber-raw | TK7885.7 |
| callnumber-search | TK7885.7 |
| callnumber-sort | TK 47885.7 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | ST 250 ZN 4902 ZN 4940 |
| classification_tum | DAT 190f |
| ctrlnum | (OCoLC)25832172 (DE-599)BVBBV006607366 |
| dewey-full | 621.39/2 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.39/2 |
| dewey-search | 621.39/2 |
| dewey-sort | 3621.39 12 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01576nam a2200433 cb4500</leader><controlfield tag="001">BV006607366</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150205 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930210s1992 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792392531</subfield><subfield code="9">0-7923-9253-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25832172</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006607366</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7885.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.39/2</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 4902</subfield><subfield code="0">(DE-625)157418:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 4940</subfield><subfield code="0">(DE-625)157423:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 190f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">VHDL for simulation, synthesis and formal proofs of hardware</subfield><subfield code="c">ed. by Jean Mermet</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht u.a.</subfield><subfield code="b">Kluwer Acad. Publ.</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 307 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">The Kluwer international series in engineering and computer science</subfield><subfield code="v">183</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">VHDL (langage de description de matériel informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">VHDL (Computer hardware description language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">VHDL</subfield><subfield code="0">(DE-588)4254792-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">VHDL</subfield><subfield code="0">(DE-588)4254792-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mermet, Jean</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">The Kluwer international series in engineering and computer science</subfield><subfield code="v">183</subfield><subfield code="w">(DE-604)BV023545171</subfield><subfield code="9">183</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004220927</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV006607366 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:49:09Z |
| institution | BVB |
| isbn | 0792392531 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004220927 |
| oclc_num | 25832172 |
| open_access_boolean | |
| owner | DE-739 DE-92 DE-29T DE-91 DE-BY-TUM DE-523 DE-83 DE-11 |
| owner_facet | DE-739 DE-92 DE-29T DE-91 DE-BY-TUM DE-523 DE-83 DE-11 |
| physical | IX, 307 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Kluwer Acad. Publ. |
| record_format | marc |
| series | The Kluwer international series in engineering and computer science |
| series2 | The Kluwer international series in engineering and computer science |
| spelling | VHDL for simulation, synthesis and formal proofs of hardware ed. by Jean Mermet Dordrecht u.a. Kluwer Acad. Publ. 1992 IX, 307 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier The Kluwer international series in engineering and computer science 183 Literaturangaben VHDL (langage de description de matériel informatique) ram VHDL (Computer hardware description language) VHDL (DE-588)4254792-1 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content VHDL (DE-588)4254792-1 s DE-604 Mermet, Jean Sonstige oth The Kluwer international series in engineering and computer science 183 (DE-604)BV023545171 183 |
| spellingShingle | VHDL for simulation, synthesis and formal proofs of hardware The Kluwer international series in engineering and computer science VHDL (langage de description de matériel informatique) ram VHDL (Computer hardware description language) VHDL (DE-588)4254792-1 gnd |
| subject_GND | (DE-588)4254792-1 (DE-588)4143413-4 |
| title | VHDL for simulation, synthesis and formal proofs of hardware |
| title_auth | VHDL for simulation, synthesis and formal proofs of hardware |
| title_exact_search | VHDL for simulation, synthesis and formal proofs of hardware |
| title_full | VHDL for simulation, synthesis and formal proofs of hardware ed. by Jean Mermet |
| title_fullStr | VHDL for simulation, synthesis and formal proofs of hardware ed. by Jean Mermet |
| title_full_unstemmed | VHDL for simulation, synthesis and formal proofs of hardware ed. by Jean Mermet |
| title_short | VHDL for simulation, synthesis and formal proofs of hardware |
| title_sort | vhdl for simulation synthesis and formal proofs of hardware |
| topic | VHDL (langage de description de matériel informatique) ram VHDL (Computer hardware description language) VHDL (DE-588)4254792-1 gnd |
| topic_facet | VHDL (langage de description de matériel informatique) VHDL (Computer hardware description language) VHDL Aufsatzsammlung |
| volume_link | (DE-604)BV023545171 |
| work_keys_str_mv | AT mermetjean vhdlforsimulationsynthesisandformalproofsofhardware |