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
Modelling, analysis, and design of hybrid systems
/ S. Engell ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in control and information sciences; 279)
ISBN 978-3-540-45426-7
Lizenzpflichtig
Quelle: DNB
Modelling, analysis, and design of hybrid systems
/ S. Engell ... (ed.). - Berlin : Springer, 2002. - XIII, 504 S. : graph. Darst.; 24 cm - (Lecture notes in control and information sciences; Vol. 279)
ISBN 978-3-540-43812-0 / 3-540-43812-2 kart. : EUR 120.38
Literaturverz. S. 467 - 499
Quelle: DNB
