01426nam 2200373 450 00001711020050718115600.088-206-2269-6(vol. 1.)20031216d--------km-y0itay0103----baitaITCorso di estimoIgino MichieliBolognaEdagricolev.24 cm.1.: Estimo generale : con applicazioni di matematica finanziaria : per gli istituti tecnici agrari, per geometri, per periti edili e per professionisti. - 13 ed. - 1986. - XII, 258 pEstimo generaleEstimoTesti scolastici333.332(20. ed.)Proprietà privata della terra. Valore e prezzo della terraMichieli,Igino1394ITUniversità della Basilicata - B.I.A.RICAunimarc000017110Corso di estimo47442UNIBASMONAGRAGRARIATORRE2020031216BAS011201TORRE2020031216BAS01120220050601BAS011756batch0120050718BAS01105320050718BAS01111220050718BAS01114220050718BAS011156BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoDIDDidatticaPTS.s2.p37.774337A74337200312161XII, 25898Consultazione1.: Estimo generale01252cam0 2200289 450 E60020006495620211102105900.020100621d1969 |||||ita|0103 bagerBEUntersuchungen über die wichtigsten Gegenstände des Naturrechtsnebst einer Censur der verdienstlichsten Bemühungen um diese Wissenschaft, vorzüglich in den neuern Zeiten, und Anwendungen derselben auf speciellere Rechtsfragenvon Johann Christoph HoffbauerImpression anastaltiqueBruxellesCulture et Civilisation1969XXXI, 348 p.19 cmAetas kantiana111Ripr. facs. dell'ed. : Halle, 1795001LAEC000284802001 *Aetas kantiana111Hoffbauer, Johann ChristophA600200061594070220468ITUNISOB20211102RICAUNISOBUNISOB100|Coll|19|K18427E600200064956M 102 Monografia moderna SBNM100|Coll|19|K000111Si18427acquistocutoloUNISOBUNISOB20100621085951.020211102105849.0AlfanoUntersuchungen über die wichtigsten Gegenstände des naturrechts568869UNISOB03830nam 2200649 450 991045970370332120210625002431.03-11-037503-63-11-031793-110.1515/9783110317930(CKB)3710000000229287(EBL)1663236(SSID)ssj0001442527(PQKBManifestationID)11792285(PQKBTitleCode)TC0001442527(PQKBWorkID)11420267(PQKB)11728753(MiAaPQ)EBC1663236(DE-B1597)210255(OCoLC)890071115(OCoLC)900717256(DE-B1597)9783110317930(Au-PeEL)EBL1663236(CaPaEBR)ebr11010337(CaONFJC)MIL805207(EXLCZ)99371000000022928720150209h20142014 uy 0engurnn#---|u||utxtccrUniform distribution and Quasi-Monte Carlo methods discrepancy, integration and applications /edited by Peter Kritzer [and three others]Berlin, [Germany] ;Boston, [Massachusetts] :De Gruyter,2014.©20141 online resource (270 p.)Radon Series on Computational and Applied Mathematics,1865-3707 ;Volume 15Includes index.3-11-031794-X 3-11-031789-3 Front matter --Preface --Contents --Metric number theory, lacunary series and systems of dilated functions /Aistleitner, Christoph --Strong uniformity /Beck, József --Discrepancy theory and harmonic analysis /Bilyk, Dmitriy --Explicit constructions of point sets and sequences with low discrepancy /Dick, Josef / Pillichshammer, Friedrich --Subsequences of automatic sequences and uniform distribution /Drmota, Michael --On Atanassov's methods for discrepancy bounds of low-discrepancy sequences /Faure, Henri --The hybrid spectral test: a unifying concept /Hellekalek, Peter --Tractability of multivariate analytic problems /Kritzer, Peter / Pillichshammer, Friedrich / Woźniakowski, Henryk --Discrepancy estimates for sequences: new results and open problems /Larcher, Gerhard --A short introduction to quasi-Monte Carlo option pricing /Leobacher, Gunther --The construction of good lattice rules and polynomial lattice rules /Nuyens, Dirk --Index --BackmatterThis book is summarizing the results of the workshop "Uniform Distribution and Quasi-Monte Carlo Methods" of the RICAM Special Semester on "Applications of Algebra and Number Theory" in October 2013. The survey articles in this book focus on number theoretic point constructions, uniform distribution theory, and quasi-Monte Carlo methods. As deterministic versions of the Monte Carlo method, quasi-Monte Carlo rules enjoy increasing popularity, with many fruitful applications in mathematical practice, as for example in finance, computer graphics, and biology. The goal of this book is to give an overview of recent developments in uniform distribution theory, quasi-Monte Carlo methods, and their applications, presented by leading experts in these vivid fields of research.Radon series on computational and applied mathematics ;Volume 15.Uniform distribution (Probability theory)Monte Carlo methodElectronic books.Uniform distribution (Probability theory)Monte Carlo method.515.782Kritzer PeterMiAaPQMiAaPQMiAaPQBOOK9910459703703321Uniform distribution and Quasi-Monte Carlo methods2472043UNINA04437nam 22007215 450 991048437050332120251225212257.03-319-66167-110.1007/978-3-319-66167-4(CKB)4100000000393618(DE-He213)978-3-319-66167-4(MiAaPQ)EBC5576768(PPN)204533422(EXLCZ)99410000000039361820170828d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFrontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /edited by Clare Dixon, Marcelo Finger1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (X, 351 p. 38 illus.) Lecture Notes in Artificial Intelligence,2945-9141 ;104833-319-66166-3 Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic -- Designing Theory Solvers with Extensions -- First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation -- A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors -- Interpolation, Amalgamation and Combination (the Non-disjoint Signatures Case) -- Subtropical Satisfiability -- Finitariness of Elementary Unification in Boolean Region Connection Calculus -- Metric Temporal Description Logics with Interval-Rigid Names -- Superposition with Integrated Induction -- The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable -- Decidable Verification of Decision-Theoretic Golog -- Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions -- Complexity Analysis for Term Rewriting by Integer Transition Systems -- Using Ontologies to Query Probabilistic Numerical Data -- Merging Fragments of Classical Logic -- On Solving Nominal Fixpoint Equations -- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems -- Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report -- The Boolean Solution Problem from the Perspective of Predicate Logic. .This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017.   The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics. The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com. .Lecture Notes in Artificial Intelligence,2945-9141 ;10483Artificial intelligenceMachine theoryComputer scienceSoftware engineeringAlgorithmsInformation technologyManagementArtificial IntelligenceFormal Languages and Automata TheoryComputer Science Logic and Foundations of ProgrammingSoftware EngineeringAlgorithmsComputer Application in Administrative Data ProcessingArtificial intelligence.Machine theory.Computer science.Software engineering.Algorithms.Information technologyManagement.Artificial Intelligence.Formal Languages and Automata Theory.Computer Science Logic and Foundations of Programming.Software Engineering.Algorithms.Computer Application in Administrative Data Processing.005.131Dixon Clareedthttp://id.loc.gov/vocabulary/relators/edtFinger Marceloedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484370503321Frontiers of Combining Systems2555154UNINA