Verfügbarkeit: MBMV 2023 :: THWS Bibkatalog

MBMV 2023: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop : 23. – 24. März 2023 in Freiburg

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" Freiburg im Breisgau (VerfasserIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	German
Veröffentlicht:	Berlin VDE VERLAG GMBH [2023]
Schriftenreihe:	ITG-Fachbericht 309
Schlagworte:	Beschreibungssprache Verifikation Modellierung Systemsynthese Entwurfsautomation Konferenzschrift > 2023 > Freiburg
Online-Zugang:	DE-898 DE-863 DE-862
Beschreibung:	1 Online-Ressource (112 Seiten)
ISBN:	9783800760664

Internformat

MARC


LEADER	00000nmm a22000008cb4500
001	BV049662290
003	DE-604
005	20240610
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	240423s2023 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|ger d
020			\|a 9783800760664 \|c Online, pdf \|9 978-3-8007-6066-4
035			\|a (OCoLC)1437849421
035			\|a (DE-599)BVBBV049662290
040			\|a DE-604 \|b ger \|e rda
041	0		\|a ger
044			\|a gw \|c XA-DE-BE
049			\|a DE-863 \|a DE-862 \|a DE-898
084			\|a ZN 4904 \|0 (DE-625)157419: \|2 rvk
111	2		\|a Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" \|n 26. \|d 2023 \|c Freiburg im Breisgau \|j Verfasser \|0 (DE-588)1292583991 \|4 aut
245	1	0	\|a MBMV 2023 \|b Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop : 23. – 24. März 2023 in Freiburg
264		1	\|a Berlin \|b VDE VERLAG GMBH \|c [2023]
300			\|a 1 Online-Ressource (112 Seiten)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a ITG-Fachbericht \|v 309
650	0	7	\|a Beschreibungssprache \|0 (DE-588)4131473-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modellierung \|0 (DE-588)4170297-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systemsynthese \|0 (DE-588)4198909-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entwurfsautomation \|0 (DE-588)4312536-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2023 \|z Freiburg \|2 gnd-content
689	0	0	\|a Entwurfsautomation \|0 (DE-588)4312536-0 \|D s
689	0	1	\|a Systemsynthese \|0 (DE-588)4198909-0 \|D s
689	0	2	\|a Modellierung \|0 (DE-588)4170297-9 \|D s
689	0	3	\|a Beschreibungssprache \|0 (DE-588)4131473-6 \|D s
689	0	4	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0		\|5 DE-604
710	2		\|a Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik \|0 (DE-588)5182076-6 \|4 orm
710	2		\|a Informationstechnische Gesellschaft \|0 (DE-588)2090359-5 \|4 orm
776	0	8	\|i Erscheint auch als \|n CD-ROM \|z 978-3-8007-6065-7
912			\|a ZDB-158-VER
966	e		\|u http://www.content-select.com/index.php?id=bib_view&ean=9783800760664 \|l DE-898 \|p ZDB-158-VER \|q ZDB-158-VER24 \|x Aggregator \|3 Volltext
966	e		\|u http://www.content-select.com/index.php?id=bib_view&ean=9783800760664 \|l DE-863 \|p ZDB-158-VER \|x Aggregator \|3 Volltext
966	e		\|u http://www.content-select.com/index.php?id=bib_view&ean=9783800760664 \|l DE-862 \|p ZDB-158-VER \|x Aggregator \|3 Volltext

Datensatz im Suchindex

