LEADER 01225nam0 22003013i 450 001 VAN00276142 005 20240806101544.397 017 70$20$a9783031245718 100 $a20240521d2023 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aFormal Verification of Structurally Complex Multipliers$fAlireza Mahzoon, Daniel Große, Rolf Drechsler 210 $aCham$cSpringer$d2023 215 $aXIII, 130 p.$d24 cm 620 $aCH$dCham$3VANL001889 700 1$aMahzoon$bAlireza$3VANV228839$01335368 701 1$aDrechsler$bRolf$3VANV084298$0720580 701 1$aGroße$bDaniel$3VANV202948$01244233 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-031-24571-8$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN00276142 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 13603 $e15EB 13603 20240521 996 $aFormal Verification of Structurally Complex Multipliers$94164371 997 $aUNICAMPANIA LEADER 01090nam0 22002651i 450 001 UON00028071 005 20231205102048.35 100 $a20020107d1969 |0itac50 ba 101 $atur 102 $aTR 105 $a|||| 1|||| 200 1 $aSemsettin Sami$fAgah Sirri Levend 210 $aAnkara$cAnkara Univ. Basimevi$d1969 212 p. ; 21 cm 410 1$1001UON00006430$12001 $aTurk dil kurumu Yayinlari$fAtaturk Kultur, dil ve tarih yüksek kurumu$v287 606 $aLetteratura turca ottomana$xSec. 19$xCritica$3UONC009281$2FI 620 $aTR$dAnkara$3UONL000083 686 $aOTT VI B$cIMPERO OTTOMANO - LETTERATURA$2A 700 1$aLEVEND$bAgah Sirri$3UONV006925$0638898 712 $aAnkara Universitesi Basimevi$3UONV246303$4650 801 $aIT$bSOL$c20251003$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00028071 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI OTT VI B 201 N $eSI SA 18326 5 201 N 996 $aSemsettin Sami$91188968 997 $aUNIOR