LEADER 01128nam0-22003371i-450- 001 990001864890403321 005 20090209135534.0 035 $a000186489 035 $aFED01000186489 035 $a(Aleph)000186489FED01 035 $a000186489 100 $a20030910d1963----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aReattività del susino cv. Stanley a trattamenti con acido 2,4,5 - triclorofenossiacetico$fItalo Eynard, Roberto Paglietta 210 $aFirenze$c[s.n.]$d1963 215 $ap. 670-675$d23 cm 225 1 $aRaccolta di memorie$fUniversità degli studi di Torino. Facoltà di scienze agrarie$v439 300 $aEstr. da: Giornale botanico italiano, 1963. 610 0 $aPrunus 676 $a634.22 700 1$aEynard,$bItalo$073383 701 1$aPaglietta,$bRoberto$0354814 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001864890403321 952 $a60 MISC. B 131/439$fFAGBC 959 $aFAGBC 996 $aReattività del susino cv. Stanley a trattamenti con acido 2,4,5 - triclorofenossiacetico$9401540 997 $aUNINA LEADER 00907cam0 2200277 450 001 E600200066730 005 20210907074828.0 100 $a20100928d1977 |||||ita|0103 ba 101 $afre 102 $aBE 200 1 $a<>indifférents$fOdilon-Jean Périer 210 $a[Bruxelles$cRideau de Bruxelles$d1977] 215 $a124 p.$cill.$d18 cm 225 2 $aCahiers du Rideau 300 $aedizione numerata esempl. n.406 410 1$1001LAEC00028813$12001 $a*Cahiers du Rideau 700 1$aPérier$b, Odilon-Jean$3A600200062031$4070$0443111 801 0$aIT$bUNISOB$c20210907$gRICA 850 $aUNISOB 852 $aUNISOB$j840$m26483 912 $aE600200066730 940 $aM 102 Monografia moderna SBN 941 $aM 957 $a840$b000422$gSi$d26483$rAcquisto$1vittorini$2UNISOB$3UNISOB$420100928071808.0$520150928105655.0$6Alfano 996 $aIndifférents$91703427 997 $aUNISOB LEADER 02485nam 2200457 450 001 996575445603316 005 20230817181526.0 010 $a3-8007-4946-7 035 $a(CKB)4100000008867627 035 $a(WaSeSS)IndRDA00123709 035 $a5e60ed74-ae30-4d93-958d-2f6fb0dd2d03 035 $a(EXLCZ)994100000008867627 100 $a20200525d2019 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a22nd Workshop - Methods and Description Languages for Modelling and Verification of Circuits and Systems $e8 April 2019, Kaiserslautern, Germany /$fInstitute of Electrical and Electronics Engineers 205 $aNeuerscheinung 210 1$aBerlin, Germany :$cVDE Verlag,$d2019. 215 $a1 online resource (9 pages) 300 $aPublicationDate: 20190408 311 $a3-8007-4945-9 330 $aLong description: MBMV ist der jährlich stattfindende Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 und wurde 2019 vom 8.-9. April in Kaiserslautern organisiert. Das Ziel des Workshops besteht darin, Experten aus Industrie und Forschung zusammenzubringen, um gemeinsam neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und der Verifikation von Schaltungen und Systemen zu diskutieren. Der vorliegende Tagungsband ist eine ausgewählte Sammlung von 8 wissenschaftlichen Beiträgen und 8 weiteren Übersichtsvorträgen. Übersichtsvorträge berichten über bereits veröffentlichte Ergebnisse oder über noch unvollständige Arbeiten und werden als kurze Zusammenfassungen in diesem Tagungsband veröffentlicht. Wissenschaftliche Beiträge präsentieren neue Ergebnisse und werden zusätzlich als volle Beiträge in IEEE Xplore veröffentlicht. 606 $aComputer hardware description languages$vCongresses 606 $aIntegrated circuits$xVerification$vCongresses 606 $aSystem design$vCongresses 615 0$aComputer hardware description languages 615 0$aIntegrated circuits$xVerification 615 0$aSystem design 676 $a621.392 702 $aGrimm$b Christoph$4edt 702 $aSchneider$b Klaus$4edt 702 $aZivkovic$b Carna$4edt 801 0$bWaSeSS 801 1$bWaSeSS 906 $aPROCEEDING 912 $a996575445603316 996 $a22nd Workshop - Methods and Description Languages for Modelling and Verification of Circuits and Systems$93879211 997 $aUNISA