LEADER 01447nam0 22003251i 450 001 SUN0010708 005 20110331100441.640 010 $a978-88-324-7058-1 100 $a20021128d2002 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆI ‰consorzi$easpetti legali, contabili e fiscali in tema di consorzi, società consortili, raggruppamenti temporanei di imprese, GEIE, formulario$fAdriano Propersi, Giovanna Rossi 205 $a21. ed 210 $dMilano : Il sole 24 ore$d2008 215 $aXXIII, 939 p.$d24 cm. 410 1$1001SUN0010697$12001 $aSocietà$1210 $dMilano : Il sole 24 ore. 606 $aConsorzi$xAspetti giuridici tributari$2FI$3SUNC005884 606 $aSocietà consortili$xAspetti giuridici tributari$2FI$3SUNC005885 620 $dMilano$3SUNL000284 700 1$aPropersi$b, Adriano$3SUNV002375$0106694 701 1$aRossi$b, Giovanna$3SUNV002376$0313064 712 $aIl sole 24 ore$3SUNV001053$4650 790 1$aPropersi, Adriano <1947- >$zPropersi, Adriano$3SUNV008128 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0010708 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00 CONS XIX.Ec.6 $e00 21843 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$h21843$kCONS XIX.Ec.6$oc$qa 996 $aConsorzi..$941473 997 $aUNICAMPANIA LEADER 00765nam0-2200265 --450 001 9910636799203321 005 20230113180037.0 010 $a2130428908 100 $a20230113d1990----kmuy0itay5050 ba 101 0 $afre 102 $aFR 105 $a 001yy 200 1 $a<>Convention européenne des droits de l'homme$fFrédéric Sudre 205 $a12. ed. agg. 210 $aParis$cPresses universitaires de France$d1990 215 $a127 p.$d18 cm 676 $a341.481026$v23$zita 700 1$aSudre,$bFrédéric$0414020 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910636799203321 952 $aOnor. S 48$b3817*$fFGBC 959 $aFGBC 996 $aConvention europeenne des droits de l'homme$9637430 997 $aUNINA LEADER 03211nam 22006375 450 001 996577937703316 005 20231019224956.0 010 $a3-8007-5501-7 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 $a3-8007-5500-9 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 $aGI$4edt 906 $aPROCEEDING 912 $a996577937703316 996 $aITG-Fb. 296: MBMV 2021$93884117 997 $aUNISA