LEADER 00960nam0 22002651i 450 001 SUN0048162 005 20060720120000.0 100 $a20060720d1966 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aRousseau$f[Carla Lonzi] 210 $aMilano$cFabbri$dc1966 215 $a[4] c., XVI p. di tav.$cill.$d36 cm. 410 1$1001SUN0047922$12001 $aˆI ‰maestri del colore$v148$1210 $aMilano$cFabbri. 606 $aROUSSEAU, HENRI$2FI$3SUNC017782 620 $dMilano$3SUNL000284 700 1$aRousseau$b, Henri$3SUNV038249$0212728 702 1$aLonzi$b, Carla$3SUNV038088 712 $aFabbri, Fabrizio$3SUNV000157$4650 801 $aIT$bSOL$c20181203$gRICA 912 $aSUN0048162 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07CONS Pc 1 148 $e07 53599 20060720 996 $aRousseau$91106661 997 $aUNICAMPANIA LEADER 02214oam 2200517 450 001 9910707834703321 005 20161223141253.0 035 $a(CKB)5470000002468213 035 $a(OCoLC)844605585 035 $a(EXLCZ)995470000002468213 100 $a20130526j199608 ua 0 101 0 $aeng 135 $aurbn||||a|a|| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 12$aA bitvectors library for PVS /$fRicky W. Butler [and four others] 210 $aWashington, D.C. $cNational Aeronautics and Space Administration$d1996 210 1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dAugust 1996. 215 $a1 online resource (17 pages) $cillustrations 225 1 $aNASA technical memorandum ;$v110274 300 $a"August 1996." 300 $a"Performing organization: National Aeronautics and Space Administration Langley Research Center" Report documentation page. 320 $aIncludes bibliographical references (pages 16-17). 330 $aThis paper describes a bitvectors library that has been developed for PVS. The library defines a bitvector as a function from a subrange of the integers into (0,1). The library provides functions that interpret a bitvector as a natural number, as a 2's complement number, as a vector of logical values and as a 2's complement fraction. The library provides a concatenation operator and an extractor. Shift, extend and rotate operations are also, defined. Fundamental properties of each of these operations have been proved in PVS. 606 $aHardware$2nasat 606 $aProving$2nasat 606 $aBit synchronization$2nasat 606 $aIntegers$2nasat 606 $aLibraries$2nasat 615 7$aHardware. 615 7$aProving. 615 7$aBit synchronization. 615 7$aIntegers. 615 7$aLibraries. 700 $aButler$b Ricky W.$01398460 712 02$aLangley Research Center, 801 0$bOCLCE 801 1$bOCLCE 801 2$bOCLCO 801 2$bOCLCQ 801 2$bGPO 906 $aBOOK 912 $a9910707834703321 996 $aA bitvectors library for PVS$93549741 997 $aUNINA LEADER 01662oam 2200493I 450 001 9910713374003321 005 20200327084550.0 035 $a(CKB)5470000002499901 035 $a(OCoLC)1111633168 035 $a(EXLCZ)995470000002499901 100 $a20190806d1922 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNotes on the design of latticed columns subject to lateral loads /$fby Charles J. McCarthy 210 1$a[Washington, D.C.] :$cNational Advisory Committee for Aeronautics,$d1922. 215 $a1 online resource (18 pages, 3 unnumbered pages) $cillustrations 225 1 $aTechnical notes / National Advisory Committee for Aeronautics ;$vNo. 98 300 $a"May, 1922." 320 $aIncludes bibliographical references. 606 $aAirframes$xDesign and construction 606 $aLateral loads 606 $aLattice theory 606 $aAirframes$xDesign and construction$2fast 606 $aLateral loads$2fast 615 0$aAirframes$xDesign and construction. 615 0$aLateral loads. 615 0$aLattice theory. 615 7$aAirframes$xDesign and construction. 615 7$aLateral loads. 700 $aMcCarthy$b Charles J.$01419601 712 02$aUnited States.$bNational Advisory Committee for Aeronautics, 801 0$bTRAAL 801 1$bTRAAL 801 2$bTRAAL 801 2$bOCLCF 801 2$bOCLCO 801 2$bGPO 906 $aBOOK 912 $a9910713374003321 996 $aNotes on the design of latticed columns subject to lateral loads$93534605 997 $aUNINA LEADER 01583nas 2200409 n 450 001 990009075980403321 005 20240229084259.0 011 $a0044-118X 035 $a000907598 035 $aFED01000907598 035 $a(Aleph)000907598FED01 035 $a000907598 091 $2CNR$aP 00046825 100 $a20161109a19699999km-y0itaa50------ba 101 0 $aeng 110 $aauu-------- 200 1 $aYouth and society 207 1$a1969- 210 $aBeverly Hills$cSage Publications 326 $aTrimestrale 452 0$12001$aYouth & society 517 0 $aYouth & society 530 0 $aYouth and society 675 $a301.18 675 $a304 676 $a301.43/15/05 676 $a305 801 0$aIT$bACNP$c20090723 859 4 $uhttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/dc-p1.tcl?catno=32125&person=false&language=ITALIANO&libr=&libr_th=unina1$zBiblioteche che possiedono il periodico 901 $aSE 912 $a990009075980403321 958 $aBiblioteca. Facoltà di Scienze Matematiche Fisiche e Naturali dell'Università Federico II$b1982-1987;$c1982;$fSC1 959 $aSC1 996 $aYouth and society$9786824 997 $aUNINA AP1 8 $6866-01$aNA018 Biblioteca. Facoltà di Scienze Matematiche Fisiche e Naturali dell'Università Federico II$eVia Cintia-Monte S. Angelo, 80126 Napoli (NA)$m081676740/41/39$m081676740$nit AP2 40$aacnp.cib.unibo.it$nACNP Italian Union Catalogue of Serials$uhttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/df-p.tcl?catno=32125&language=ITALIANO&libr=&person=&B=1&libr_th=unina&proposto=NO