DE-BY-FWS_katkey	1071250
_version_	1806528193529643008
adam_text
any_adam_object
author_corporate	Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" Freiburg im Breisgau
author_corporate_role	aut
author_facet	Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" Freiburg im Breisgau
author_sort	Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" Freiburg im Breisgau
building	Verbundindex
bvnumber	BV049662290
classification_rvk	ZN 4904
collection	ZDB-158-VER
ctrlnum	(OCoLC)1437849421 (DE-599)BVBBV049662290
discipline	Elektrotechnik / Elektronik / Nachrichtentechnik
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a22000008cb4500</leader><controlfield tag="001">BV049662290</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240610</controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\|</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">240423s2023 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783800760664</subfield><subfield code="c">Online, pdf</subfield><subfield code="9">978-3-8007-6066-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1437849421</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049662290</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-898</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="111" ind1="2" ind2=" "><subfield code="a">Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"</subfield><subfield code="n">26.</subfield><subfield code="d">2023</subfield><subfield code="c">Freiburg im Breisgau</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1292583991</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">MBMV 2023</subfield><subfield code="b">Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop : 23. – 24. März 2023 in Freiburg</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">VDE VERLAG GMBH</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (112 Seiten)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">ITG-Fachbericht</subfield><subfield code="v">309</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beschreibungssprache</subfield><subfield code="0">(DE-588)4131473-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2023</subfield><subfield code="z">Freiburg</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Beschreibungssprache</subfield><subfield code="0">(DE-588)4131473-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik</subfield><subfield code="0">(DE-588)5182076-6</subfield><subfield code="4">orm</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Informationstechnische Gesellschaft</subfield><subfield code="0">(DE-588)2090359-5</subfield><subfield code="4">orm</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">CD-ROM</subfield><subfield code="z">978-3-8007-6065-7</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-158-VER</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.content-select.com/index.php?id=bib_view&ean=9783800760664</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-158-VER</subfield><subfield code="q">ZDB-158-VER24</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.content-select.com/index.php?id=bib_view&ean=9783800760664</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-158-VER</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.content-select.com/index.php?id=bib_view&ean=9783800760664</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-158-VER</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2023 Freiburg gnd-content
genre_facet	Konferenzschrift 2023 Freiburg
id	DE-604.BV049662290
illustrated	Not Illustrated
indexdate	2024-08-05T08:32:19Z
institution	BVB
institution_GND	(DE-588)1292583991 (DE-588)5182076-6 (DE-588)2090359-5
isbn	9783800760664
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-035005489
oclc_num	1437849421
open_access_boolean
owner	DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-898 DE-BY-UBR
owner_facet	DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-898 DE-BY-UBR
physical	1 Online-Ressource (112 Seiten)
psigel	ZDB-158-VER ZDB-158-VER ZDB-158-VER24
publishDate	2023
publishDateSearch	2023
publishDateSort	2023
publisher	VDE VERLAG GMBH
record_format	marc
series2	ITG-Fachbericht
spellingShingle	MBMV 2023 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop : 23. – 24. März 2023 in Freiburg Beschreibungssprache (DE-588)4131473-6 gnd Verifikation (DE-588)4135577-5 gnd Modellierung (DE-588)4170297-9 gnd Systemsynthese (DE-588)4198909-0 gnd Entwurfsautomation (DE-588)4312536-0 gnd
subject_GND	(DE-588)4131473-6 (DE-588)4135577-5 (DE-588)4170297-9 (DE-588)4198909-0 (DE-588)4312536-0 (DE-588)1071861417
title	MBMV 2023 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop : 23. – 24. März 2023 in Freiburg
title_auth	MBMV 2023 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop : 23. – 24. März 2023 in Freiburg
title_exact_search	MBMV 2023 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop : 23. – 24. März 2023 in Freiburg
title_full	MBMV 2023 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop : 23. – 24. März 2023 in Freiburg
title_fullStr	MBMV 2023 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop : 23. – 24. März 2023 in Freiburg
title_full_unstemmed	MBMV 2023 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop : 23. – 24. März 2023 in Freiburg
title_short	MBMV 2023
title_sort	mbmv 2023 methoden und beschreibungssprachen zur modellierung und verifikation von schaltungen und systemen 26 workshop 23 24 marz 2023 in freiburg
title_sub	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop : 23. – 24. März 2023 in Freiburg
topic	Beschreibungssprache (DE-588)4131473-6 gnd Verifikation (DE-588)4135577-5 gnd Modellierung (DE-588)4170297-9 gnd Systemsynthese (DE-588)4198909-0 gnd Entwurfsautomation (DE-588)4312536-0 gnd
topic_facet	Beschreibungssprache Verifikation Modellierung Systemsynthese Entwurfsautomation Konferenzschrift 2023 Freiburg
work_keys_str_mv	AT workshopmethodenundbeschreibungssprachenzurmodellierungundverifikationvonschaltungenundsystemenfreiburgimbreisgau mbmv2023methodenundbeschreibungssprachenzurmodellierungundverifikationvonschaltungenundsystemen26workshop2324marz2023infreiburg AT gesellschaftmikroelektronikmikroundfeinwerktechnik mbmv2023methodenundbeschreibungssprachenzurmodellierungundverifikationvonschaltungenundsystemen26workshop2324marz2023infreiburg AT informationstechnischegesellschaft mbmv2023methodenundbeschreibungssprachenzurmodellierungundverifikationvonschaltungenundsystemen26workshop2324marz2023infreiburg

Verfügbarkeit

Volltext öffnen

MARC

Datensatz im Suchindex

Ähnliche Einträge