LEADER 01486nam 2200349 450 001 9910141033403321 005 20230425221732.0 035 $a(CKB)2670000000070657 035 $a(NjHacI)992670000000070657 035 $a(EXLCZ)992670000000070657 100 $a20230425d2010 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology /$fInstitute of Electrical and Electronics Engineers 210 1$aPiscataway, N.J. :$cIEEE,$d2010. 215 $a1 online resource $cillustrations 311 $a1-4244-8753-6 311 $a0-7695-4265-4 320 $aIncludes bibliographical references. 517 $aParallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and Second International Workshop on High Performance Computational Systems Biology 606 $aComputer programs$xVerification 615 0$aComputer programs$xVerification. 676 $a005.1 801 0$bNjHacI 801 1$bNjHacl 906 $aPROCEEDING 912 $a9910141033403321 996 $a2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology$92310750 997 $aUNINA LEADER 01734nam 2200541 450 001 9910824710303321 005 20230809223249.0 010 $a1-119-41368-0 010 $a1-119-41340-0 010 $a1-119-41371-0 035 $a(CKB)3710000001108905 035 $a(MiAaPQ)EBC4825472 035 $a(Au-PeEL)EBL4825472 035 $a(CaPaEBR)ebr11363634 035 $a(CaONFJC)MIL1002095 035 $a(OCoLC)978999919 035 $a(EXLCZ)993710000001108905 100 $a20170404h20172017 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aMechanics of aeronautical solids, materials and structures /$fChristophe Bouvet 210 1$aLondon, England ;$aHoboken, New Jersey :$cISTE :$cWiley,$d2017. 210 4$dŠ2017 215 $a1 online resource (309 pages) $cillustrations (some color) 225 1 $aMechanical Engineering and Solid Mechanics Series 311 $a1-78630-115-6 320 $aIncludes bibliographical references and index. 410 0$aMechanical engineering and solid mechanics series. 606 $aAerospace engineering 606 $aEnginyeria aeroespacial$2lemac 606 $aEnginyeria mecānica$2lemac 606 $aMechanical engineering 615 0$aAerospace engineering. 615 7$aEnginyeria aeroespacial. 615 7$aEnginyeria mecānica 615 0$aMechanical engineering. 676 $a629.1 700 $aBouvet$b Christophe$01623657 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910824710303321 996 $aMechanics of aeronautical solids, materials and structures$93958193 997 $aUNINA