00928nam0-22003011i-450-990000994730403321000099473FED01000099473(Aleph)000099473FED0100009947320000920d1967----km-y0itay50------bafraRecursivité, insaturation, decidabilité, constructabilitépar R. Fraissé[S.l.]Institut Blaise Pascal1967Cours de logique mathematiquetome 2In testa al front.: Logique a l'usage du calculateur.LogicaRicorsività160Fraïssé,Roland<1920-2008>368367ITUNINARICAUNIMARCBK9900009947304033217-20010608FI1FI1Recursivité, insaturation, decidabilité, constructabilité354048UNINAING0101096nam0-2200397---450 99000104501020331620180607114715.00104501USA010104501(ALEPH)000104501USA01010450120020319d1965----km-y0ITAy01------baitaIT|||| |||||Nostalgia di NapoliMilanoLe edizioni del Borghese1965.272 p.12 tav.20 cm<<Il>> balcone5A cura di A. Pepe2001<<Il>> balcone5NapoliSaggi945.73PEIRCE,Guglielmo469106PEPE,AntonioITsalbcISBD990001045010203316XV.1.C. 36(V F 106)136780 LMV FBKUMAPATTY9020020319USA01173720020403USA011744PATRY9020040406USA011712COPAT29020050222USA011039Nostalgia di Napoli845004UNISA00958nam0-2200301 --450 991064539920332120230215092510.0845005702720230215d1973----kmuy0itay5050----baspaESPedro Roldán;maestro de escultura (1624-1699)Jorge Bernales BallasterosSevillaI.G. Seix y Barral Hnos., S.A.1973149 p.ill.19 cmArte hispalense, 2Publicaciones de la Excma. Diputación Provincial de SevillaRoldán, PedroOpereSculturaSiviglia $4a Sec. 17.730.09222ita730.094622itaBernales Bellesteros,Jorge1276545ITUNINARICAUNIMARCBK9910645399203321FONDO CERVANTES 123CERVANTES 123FARBCinserire BASPedro Roldán3008044UNINA01647nam 2200433 450 991071525050332120210125120734.0(CKB)5470000002509519(OCoLC)1232478616(EXLCZ)99547000000250951920210125d2009 ua 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierCongressional access to national security information precedents from the Washington Administration /Louis Fisher[Washington, D.C.] :The Law Library of Congress, Global Legal Research Directorate,2009.1 online resource (approximately 9 pages)"LL file no. 2009-002846 ""May 2009."Includes bibliographical references.Congressional access to national security information Executive privilege (Government information)United StatesSecurity classification (Government documents)United StatesOfficial secretsUnited StatesNational securityUnited StatesExecutive privilege (Government information)Security classification (Government documents)Official secretsNational securityFisher Louis500101Law Library of Congress (U.S.).Global Legal Research Directorate,DLCGPOBOOK9910715250503321Congressional access to national security information3542289UNINA03726nam 22006855 450 991062437780332120251113200443.09783031072383303107238310.1007/978-3-031-07238-3(MiAaPQ)EBC7123066(Au-PeEL)EBL7123066(CKB)25201405900041(PPN)265857805(MiAaPQ)EBC31851759(Au-PeEL)EBL31851759(OCoLC)1349280626(DE-He213)978-3-031-07238-3(EXLCZ)992520140590004120221024d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierMathematics of the Weather Polygonal Spline Local-Galerkin Methods on Spheres /by Jürgen Steppeler, Jinxi Li1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (328 pages)Springer Atmospheric Sciences,2194-5225Print version: Steppeler, Jürgen Mathematics of the Weather Cham : Springer International Publishing AG,c2022 9783031072376 Includes bibliographical references (pages 311-316) and index.Chapter 1. Simple Finite Difference Schemes -- Chapter 2. Basis Functions and Simple L-Galerkin Schemes in 1-d: Galerkin -- Chapter 3. Basis Functions for Triangular Meshes -- Chapter 4. 2-d Sparse Full and Sparse Grids for Quadrilaterals -- Chapter 5. Hexagonal Grids and Hexagonal Sparse Grids -- Chapter 6. Numerical Tests -- Chapter 7. Hexagonal Options -- Chapter 8. Construction of Platonic and Related Bodies on the Sphere -- Chapter 9. Euclids Lemma and the Construction of Quasi Regular Grids on Bilinear Surfaces -- Chapter 10. Differentiation on Curved Surfaces and Modeling on Spheres, Ellipsoids and the Potato Shaped Earth -- Chapter 11. The Construction of the Hexagonal Sub Grid for a Rhomboidal Grid on the Sphere: Sparse Hexagonal Grids -- Chapter 12. Tests on the Sphere -- Chapter 13. The 3-d Small Earth Test Program -- Chapter 14. Regularization of Rhomboidal and Hexagonal Grids -- Chapter 15. Introduction to the MOW Service Library. Chapter 16. Appendix: Tutorial Programs."Mathematics of the Weather” details the mathematical techniques used to create numerical models of the atmosphere. It explains methods which are currently considered for practical use in models for the exaflop computers (10**19 operations per seconds). This book is a guide to developing and modifying the mathematical methods used in such models. This includes Implementations in spherical geometry. The books also concentrates on elements of Numerical Weather Predication (NWP) and Computational Fluid Dynamics (CFD). .Springer Atmospheric Sciences,2194-5225Physical geographyMathematicsPhysicsEarth System SciencesEarth System SciencesApplications of MathematicsClassical and Continuum PhysicsPhysical geography.Mathematics.Physics.Earth System Sciences.Earth System Sciences.Applications of Mathematics.Classical and Continuum Physics.551.51011551.51011Steppeler Jürgen1263788Li JinxiMiAaPQMiAaPQMiAaPQBOOK9910624377803321Mathematics of the Weather2962648UNINA