LEADER 01750nam0 22003973i 450 001 VAN0229420 005 20230605112121.744 017 70$2N$a9783030522735 100 $a20211019d2020 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aNatural Language Processing for Electronic Design Automation$fMathias Soeken, Rolf Drechsler editors 210 $aCham$cSpringer$d2020 215 $avii, 111 p.$cill.$d24 cm 500 1$3VAN0229421$aNatural Language Processing for Electronic Design Automation$91882030 606 $a94-XX$xInformation and communication theory, circuits [MSC 2020]$3VANC019701$2MF 606 $a00A79 (77-XX)$xPhysics [MSC 2020]$3VANC023182$2MF 610 $aElectronic System Level$9KW:K 610 $aFormal Specification Level$9KW:K 610 $aFormal Verification$9KW:K 610 $aNatural Language Processing$9KW:K 610 $aSoftware Abstraction$9KW:K 610 $aVerification of Embedded Systems$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aDrechsler$bRolf$3VANV084298 702 1$aSoeken$bMathias$3VANV084297 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-52273-5$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0229420 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 4299 $e08eMF4299 20211019 996 $aNatural Language Processing for Electronic Design Automation$91882030 997 $aUNICAMPANIA