Higher-level hardware synthesis:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Berlin [u.a.]
Springer
2004
|
Schriftenreihe: | Lecture notes in computer science
2963 |
Schlagworte: | |
Beschreibung: | XVI, 195 S. graph. Darst. |
ISBN: | 3540213066 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV017958870 | ||
003 | DE-604 | ||
005 | 20101217 | ||
007 | t| | ||
008 | 040323s2004 gw d||| |||| 00||| ger d | ||
016 | 7 | |a 970624484 |2 DE-101 | |
020 | |a 3540213066 |9 3-540-21306-6 | ||
035 | |a (OCoLC)845676801 | ||
035 | |a (DE-599)BVBBV017958870 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c DE | ||
049 | |a DE-739 |a DE-384 |a DE-91G |a DE-706 | ||
050 | 0 | |a QA76 | |
050 | 0 | |a TK7885.7 | |
082 | 0 | |a 621.39/2 |2 22 | |
084 | |a ST 199 |0 (DE-625)143609: |2 rvk | ||
084 | |a 004 |2 sdnb | ||
084 | |a DAT 190f |2 stub | ||
100 | 1 | |a Sharp, Richard |e Verfasser |4 aut | |
245 | 1 | 0 | |a Higher-level hardware synthesis |c Richard Sharp |
246 | 1 | 3 | |a Higher level hardware synthesis |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2004 | |
300 | |a XVI, 195 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 2963 | |
650 | 7 | |a Compilateur de silicium |2 rasuqam | |
650 | 4 | |a Compilateurs de silicium | |
650 | 7 | |a Langage de description de matériel informatique |2 rasuqam | |
650 | 4 | |a Langages de description de matériel informatique | |
650 | 4 | |a Computer hardware description languages | |
650 | 4 | |a Silicon compilers | |
650 | 0 | 7 | |a Hardwareverifikation |0 (DE-588)4214982-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Hardwarebeschreibungssprache |0 (DE-588)4159102-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logiksynthese |0 (DE-588)4348178-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Hardwareentwurf |0 (DE-588)4159103-3 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Hardwareentwurf |0 (DE-588)4159103-3 |D s |
689 | 0 | 1 | |a Logiksynthese |0 (DE-588)4348178-4 |D s |
689 | 0 | 2 | |a Hardwarebeschreibungssprache |0 (DE-588)4159102-1 |D s |
689 | 0 | 3 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
689 | 0 | |5 DE-604 | |
830 | 0 | |a Lecture notes in computer science |v 2963 |w (DE-604)BV000000607 |9 2963 | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010764134 |
Datensatz im Suchindex
_version_ | 1820874933267333120 |
---|---|
adam_text | |
any_adam_object | |
author | Sharp, Richard |
author_facet | Sharp, Richard |
author_role | aut |
author_sort | Sharp, Richard |
author_variant | r s rs |
building | Verbundindex |
bvnumber | BV017958870 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76 TK7885.7 |
callnumber-search | QA76 TK7885.7 |
callnumber-sort | QA 276 |
callnumber-subject | QA - Mathematics |
classification_rvk | ST 199 |
classification_tum | DAT 190f |
ctrlnum | (OCoLC)845676801 (DE-599)BVBBV017958870 |
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">BV017958870</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101217</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">040323s2004 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">970624484</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540213066</subfield><subfield code="9">3-540-21306-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845676801</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017958870</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76</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">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 199</subfield><subfield code="0">(DE-625)143609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 190f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sharp, Richard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Higher-level hardware synthesis</subfield><subfield code="c">Richard Sharp</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Higher level hardware synthesis</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 195 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">Lecture notes in computer science</subfield><subfield code="v">2963</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Compilateur de silicium</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilateurs de silicium</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langage de description de matériel informatique</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de description de matériel informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer hardware description languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Silicon compilers</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwarebeschreibungssprache</subfield><subfield code="0">(DE-588)4159102-1</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">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Hardwarebeschreibungssprache</subfield><subfield code="0">(DE-588)4159102-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2963</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2963</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010764134</subfield></datafield></record></collection> |
id | DE-604.BV017958870 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:07:37Z |
institution | BVB |
isbn | 3540213066 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010764134 |
oclc_num | 845676801 |
open_access_boolean | |
owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-706 |
owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-706 |
physical | XVI, 195 S. graph. Darst. |
publishDate | 2004 |
publishDateSearch | 2004 |
publishDateSort | 2004 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Sharp, Richard Verfasser aut Higher-level hardware synthesis Richard Sharp Higher level hardware synthesis Berlin [u.a.] Springer 2004 XVI, 195 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2963 Compilateur de silicium rasuqam Compilateurs de silicium Langage de description de matériel informatique rasuqam Langages de description de matériel informatique Computer hardware description languages Silicon compilers Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Hardwarebeschreibungssprache (DE-588)4159102-1 gnd rswk-swf Logiksynthese (DE-588)4348178-4 gnd rswk-swf Hardwareentwurf (DE-588)4159103-3 gnd rswk-swf Hardwareentwurf (DE-588)4159103-3 s Logiksynthese (DE-588)4348178-4 s Hardwarebeschreibungssprache (DE-588)4159102-1 s Hardwareverifikation (DE-588)4214982-4 s DE-604 Lecture notes in computer science 2963 (DE-604)BV000000607 2963 |
spellingShingle | Sharp, Richard Higher-level hardware synthesis Lecture notes in computer science Compilateur de silicium rasuqam Compilateurs de silicium Langage de description de matériel informatique rasuqam Langages de description de matériel informatique Computer hardware description languages Silicon compilers Hardwareverifikation (DE-588)4214982-4 gnd Hardwarebeschreibungssprache (DE-588)4159102-1 gnd Logiksynthese (DE-588)4348178-4 gnd Hardwareentwurf (DE-588)4159103-3 gnd |
subject_GND | (DE-588)4214982-4 (DE-588)4159102-1 (DE-588)4348178-4 (DE-588)4159103-3 |
title | Higher-level hardware synthesis |
title_alt | Higher level hardware synthesis |
title_auth | Higher-level hardware synthesis |
title_exact_search | Higher-level hardware synthesis |
title_full | Higher-level hardware synthesis Richard Sharp |
title_fullStr | Higher-level hardware synthesis Richard Sharp |
title_full_unstemmed | Higher-level hardware synthesis Richard Sharp |
title_short | Higher-level hardware synthesis |
title_sort | higher level hardware synthesis |
topic | Compilateur de silicium rasuqam Compilateurs de silicium Langage de description de matériel informatique rasuqam Langages de description de matériel informatique Computer hardware description languages Silicon compilers Hardwareverifikation (DE-588)4214982-4 gnd Hardwarebeschreibungssprache (DE-588)4159102-1 gnd Logiksynthese (DE-588)4348178-4 gnd Hardwareentwurf (DE-588)4159103-3 gnd |
topic_facet | Compilateur de silicium Compilateurs de silicium Langage de description de matériel informatique Langages de description de matériel informatique Computer hardware description languages Silicon compilers Hardwareverifikation Hardwarebeschreibungssprache Logiksynthese Hardwareentwurf |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT sharprichard higherlevelhardwaresynthesis |