| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000017110 |
|
|
Autore |
Michieli, Igino |
|
|
Titolo |
Corso di estimo / Igino Michieli |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Estimo - Testi scolastici |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
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 p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISOBE600200064956 |
|
|
Autore |
Hoffbauer, Johann Christoph |
|
|
Titolo |
Untersuchungen über die wichtigsten Gegenstände des Naturrechts : nebst einer Censur der verdienstlichsten Bemühungen um diese Wissenschaft, vorzüglich in den neuern Zeiten, und Anwendungen derselben auf speciellere Rechtsfragen / von Johann Christoph Hoffbauer |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bruxelles, : Culture et Civilisation, 1969 |
|
|
|
|
|
|
|
Edizione |
[Impression anastaltique] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Ripr. facs. dell'ed. : Halle, 1795 |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910459703703321 |
|
|
Titolo |
Uniform distribution and Quasi-Monte Carlo methods : discrepancy, integration and applications / / edited by Peter Kritzer [and three others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2014 |
|
©2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
3-11-037503-6 |
3-11-031793-1 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (270 p.) |
|
|
|
|
|
|
Collana |
|
Radon Series on Computational and Applied Mathematics, , 1865-3707 ; ; Volume 15 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Uniform distribution (Probability theory) |
Monte Carlo method |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
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 -- Backmatter |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This 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. |
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910450413203321 |
|
|
Titolo |
Inclusive aid : changing power and relationships in international development / / edited by Leslie Groves and Rachel Hinton |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; Sterling, Va : , : Earthscan, , 2004 |
|
|
|
|
|
|
|
ISBN |
|
1-84977-170-7 |
1-280-47610-9 |
9786610476107 |
1-136-56316-4 |
600-00-0017-0 |
1-4175-4275-6 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (256 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
GrovesLeslie Christine <1974-> |
HintonRachel Barbara <1968-> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Economic assistance |
Poverty - Developing countries |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Inclusive Aid Changing Power and Relationships in International Development; Copyright; Contents; List of Figures, Tables and Boxes; About the Contributors; Preface; Editors' Acknowledgements; List of |
|
|
|
|
|
|
|
|
|
|
|
Acronyms and Abbreviations; Part One: Challenges and Opportunities; 1 The Complexity of Inclusive Aid; 2 Changing Power Relations in the History of Aid; 3 Reflections on Organizational Change; Part Two: Power, Procedures and Relationships; 4 Who Owns a Poverty Reduction Strategy? A Case Study of Power, Instruments and Relationships in Bolivia |
5 Questioning, Learning and 'Cutting Edge' Agendas: Some Thoughts from Tanzania6 The Donor-Government-Citizen Frame as Seen by a Government Participant; 7 Exploring Power and Relationships: A Perspective from Nepal; 8 An International NGO's Staff Reflections on Power, Procedures and Relationships; 9 'If It Doesn't Fit on the Blue Square It's Out!' An Open Letter to My Donor Friend; 10 The Bureaucrat; Part Threee: The Way Forward; 11 Shifting Power to Make a Difference; 12 How Can Donors Become More Accountable to Poor People?; 13 Minding the Gap through Organizational Learning |
14 Personal Change and Responsible Well-Being15 Enabling Inclusive Aid: Changing Power and Relationships in International Development; Appendix - The Dynamics of Aid: Power, Procedures and Relationships Timeline; Index |
|
|
|
|
|
|
Sommario/riassunto |
|
Rapid and profound changes are taking place in international development. The past two decades have promoted the ideals of participation and partnership, yet key decisions affecting people's lives continue to be made without sufficient attention to the socio-political realities of the countries in which they live. Embedded working traditions, vested interests and institutional inertia mean that old habits and cultures persist among the development community. Planning continues as though it were free of unpredictable interactions among stakeholders. This book is about the need to recognise the |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5. |
Record Nr. |
UNINA9910484370503321 |
|
|
Titolo |
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / / edited by Clare Dixon, Marcelo Finger |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 351 p. 38 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 10483 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Machine theory |
Computer science |
Software engineering |
Algorithms |
Information technology - Management |
Artificial Intelligence |
Formal Languages and Automata Theory |
Computer Science Logic and Foundations of Programming |
Software Engineering |
Computer Application in Administrative Data Processing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
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. . |
|
|
|
|
|
|
Sommario/riassunto |
|
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. . |
|
|
|
|
|
|
|
| |