LEADER 01767oam 2200505 450 001 9910709704403321 005 20180718103837.0 035 $a(CKB)5470000002473207 035 $a(OCoLC)1032006537$z(OCoLC)896810809 035 $a(OCoLC)995470000002473207 035 $a(EXLCZ)995470000002473207 100 $a20180423d1981 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aStratigraphy, paleontology, and geology of the central Santa Cruz Mountains, California Coast Ranges /$fby Joseph C. Clark 210 1$aWashington :$cUnited States Department of the Interior, Geological Survey,$d1981. 215 $a1 online resource (iv, 51 pages) $cillustrations, maps +$e2 plates 225 1 $aGeological Survey professional paper ;$v1168 320 $aIncludes bibliographical references (pages 47-51). 606 $aGeology, Stratigraphic$yTertiary 606 $aGeology$zCalifornia$zSanta Cruz Mountains 606 $aGeology$2fast 606 $aGeology, Stratigraphic$2fast 606 $aTertiary Geologic Period$2fast 607 $aCalifornia$zSanta Cruz Mountains$2fast 615 0$aGeology, Stratigraphic 615 0$aGeology 615 7$aGeology. 615 7$aGeology, Stratigraphic. 615 7$aTertiary Geologic Period. 700 $aClark$b Joseph C.$0237006 712 02$aGeological Survey (U.S.), 801 0$bOCLCE 801 1$bOCLCE 801 2$bCOP 801 2$bOCLCF 801 2$bOCLCQ 801 2$bGPO 906 $aBOOK 912 $a9910709704403321 996 $aStratigraphy, paleontology, and geology of the central Santa Cruz Mountains, California Coast Ranges$93445976 997 $aUNINA LEADER 03991nam 22006855 450 001 9910483908603321 005 20251202151817.0 010 $a9783540324546 010 $a3540324542 024 7 $a10.1007/b11545989 035 $a(CKB)1000000000232543 035 $a(DE-He213)978-3-540-32454-6 035 $a(SSID)ssj0000318805 035 $a(PQKBManifestationID)11241199 035 $a(PQKBTitleCode)TC0000318805 035 $a(PQKBWorkID)10311058 035 $a(PQKB)10350130 035 $a(MiAaPQ)EBC5591204 035 $a(MiAaPQ)EBC4975893 035 $a(Au-PeEL)EBL4975893 035 $a(CaONFJC)MIL140401 035 $a(OCoLC)1024244958 035 $a(PPN)123097061 035 $a(EXLCZ)991000000000232543 100 $a20100805d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMathematical Foundation of Turbulent Viscous Flows $eLectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 1-5, 2003 /$fby Peter Constantin, Giovanni Gallavotti, Alexandre V. Kazhikhov, Yves Meyer, Seiji Ukai ; edited by Marco Cannone, Tetsuro Miyakawa 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (IX, 264 p.) 225 1 $aC.I.M.E. Foundation Subseries,$x2946-1820 ;$v1871 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9783540285861 311 08$a3540285865 320 $aIncludes bibliographical references. 330 $aFive leading specialists reflect on different and complementary approaches to fundamental questions in the study of the Fluid Mechanics and Gas Dynamics equations. Constantin presents the Euler equations of ideal incompressible fluids and discusses the blow-up problem for the Navier-Stokes equations of viscous fluids, describing some of the major mathematical questions of turbulence theory. These questions are connected to the Caffarelli-Kohn-Nirenberg theory of singularities for the incompressible Navier-Stokes equations that is explained in Gallavotti's lectures. Kazhikhov introduces the theory of strong approximation of weak limits via the method of averaging, applied to Navier-Stokes equations. Y. Meyer focuses on several nonlinear evolution equations - in particular Navier-Stokes - and some related unexpected cancellation properties, either imposed on the initial condition, or satisfied by the solution itself, whenever it is localized in space or in time variable. Ukai presents the asymptotic analysis theory of fluid equations. He discusses the Cauchy-Kovalevskaya technique for the Boltzmann-Grad limit of the Newtonian equation, the multi-scale analysis, giving the compressible and incompressible limits of the Boltzmann equation, and the analysis of their initial layers. 410 0$aC.I.M.E. Foundation Subseries,$x2946-1820 ;$v1871 606 $aDifferential equations 606 $aDifferential Equations 615 0$aDifferential equations. 615 14$aDifferential Equations. 676 $a532.58 700 $aConstantin$b P$g(Peter),$f1951-$4aut$4http://id.loc.gov/vocabulary/relators/aut$01666252 702 $aGallavotti$b Giovanni$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aKazhikhov$b Alexandre V$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aMeyer$b Yves$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aUkai$b Seiji$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aCannone$b M$g(Marco),$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMiyakawa$b T$g(Tetsuro),$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483908603321 996 $aMathematical Foundation of Turbulent Viscous Flows$94404846 997 $aUNINA LEADER 03439nam 22008655 450 001 9910484540603321 005 20251226202819.0 010 $a3-319-15618-7 024 7 $a10.1007/978-3-319-15618-7 035 $a(CKB)3710000000360326 035 $a(SSID)ssj0001452184 035 $a(PQKBManifestationID)11759889 035 $a(PQKBTitleCode)TC0001452184 035 $a(PQKBWorkID)11487521 035 $a(PQKB)11495436 035 $a(DE-He213)978-3-319-15618-7 035 $a(MiAaPQ)EBC6295061 035 $a(MiAaPQ)EBC5595706 035 $a(Au-PeEL)EBL5595706 035 $a(OCoLC)904399521 035 $a(PPN)184497442 035 $a(EXLCZ)993710000000360326 100 $a20150227d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aEngineering Secure Software and Systems $e7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings /$fedited by Frank Piessens, Juan Caballero, Nataliia Bielova 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XII, 227 p. 63 illus.) 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v8978 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-15617-9 327 $aFormal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control. 330 $aThis book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 41 submissions. The symposium features the following topics: formal methods; cloud passwords; machine learning; measurements ontologies; and access control. 410 0$aSecurity and Cryptology,$x2946-1863 ;$v8978 606 $aComputer networks 606 $aCryptography 606 $aData encryption (Computer science) 606 $aSoftware engineering 606 $aAlgorithms 606 $aComputer science$xMathematics 606 $aComputer science 606 $aComputer Communication Networks 606 $aCryptology 606 $aSoftware Engineering 606 $aAlgorithms 606 $aMathematical Applications in Computer Science 606 $aModels of Computation 615 0$aComputer networks. 615 0$aCryptography. 615 0$aData encryption (Computer science). 615 0$aSoftware engineering. 615 0$aAlgorithms. 615 0$aComputer science$xMathematics. 615 0$aComputer science. 615 14$aComputer Communication Networks. 615 24$aCryptology. 615 24$aSoftware Engineering. 615 24$aAlgorithms. 615 24$aMathematical Applications in Computer Science. 615 24$aModels of Computation. 676 $a005.8 702 $aPiessens$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCaballero$b Juan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBielova$b Nataliia$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484540603321 996 $aEngineering Secure Software and Systems$9774151 997 $aUNINA