|
|
|
|
LEADER |
03081cam a22007092 4500 |
001 |
0-115244087X |
003 |
DE-627 |
005 |
20220612101640.0 |
007 |
tu |
008 |
991217s1999 xx ||||| m 00| ||und c |
020 |
|
|
|a 3854870787
|9 3-85487-078-7
|
035 |
|
|
|a (DE-627)115244087X
|
035 |
|
|
|a (DE-576)082440875
|
035 |
|
|
|a (DE-599)BSZ082440875
|
035 |
|
|
|a (OCoLC)47318107
|
035 |
|
|
|a (DE-604)8129130508
|
040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
084 |
|
|
|a ST 190
|2 rvk
|0 (DE-625)rvk/143607:
|
100 |
1 |
|
|a Schutti, Markus
|4 aut
|
245 |
1 |
0 |
|a Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese
|
264 |
|
1 |
|a Linz
|b Universitätsverl. Trauner
|c 1999
|
300 |
|
|
|a VII, 242 S.
|
336 |
|
|
|a Text
|b txt
|2 rdacontent
|
337 |
|
|
|a ohne Hilfsmittel zu benutzen
|b n
|2 rdamedia
|
338 |
|
|
|a Band
|b nc
|2 rdacarrier
|
490 |
1 |
|
|a Schriften der Johannes-Kepler-Universität Linz
|a Reihe C, Technik und Naturwissenschaften
|v 30
|
502 |
|
|
|a Zugl.: Linz, Univ., Diss., 1999
|
583 |
1 |
|
|a Archivierung prüfen
|c 20200919
|f DE-640
|z 2
|2 pdager
|
655 |
|
7 |
|a Hochschulschrift
|0 (DE-588)4113937-9
|0 (DE-627)105825778
|0 (DE-576)209480580
|2 gnd-content
|
689 |
0 |
0 |
|d s
|0 (DE-588)4012295-5
|0 (DE-627)106349074
|0 (DE-576)208897798
|a Digitalschaltung
|2 gnd
|
689 |
0 |
1 |
|d s
|0 (DE-588)4135577-5
|0 (DE-627)104649100
|0 (DE-576)209661933
|a Verifikation
|2 gnd
|
689 |
0 |
2 |
|d s
|0 (DE-588)4348178-4
|0 (DE-627)157269779
|0 (DE-576)211494208
|a Logiksynthese
|2 gnd
|
689 |
0 |
3 |
|d s
|0 (DE-588)4254792-1
|0 (DE-627)10449879X
|0 (DE-576)210542187
|a VHDL
|2 gnd
|
689 |
0 |
|
|5 DE-101
|
810 |
2 |
|
|a Johannes Kepler Universität Linz
|t Schriften der Johannes-Kepler-Universität Linz / C
|v 30
|9 30
|w (DE-627)110891408X
|w (DE-576)038914085
|7 ns
|
936 |
r |
v |
|a ST 190
|b Schaltungskreistechnik (techn.-physik.), Integrierte Schaltung, spez. Schaltkreise, VLSI, TTL, ECL etc.
|k Informatik
|k Monografien
|k Technische Informatik
|k Schaltungskreistechnik (techn.-physik.), Integrierte Schaltung, spez. Schaltkreise, VLSI, TTL, ECL etc.
|0 (DE-627)1271487810
|0 (DE-625)rvk/143607:
|0 (DE-576)201487810
|
951 |
|
|
|a BO
|
950 |
|
|
|a Very High Speed Integrated Circuit Hardware Description Language
|
950 |
|
|
|a Very High Scale Integrated Circuit Hardware Description Language
|
950 |
|
|
|a Hardwarebeschreibungssprache
|
950 |
|
|
|a VAL
|
950 |
|
|
|a VHDL-AMS
|
950 |
|
|
|a Verifizierung
|
950 |
|
|
|a Verifizierbarkeit
|
950 |
|
|
|a Logik
|
950 |
|
|
|a Erkenntnis
|
950 |
|
|
|a Wahrheit
|
950 |
|
|
|a Верификация
|
950 |
|
|
|a Digitale Schaltung
|
950 |
|
|
|a Schaltung
|
950 |
|
|
|a System-level synthesis
|
950 |
|
|
|a High-level synthesis
|
950 |
|
|
|a Algorithmic synthesis
|
950 |
|
|
|a Register-transfer level synthesis
|
950 |
|
|
|a Logic-level synthesis
|
950 |
|
|
|a Automatische Logiksynthese
|
950 |
|
|
|a Logischer Entwurf
|
950 |
|
|
|a Entwurfsautomation
|
950 |
|
|
|a Register-Transfer-Ebene
|
975 |
|
|
|o 57 834
|
852 |
|
|
|a DE-Zwi2
|x epn:2370614838
|z 2024-04-18T10:03:29Z
|
980 |
|
|
|a 115244087X
|b 0
|k 115244087X
|o 082440875
|
SOLR
_version_ |
1796789194291412992 |
author |
Schutti, Markus |
author_facet |
Schutti, Markus |
author_role |
aut |
author_sort |
Schutti, Markus |
author_variant |
m s ms |
barcode_dezwi2 |
00240972 |
branch_dezwi2 |
Hauptbibliothek |
callnumber_dezwi2 |
ZN 5630 S396, 57 834 |
collcode_dezwi2 |
Freihand |
ctrlnum |
(DE-627)115244087X, (DE-576)082440875, (DE-599)BSZ082440875, (OCoLC)47318107, (DE-604)8129130508 |
facet_avail |
Local |
facet_local_del330 |
Digitalschaltung, Verifikation, Logiksynthese, VHDL |
finc_class_facet |
Informatik |
finc_id_str |
0002543494 |
fincclass_txtF_mv |
science-computerscience |
format |
Book, Thesis |
format_access_txtF_mv |
Thesis |
format_de14 |
Book, E-Book |
format_de15 |
Book, E-Book |
format_del152 |
Buch |
format_detail_txtF_mv |
text-print-monograph-independent-thesis |
format_dezi4 |
e-Book |
format_finc |
Book, E-Book, Thesis |
format_legacy |
Book |
format_legacy_nrw |
Book, E-Book |
format_nrw |
Book, E-Book |
format_strict_txtF_mv |
Thesis |
genre |
Hochschulschrift (DE-588)4113937-9 (DE-627)105825778 (DE-576)209480580 gnd-content |
genre_facet |
Hochschulschrift |
geogr_code |
not assigned |
geogr_code_person |
not assigned |
hierarchy_parent_id |
0-110891408X |
hierarchy_parent_title |
Johannes Kepler Universität Linz: Schriften der Johannes-Kepler-Universität Linz / C |
hierarchy_sequence |
30 |
hierarchy_top_id |
0-110891408X |
hierarchy_top_title |
Johannes Kepler Universität Linz: Schriften der Johannes-Kepler-Universität Linz / C |
id |
0-115244087X |
illustrated |
Not Illustrated |
imprint |
Linz, Universitätsverl. Trauner, 1999 |
imprint_str_mv |
Linz: Universitätsverl. Trauner, 1999 |
institution |
DE-Zwi2 |
is_hierarchy_id |
0-115244087X |
is_hierarchy_title |
Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese |
isbn |
3854870787 |
kxp_id_str |
115244087X |
language |
Undetermined |
last_indexed |
2024-04-19T18:35:05.004Z |
local_heading_facet_dezwi2 |
Digitalschaltung, Verifikation, Logiksynthese, VHDL |
marc_error |
[geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @11ec833, Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ], Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ], Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ], Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ] |
match_str |
schutti1999modellbildungundverifikationvonkomplexendigitalenschaltungenineinemdesignflowbasierendaufvhdlundsynthese |
mega_collection |
Verbunddaten SWB |
multipart_link |
038914085 |
multipart_part |
(038914085)30 |
oclc_num |
47318107 |
physical |
VII, 242 S. |
publishDate |
1999 |
publishDateSort |
1999 |
publishPlace |
Linz |
publisher |
Universitätsverl. Trauner |
record_format |
marcfinc |
record_id |
082440875 |
recordtype |
marcfinc |
rvk_facet |
ST 190 |
rvk_label |
Informatik, Monografien, Technische Informatik, Schaltungskreistechnik (techn.-physik.), Integrierte Schaltung, spez. Schaltkreise, VLSI, TTL, ECL etc. |
rvk_path |
ST, SQ - SU, ST 190, ST 150 - ST 199 |
rvk_path_str_mv |
ST, SQ - SU, ST 190, ST 150 - ST 199 |
series |
Johannes Kepler Universität Linz, Schriften der Johannes-Kepler-Universität Linz / C, 30 |
series2 |
Schriften der Johannes-Kepler-Universität Linz ; Reihe C, Technik und Naturwissenschaften ; 30 |
source_id |
0 |
spelling |
Schutti, Markus aut, Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese, Linz Universitätsverl. Trauner 1999, VII, 242 S., Text txt rdacontent, ohne Hilfsmittel zu benutzen n rdamedia, Band nc rdacarrier, Schriften der Johannes-Kepler-Universität Linz Reihe C, Technik und Naturwissenschaften 30, Zugl.: Linz, Univ., Diss., 1999, Archivierung prüfen 20200919 DE-640 2 pdager, Hochschulschrift (DE-588)4113937-9 (DE-627)105825778 (DE-576)209480580 gnd-content, s (DE-588)4012295-5 (DE-627)106349074 (DE-576)208897798 Digitalschaltung gnd, s (DE-588)4135577-5 (DE-627)104649100 (DE-576)209661933 Verifikation gnd, s (DE-588)4348178-4 (DE-627)157269779 (DE-576)211494208 Logiksynthese gnd, s (DE-588)4254792-1 (DE-627)10449879X (DE-576)210542187 VHDL gnd, DE-101, Johannes Kepler Universität Linz Schriften der Johannes-Kepler-Universität Linz / C 30 30 (DE-627)110891408X (DE-576)038914085 ns, DE-Zwi2 epn:2370614838 2024-04-18T10:03:29Z |
spellingShingle |
Schutti, Markus, Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese, Johannes Kepler Universität Linz, Schriften der Johannes-Kepler-Universität Linz / C, 30, Hochschulschrift, Digitalschaltung, Verifikation, Logiksynthese, VHDL |
swb_id_str |
082440875 |
title |
Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese |
title_auth |
Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese |
title_full |
Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese |
title_fullStr |
Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese |
title_full_unstemmed |
Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese |
title_in_hierarchy |
30. Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese (1999) |
title_short |
Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese |
title_sort |
modellbildung und verifikation von komplexen digitalen schaltungen in einem designflow basierend auf vhdl und synthese |
title_unstemmed |
Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese |
topic |
Hochschulschrift, Digitalschaltung, Verifikation, Logiksynthese, VHDL |
topic_facet |
Hochschulschrift, Digitalschaltung, Verifikation, Logiksynthese, VHDL |
work_keys_str_mv |
AT schuttimarkus modellbildungundverifikationvonkomplexendigitalenschaltungenineinemdesignflowbasierendaufvhdlundsynthese |