Kompetenzen in der Kompetenzerfassung
: Ansätze und Auswirkungen der Vermessung von Bildung / Michaela Pfadenhauer ; Alexa M. Kunz (Hrsg.). - Weinheim : Beltz Juventa, 2012. - 192 S. : Ill., graph. Darst.; 23 cm
ISBN 978-3-7799-2834-8 / 3-7799-2834-5 kart. : EUR 24.95
Literaturangaben
Quelle: DNB Verlagsmeldungen
Dai, Fan: Lebendige virtuelle Welten
: physikalisch-basierte Modelle in Computeranimation und virtuelle Realität / Fan Dai. - Berlin : Springer, 1997. - XIV, 158 S. : Ill., graph. Darst.; 24 cm - (Beiträge zur graphischen Datenverarbeitung)
ISBN 978-3-540-62094-5 / 3-540-62094-X kart. : DM 78.00
Quelle: DNB
MBMV 2019
: 22. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” : 8.-9. April in Kaiserlautern / Christoph Grimm, Klaus Schneider, Carna Zivkovic (Hrsg.). - Berlin : VDE VERLAG GMBH, 2019. - 1 CD-ROM; 56 g
ISBN 978-3-8007-4945-4 / 3-8007-4945-9 : EUR 60.00 (DE), EUR 60.00 (AT)
Quelle: DNB
MBMV 2020
: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : GMM/ITG/GI-Workshop 19.-20. März 2020 in Stuttgart / Tagungsleitung: Prof. Dr.-Ing. Martin Radetzki, Universität Stuttgart. - Berlin : VDE VERLAG GMBH, 2020. - 1 CD-ROM - (GMM-Fachbericht; 96)
ISBN 978-3-8007-5220-1 / 3-8007-5220-4 : EUR 61.00 (DE), EUR 61.00 (AT)
Quelle: DNB
MBMV 2021
: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 24. Workshop, 18.-19. März 2021, TU München, Online-Veranstaltung / Tagungsleitung: Dr.-Ing. Daniel Müller-Gritschneder, TU München. - Berlin : VDE VERLAG GMBH, 2021. - 1 CD-ROM : Illustrationen; 58 g - (ITG-Fachbericht; 296)
ISBN 978-3-8007-5500-4 / 3-8007-5500-9 : EUR 78.00 (DE), EUR 78.00 (AT)
Quelle: DNB
MBMV 2022
: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 25. Workshop, 17.-18. Februar 2022, Hochschule Niederrhein, Online-Veranstaltung / Tagungsleitung: Prof. Dr.-Ing. Jens Brandt, Hochschule Niederrhein. - Berlin : VDE VERLAG GMBH, 2022. - 1 CD-ROM : Illustrationen; 56 g - (ITG-Fachbericht; 302)
ISBN 978-3-8007-5754-1 / 3-8007-5754-0 : EUR 48.00 (DE), EUR 48.00 (AT)
Quelle: DNB
MBMV 2023
: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop, 23.-24. März 2023 in Freiburg / Tagungsleitung: Prof. Dr. Armin Biere, Universität Freiburg. - Berlin : VDE VERLAG GMBH, 2023. - 1 CD-ROM; 56 g - (ITG-Fachbericht; 309)
ISBN 978-3-8007-6065-7 / 3-8007-6065-7 : EUR 69.00 (DE), EUR 69.00 (AT)
Quelle: DNB
MBMV 2024
: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 27. Workshop, 14.-15.Februar 2024 in Kaiserslautern / Tagungsleitung: Prof. Dr.-Ing. Wolfgang Kunz, RPTU Kaiserslautern-Landau. - Berlin : VDE VERLAG GmbH, 2024. - 1 CD-ROM : Illustrationen; 58 g - (ITG-Fachbericht; 314)
ISBN 978-3-8007-6267-5 / 3-8007-6267-6 : EUR 119.00 (DE), EUR 119.00 (AT)
Quelle: DNB
MBMV 2025
: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 28. Workshop, 11.-12. März 2025 in Rostock / Tagungsleitung: Prof. Dr.-Ing. habil. Christian Haubelt, Universität Rostock, Dr.-Ing. Florian Grützmacher, Universität Rostock. - Berlin : VDE VERLAG GmbH, 2025. - 1 CD-ROM : Illustrationen; 58 g - (ITG-Fachbericht; 320)
ISBN 978-3-8007-6515-7 / 3-8007-6515-2 : EUR 104.00 (DE), EUR 104.00 (AT)
Quelle: DNB
Messung, Modellierung und Bewertung von Rechensystemen
: Tagungsband / 14. GI/ITG-Fachtagung Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, 31. bis 2. April 2008 in Dortmund. Falko Bause ; Peter Buchholz (Hrsg.). - Berlin : VDE-Verl., 2008. - 312 S. : graph. Darst.; 24 cm
ISBN 978-3-8007-3090-2 / 3-8007-3090-1 kart. : EUR 90.00
Beitr. teilw. dt., teilw. engl. - Literaturangaben
Quelle: DNB Verlagsmeldungen
