Formal semantics for VHDL:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Boston [u.a.]
Kluwer
1995
|
| Series: | The Kluwer international series in engineering and computer science
307 : VLSI, computer architecture and digital signal processing |
| Subjects: | |
| Physical Description: | XIII, 249 S. graph. Darst. |
| ISBN: | 0792395522 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010345119 | ||
| 003 | DE-604 | ||
| 005 | 20090108 | ||
| 007 | t | ||
| 008 | 950818s1995 d||| |||| 00||| eng d | ||
| 020 | |a 0792395522 |9 0-7923-9552-2 | ||
| 035 | |a (OCoLC)31754880 | ||
| 035 | |a (DE-599)BVBBV010345119 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-29T |a DE-634 |a DE-83 | ||
| 050 | 0 | |a TK7885.7 | |
| 082 | 0 | |a 621.39/2 |2 20 | |
| 084 | |a ST 190 |0 (DE-625)143607: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 557f |2 stub | ||
| 084 | |a DAT 370f |2 stub | ||
| 245 | 1 | 0 | |a Formal semantics for VHDL |c ed. by Carlos Delgado Kloos ... |
| 264 | 1 | |a Boston [u.a.] |b Kluwer |c 1995 | |
| 300 | |a XIII, 249 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 307 : VLSI, computer architecture and digital signal processing | |
| 650 | 7 | |a Langages de description de matériel informatique |2 ram | |
| 650 | 7 | |a VHDL (langage de description de matériel informatique) |2 ram | |
| 650 | 7 | |a VHDL |2 gtt | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 4 | |a VHDL (Computer hardware description language) | |
| 650 | 0 | 7 | |a VHDL |0 (DE-588)4254792-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a VHDL |0 (DE-588)4254792-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Delgado Kloos, Carlos |e Sonstige |0 (DE-588)1028939744 |4 oth | |
| 830 | 0 | |a The Kluwer international series in engineering and computer science |v 307 : VLSI, computer architecture and digital signal processing |w (DE-604)BV023545171 |9 307 | |
Record in the Search Index
| _version_ | 1805079342547468288 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)1028939744 |
| building | Verbundindex |
| bvnumber | BV010345119 |
| 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 190 ST 250 |
| classification_tum | DAT 557f DAT 370f |
| ctrlnum | (OCoLC)31754880 (DE-599)BVBBV010345119 |
| 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010345119</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090108</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950818s1995 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792395522</subfield><subfield code="9">0-7923-9552-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31754880</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010345119</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-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</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 190</subfield><subfield code="0">(DE-625)143607:</subfield><subfield code="2">rvk</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">DAT 557f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 370f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal semantics for VHDL</subfield><subfield code="c">ed. by Carlos Delgado Kloos ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 249 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">307 : VLSI, computer architecture and digital signal processing</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de description de matériel informatique</subfield><subfield code="2">ram</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="7"><subfield code="a">VHDL</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</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="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">Delgado Kloos, Carlos</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1028939744</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">307 : VLSI, computer architecture and digital signal processing</subfield><subfield code="w">(DE-604)BV023545171</subfield><subfield code="9">307</subfield></datafield></record></collection> |
| id | DE-604.BV010345119 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T06:43:28Z |
| institution | BVB |
| isbn | 0792395522 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006886061 |
| oclc_num | 31754880 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-29T DE-634 DE-83 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-29T DE-634 DE-83 |
| physical | XIII, 249 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Kluwer |
| record_format | marc |
| series | The Kluwer international series in engineering and computer science |
| series2 | The Kluwer international series in engineering and computer science |
| spelling | Formal semantics for VHDL ed. by Carlos Delgado Kloos ... Boston [u.a.] Kluwer 1995 XIII, 249 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier The Kluwer international series in engineering and computer science 307 : VLSI, computer architecture and digital signal processing Langages de description de matériel informatique ram VHDL (langage de description de matériel informatique) ram VHDL gtt Programming languages (Electronic computers) Semantics VHDL (Computer hardware description language) VHDL (DE-588)4254792-1 gnd rswk-swf VHDL (DE-588)4254792-1 s DE-604 Delgado Kloos, Carlos Sonstige (DE-588)1028939744 oth The Kluwer international series in engineering and computer science 307 : VLSI, computer architecture and digital signal processing (DE-604)BV023545171 307 |
| spellingShingle | Formal semantics for VHDL The Kluwer international series in engineering and computer science Langages de description de matériel informatique ram VHDL (langage de description de matériel informatique) ram VHDL gtt Programming languages (Electronic computers) Semantics VHDL (Computer hardware description language) VHDL (DE-588)4254792-1 gnd |
| subject_GND | (DE-588)4254792-1 |
| title | Formal semantics for VHDL |
| title_auth | Formal semantics for VHDL |
| title_exact_search | Formal semantics for VHDL |
| title_full | Formal semantics for VHDL ed. by Carlos Delgado Kloos ... |
| title_fullStr | Formal semantics for VHDL ed. by Carlos Delgado Kloos ... |
| title_full_unstemmed | Formal semantics for VHDL ed. by Carlos Delgado Kloos ... |
| title_short | Formal semantics for VHDL |
| title_sort | formal semantics for vhdl |
| topic | Langages de description de matériel informatique ram VHDL (langage de description de matériel informatique) ram VHDL gtt Programming languages (Electronic computers) Semantics VHDL (Computer hardware description language) VHDL (DE-588)4254792-1 gnd |
| topic_facet | Langages de description de matériel informatique VHDL (langage de description de matériel informatique) VHDL Programming languages (Electronic computers) Semantics VHDL (Computer hardware description language) |
| volume_link | (DE-604)BV023545171 |
| work_keys_str_mv | AT delgadoklooscarlos formalsemanticsforvhdl |