01750nam0 22003973i 450 VAN022942020230605112121.744N978303052273520211019d2020 |0itac50 baengCH|||| |||||Natural Language Processing for Electronic Design AutomationMathias Soeken, Rolf Drechsler editorsChamSpringer2020vii, 111 p.ill.24 cmVAN0229421Natural Language Processing for Electronic Design Automation188203094-XXInformation and communication theory, circuits [MSC 2020]VANC019701MF00A79 (77-XX)Physics [MSC 2020]VANC023182MFElectronic System LevelKW:KFormal Specification LevelKW:KFormal VerificationKW:KNatural Language ProcessingKW:KSoftware AbstractionKW:KVerification of Embedded SystemsKW:KCHChamVANL001889DrechslerRolfVANV084298SoekenMathiasVANV084297Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-030-52273-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0229420BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4299 08eMF4299 20211019 Natural Language Processing for Electronic Design Automation1882030UNICAMPANIA