LEADER 02237oam 2200505 450 001 9910709797803321 005 20180614130134.0 035 $a(CKB)5470000002472264 035 $a(OCoLC)1040264029 035 $a(EXLCZ)995470000002472264 100 $a20180614d2018 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFinal supplemental environmental impact statement for the invasive plant control project, Carson and Santa Fe National Forests $eColfax, Los Alamos, Mora, Rio Arriba, San Miguel, Santa Fe, Sandoval and Taos counties, New Mexico 210 1$a[Santa Fe, N.M.] :$cUnited States Department of Agriculture, Forest Service, Carson and Santa Fe National Forests,$d2018. 215 $a1 online resource (iv, 241 pages) $cillustrations (some color), color maps 225 1 $aMB-R3 ;$v10-26 300 $a"May 2018"--Page 1 of cover. 320 $aIncludes bibliographical references (pages 175-184) and index. 517 $aFinal supplemental environmental impact statement for the invasive plant control project, Carson and Santa Fe National Forests 606 $aForest management$zNew Mexico$zCarson National Forest 606 $aForest management$zNew Mexico$zSanta Fe National Forest 606 $aInvasive plants$xControl$zNew Mexico$zCarson National Forest 606 $aInvasive plants$xControl$zNew Mexico$zSanta Fe National Forest 606 $aForest management$2fast 606 $aInvasive plants$xControl$2fast 607 $aNew Mexico$zCarson National Forest$2fast 607 $aNew Mexico$zSanta Fe National Forest$2fast 615 0$aForest management 615 0$aForest management 615 0$aInvasive plants$xControl 615 0$aInvasive plants$xControl 615 7$aForest management. 615 7$aInvasive plants$xControl. 712 02$aSanta Fe National Forest (Agency : U.S.), 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910709797803321 996 $aFinal supplemental environmental impact statement for the invasive plant control project, Carson and Santa Fe National Forests$93471224 997 $aUNINA LEADER 04187nam 22008415 450 001 9910483508103321 005 20251226202226.0 010 $a3-540-33691-5 024 7 $a10.1007/11741060 035 $a(CKB)1000000000232943 035 $a(SSID)ssj0000316991 035 $a(PQKBManifestationID)11225859 035 $a(PQKBTitleCode)TC0000316991 035 $a(PQKBWorkID)10286977 035 $a(PQKB)10383515 035 $a(DE-He213)978-3-540-33691-4 035 $a(MiAaPQ)EBC3068001 035 $a(PPN)123133904 035 $a(BIP)32372863 035 $a(BIP)13365075 035 $a(EXLCZ)991000000000232943 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aConstruction and Analysis of Safe, Secure, and Interoperable Smart Devices $eSecond International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /$fedited by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 173 p.) 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v3956 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-33689-3 320 $aIncludes bibliographical references and index. 327 $aThe Architecture of a Privacy-Aware Access Control Decision Component -- Mobile Resource Guarantees and Policies -- Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks -- Romization: Early Deployment and Customization of Java Systems for Constrained Devices -- Typed Compilation Against Non-manifest Base Classes -- The Design of Application-Tailorable Operating System Product Lines -- Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach -- Modular Proof Principles for Parameterised Concretizations -- Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method. 330 $aThis book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices. 410 0$aSecurity and Cryptology,$x2946-1863 ;$v3956 606 $aSoftware engineering 606 $aComputers, Special purpose 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aOperating systems (Computers) 606 $aComputer science 606 $aSoftware Engineering 606 $aSpecial Purpose and Application-Based Systems 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aOperating Systems 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aComputers, Special purpose. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aOperating systems (Computers). 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aOperating Systems. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.1 701 $aBarthe$b Gilles$f1967-$0180568 712 02$aInstitut national de recherche en informatique et en automatique (France) 712 12$aCASSIS (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483508103321 996 $aConstruction and analysis of safe, secure, and interoperable smart devices$94186448 997 $aUNINA