1.

Record Nr.

UNISA990001003340203316

Autore

TURCO LIVERI, Giuseppe

Titolo

Le prestazioni professionali in edilizia ed urbanistica : competenze, teriffe, incarichi, responsabilità : ingegneri, architetti, geometri / Giuseppe Turco Liveri

Pubbl/distr/stampa

Rimini : Maggioli, copyr. 1983

Descrizione fisica

304 p. ; 24 cm

Disciplina

344.4501762

Soggetti

Edilizia - Aspetti giuridici

Ingegneri - Onorari - Legislazione

Architetti - Onorari - Legislazione

Geometri - Onorari - Legislazione

Collocazione

XXV.2.C 58 (IG I 1003)

COLL VI c 2

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNINA9910467748703321

Autore

Wohl Ellen E. <1962->

Titolo

Rivers in the landscape : science and management / / Ellen Wohl

Pubbl/distr/stampa

Hoboken, New Jersey : , : John Wiley & Sons Inc., , 2014

ISBN

1-118-41490-X

1-118-41491-8

Descrizione fisica

1 online resource (332 pages) : illustrations

Disciplina

551.48/3

Soggetti

Rivers

River channels

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.



3.

Record Nr.

UNINA9910788520403321

Titolo

Cameroon : : Poverty Reduction Strategy Paper-Progress Report- Joint Staff Advisory Note

Pubbl/distr/stampa

Washington, D.C. : , : International Monetary Fund, , 2008

ISBN

1-4552-7234-5

1-4527-2124-6

1-280-89114-9

9786613732453

1-4518-7831-1

Descrizione fisica

1 online resource (9 p.)

Collana

IMF Staff Country Reports

Disciplina

362.5526

Soggetti

Poverty - Government policy - Cameroon

Public Finance

Social Services and Welfare

Government Policy

Provision and Effects of Welfare Program

National Government Expenditures and Related Policies: Infrastructures

Other Public Investment and Capital Stock

National Budget, Deficit, and Debt: General

National Government Expenditures and Related Policies: General

Social welfare & social services

Public finance & taxation

Budgeting & financial management

Poverty reduction strategy

Public investment and public-private partnerships (PPP)

Budget execution and treasury management

Public financial management (PFM)

Poverty reduction

Poverty

Expenditure

Public-private sector cooperation

Budget

Finance, Public

Cameroon Economic conditions

Cameroon



Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di contenuto

""Cover""; ""Cameroon: Poverty Reduction Strategy Paper�Progress Report� Joint Staff Advisory Note""; ""I. OVERVIEW""; ""II. STRATEGIC PILLARS FOR POVERTY REDUCTION""; ""A. Promoting a Stable Macroeconomic Environment""; ""B. Growth and Economic Diversification""; ""C. Strengthening Human Resource Development and Bolstering Social Services""; ""D. Improving Governance""; ""E. Monitoring and Evaluation Systems""; ""III. CONCLUSION""

Sommario/riassunto

The fourth annual progress report on the implementation of the Poverty Reduction Strategy (PRS) provides a generally candid review of achievements and obstacles in implementation during 2006. The current report incorporates to a limited extent IMF staff recommendations from the previous Joint Staff Advisory Note (JSAN). The ongoing preparation of an updated PRS provides an opportunity to address more forcefully growth bottlenecks in Cameroon. The report covers a period of good external and fiscal performance, but accompanied by a significant decline in economic growth.



4.

Record Nr.

UNINA9910824174603321

Titolo

Logic, computation, hierarchies / / edited by Vasco Brattka, Hannes Diener, Dieter Spreen

Pubbl/distr/stampa

Boston : , : De Gruyter, , [2014]

©2014

ISBN

1-61451-940-4

1-61451-804-1

Descrizione fisica

1 online resource (424 p.)

Collana

Ontos mathematical logic, , 2198-2341 ; ; volume 4

Classificazione

CC 2600

Disciplina

511.3

Soggetti

Logic, Symbolic and mathematical

Algebra, Boolean

Quasi-metric spaces

Petri nets

Set theory

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Front matter -- Preface -- Contents -- The life and work of Victor L. Selivanov / Spreen, Dieter -- Tight extensions of T0-quasi-metric spaces / Agyingi, Collins Amburo / Haihambo, Paulus / Künzi, Hans-Peter A. -- On the strongly bounded turing degrees of simple sets / Ambos-Spies, Klaus -- Levels of discontinuity, limit-computability, and jump operators / de Brecht, Matthew -- The wadge hierarchy of Petri Nets ω-languages / Duparc, Jacques / Finkel, Olivier / Ressayre, Jean-Pierre -- Diophantine properties of brownian motion: recursive aspects / Fouché, Willem L. -- The completeness of isomorphism / Sy-David, Friedman -- Complexity issues for Preorders on finite labeled forests / Hertling, Peter / Selivanov, Victor -- Boolean algebras of regular quasi-aperiodic languages / Konovalov, Anton -- A simple indeterminate infinite game / Kopczynski, Eryk / Niwinski, Damian -- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces / Motto Ros, Luca / Schlicht, Philipp -- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC / Odintsov, Sergey -- COMPUTING CLEBSCH-GORDAN MATRICES WITH



APPLICATIONS IN ELASTICITY THEORY / Selivanova, Svetlana -- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) / Shilov, Nikolay V. -- PARTIAL NUMBERINGS AND PRECOMPLETENESS / Spreen, Dieter -- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS / Spreen, Dieter -- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES / Staiger, Ludwig -- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS / Zhukov, Anton V. -- INDEX

Sommario/riassunto

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.