LEADER 01461nam  2200421   450 
001 9910556893703321
005 20231110214833.0
010   $a3-030-86084-1
035   $a(MiAaPQ)EBC6939998
035   $a(Au-PeEL)EBL6939998
035   $a(CKB)21425624100041
035   $a(PPN)261520245
035   $a(EXLCZ)9921425624100041
100   $a20221110d2022      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSuccessfully managing S/4HANA projects $ethe definitive guide to the next digital transformation /$fDenise Banks-Grasedyck, [and three others]
210  1$aCham, Switzerland :$cSpringer,$d[2022]
210  4$d©2022
215   $a1 online resource (365 pages)
225 1 $aManagement for Professionals 
311 08$aPrint version: Banks-Grasedyck, Denise Successfully Managing S/4HANA Projects Cham : Springer International Publishing AG,c2022 9783030860837 
320   $aIncludes bibliographical references and index.
410  0$aManagement for Professionals 
606   $aProject management$xData processing
615  0$aProject management$xData processing.
676   $a658.404028553
700   $aBanks-Grasedyck$b Denise$01217590
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910556893703321
996   $aSuccessfully Managing S$92815847
997   $aUNINA

LEADER 03281nam  22006615  450 
001 9910873843003321
005 20241212213550.0
010   $a9783800755011
010   $a3800755017
035   $a(CKB)4100000011881316
035   $a606f24c1-ef78-4a5d-bcb4-378eb0dd2d03
035   $a(EXLCZ)994100000011881316
100   $a20210325d2021      |||         |
101 0 $aeng
135   $auruuu---uuuuu
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aITG-Fb. 296: MBMV 2021 $eMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
205   $aNeuerscheinung
210 31$aBerlin$cVDE Verlag$d2021
215   $aOnline-Ressource (139 S.)
225 0 $aITG-Fachberichte
300   $aPublicationDate: 20210325
311 08$a9783800755004 
311 08$a3800755009 
330   $aLong description: Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkommen. Inhaltlich konzentriert sich der Workshop auf die folgenden Themengebiete im Kontext der Modellierung und Verifikation von Systemen:  ? Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung ? Standards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/Software-Systeme, Modellbasierte Entwicklung ? Verhaltensmodellierung, KI-basierte Modelle, Modellverfeinerung ? Modelle und Methoden für die domänenübergreifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch ? Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen ? Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise) ? Schaltungen und Systeme in sicherheitsrelevanten Produkten ? Verifikation nichtfunktionaler Eigenschaften ? Simulationsbasierte Verifikation und Validierung ? Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse ? Special Focus Topic MBMV2021: Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und Systemen
606   $aOptimierung
606   $aModellierung
606   $aSimulation
606   $aMachine Learning
606   $aEchtzeitsysteme
606   $aSynthese
606   $aSchaltungen und Systeme
606   $aFormale Verifikation
606   $aKI-basierte Modelle
606   $aModellierungssprache
606   $aVerhaltensmodellierung
606   $asicherheitsrelevante Produkte
615 04$aOptimierung
615 04$aModellierung
615 04$aSimulation
615 04$aMachine Learning
615 04$aEchtzeitsysteme
615 04$aSynthese
615 04$aSchaltungen und Systeme
615 04$aFormale Verifikation
615 04$aKI-basierte Modelle
615 04$aModellierungssprache
615 04$aVerhaltensmodellierung
615 04$asicherheitsrelevante Produkte
702   $aVDE/VDI GMM$4edt
702   $aVDE ITG$4edt
702   $aLo?ko?s$b Margit$4edt
906   $aPROCEEDING
912   $a9910873843003321
996   $aITG-Fb. 296: MBMV 2021$93884117
997   $aUNINA