LEADER 00736nam  2200277   450 
001 9910313658203321
005 20190403154914.0
010   $a04-621014-8
100   $a20190403d1969----u--y0engy50----ba
101 0 $aeng
102   $aGB
105 0 $aa-------001yy
200 1 $aBasic electricity$fAbraham Marcus
205   $a3rd ed.
210   $aLondon$cGeorge Allen & Unwin$d1969
215   $a514 p.$cill.$d24 cm
610 0 $aElettricità$aIngegneria elettrica
675   $a621.8
700  1$aMarcus,$bAbraham$0331663
801  2$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a9910313658203321
952   $a10 C I 146$bDONODIFRAIA$fDINEL
959   $aDINEL
996   $aBasic electricity$91548510
997   $aUNINA

LEADER 01234nam  2200421   450 
001 9910460906903321
005 20200520144314.0
010   $a1-4258-9544-1
035   $a(CKB)3710000000551664
035   $a(MiAaPQ)EBC5882139
035   $a(Au-PeEL)EBL5882139
035   $a(OCoLC)1114975755
035   $a(EXLCZ)993710000000551664
100   $a20190926d2015      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a180 days of language for third grade /$fauthor, Christine Dugan
210  1$aHuntington Beach, California :$cShell Education,$d[2015]
210  4$d©2015
215   $a1 online resource (208 pages) $cillustrations
225 1 $aPractice-assess-diagnose
311   $a1-4258-1168-X 
410  0$aPractice-assess-diagnose.
606   $aEnglish language$xGrammar
608   $aElectronic books.
615  0$aEnglish language$xGrammar.
676   $a428.2
700   $aDugan$b Christine$0860749
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910460906903321
996   $a180 days of language for third grade$92166076
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