LEADER 03635oam 22004452 450 001 9910480603903321 005 20210801000000.0 035 $a(CKB)3710000000886274 035 $a(WaSeSS)IndRDA00109636 035 $a(MiAaPQ)EBC4961884 035 $a(MiAaPQ)EBC6412644 035 $a(Au-PeEL)EBL4961884 035 $a(CaONFJC)MIL960397 035 $a(OCoLC)1024281438 035 $a(FR-PaOEC)9789264262294-fr 035 $a(Au-PeEL)EBL6412644 035 $a(OCoLC)1005085006 035 $a(EXLCZ)993710000000886274 100 $a20171201d2016 uf 0 101 0 $afre 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aLes conséquences économiques de la pollution de l'air extérieur$b[electronic resource] /$fOrganisation de coopération et de développement économiques 210 $aParis $cOECD Publishing$d2016 215 $a1 online resource (128 pages) 311 $a92-64-26228-8 311 $a92-64-26229-6 327 $aCoûts en bien-être de la pollution de l'air extérieur à l'horizon 2060 -- Conséquences de la pollution de l'air extérieur pour la croissance économique -- Description du modèle ENV-Linkages -- Cadre d'évaluation des conséquences économiques de la pollution de l'air extérieur -- Projections de la croissance économique et des impacts de la pollution de l'air extérieur -- Acronymes et abbréviations -- Méthode de calcul des impacts sur la santé -- Les liens entre la pollution de l'air extérieur et la croissance économique -- Résumé -- Préface et remerciements -- Description du modèle TM5-FASST. 330 3 $aCe rapport fournit une évaluation approfondie des conséquences économiques de la pollution de l'air extérieur pour les décennies à venir. Il met l?accent sur l'impact en termes de mortalité et de morbidité ainsi que sur les changements dans les rendements des cultures qui ont été causés par des concentrations trop élevées de polluants. L'analyse s?appuie sur des simulations d?un modèle d?équilibre général multisectoriel, multirégional, et dynamique, pour évaluer les coûts marchands de la pollution atmosphérique. L'analyse aborde également les impacts sanitaires non marchands en utilisant des techniques d?évaluation de types « disposition à payer ». Le rapport constate que l'augmentation de l'activité économique entraînera une augmentation significative des émissions et des concentrations de polluants atmosphériques au niveau mondial, à moins que des politiques plus strictes ne soient adoptées. En conséquence, de graves répercussions sur la santé humaine et l'environnement sont à prévoir. Le rapport montre des projections de décès prématurés causés par la pollution de l'air extérieur au niveau mondial et régional pour 2015-2060, ainsi que les conséquences sur l'augmentation des maladies et la diminution des rendements agricoles. Les impacts marchands de la pollution de l'air extérieur devraient conduire à d'importants coûts économiques illustrés au niveau régional et sectoriel. Enfin, le rapport prévoit d'énormes coûts sociaux par an au niveau mondial si les gouvernements ne mettent pas en ?uvre des politiques plus strictes. 606 $aAir$xPollution$xEconomic aspects 608 $aElectronic books. 615 0$aAir$xPollution$xEconomic aspects. 676 $a363.7392 801 0$bFR-PaOEC 906 $aBOOK 912 $a9910480603903321 996 $aLes conséquences économiques de la pollution de l'air extérieur$91895734 997 $aUNINA LEADER 01408nam 2200385 n 450 001 996390021503316 005 20200824121206.0 035 $a(CKB)1000000000656524 035 $a(EEBO)2240878210 035 $a(UnM)99848999e 035 $a(UnM)99848999 035 $a(EXLCZ)991000000000656524 100 $a19920123d1619 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 00$aEpigrams of that most wittie and worthie epigrammatist Mr. Iohn Owen, Gentleman. Translated by Iohn Vicars$b[electronic resource] 210 $aLondon $cPrinted by W[illiam] S[tansby] for Iohn Smethwicke, and are to be sold at his shop in S. Dunstanes Church-yard vnder the Dyall$d1619 215 $a[112] p 300 $aIn verse. 300 $aPrinter's name from STC. 300 $aSignatures: A-G. 300 $aReproduction of the original in the Henry E. Huntington Library and Art Gallery. 330 $aeebo-0113 606 $aEpigrams, English$vEarly works to 1800 615 0$aEpigrams, English 700 $aOwen$b John$f1560?-1622.$0204538 701 $aVicars$b John$f1579 or 80-1652.$01002610 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996390021503316 996 $aEpigrams of that most wittie and worthie epigrammatist Mr. Iohn Owen, Gentleman. Translated by Iohn Vicars$92384799 997 $aUNISA LEADER 06759nam 22007455 450 001 9910768474203321 005 20200703120357.0 010 $a3-540-45319-9 024 7 $a10.1007/3-540-45319-9 035 $a(CKB)1000000000211471 035 $a(SSID)ssj0000327271 035 $a(PQKBManifestationID)11230134 035 $a(PQKBTitleCode)TC0000327271 035 $a(PQKBWorkID)10301598 035 $a(PQKB)11711312 035 $a(DE-He213)978-3-540-45319-2 035 $a(MiAaPQ)EBC3071679 035 $a(PPN)155172735 035 $a(EXLCZ)991000000000211471 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTools and Algorithms for the Construction and Analysis of Systems $e7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /$fedited by Tiziana Margaria, Wang Yi 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (XIV, 594 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2031 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-41865-2 320 $aIncludes bibliographical references and index. 327 $aInvited Contributions -- Branching vs. Linear Time: Final Showdown -- Propositional Reasoning -- Symbolic Verification -- Language Containment Checking with Nondeterministic BDDs -- Satisfiability Checking Using Boolean Expression Diagrams -- A Library for Composite Symbolic Representations -- Infinite State Systems: Deduction and Abstraction -- Synthesis of Linear Ranking Functions -- Automatic Deductive Verification with Invisible Invariants -- Incremental Verification by Abstraction -- A Technique for Invariant Generation -- Application of Model Checking Techniques -- Model Checking Syllabi and Student Careers -- Verification of Vortex Workflows -- Parameterized Verification of Multithreaded Software Libraries -- Timed and Probabilistic Systems -- Efficient Guiding Towards Cost-Optimality in UPPAAL -- Linear Parametric Model Checking of Timed Automata -- Abstraction in Probabilistic Process Algebra -- First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders -- Hardware: Design and Verification -- Hardware/Software Co-design Using Functional Languages -- Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors -- Software Verification -- Boolean and Cartesian Abstraction for Model Checking C Programs -- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs -- The loop Compiler for Java and JML -- Symbolic Verification -- Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking -- Saturation: An Efficient Iteration Strategy for Symbolic State?Space Generation -- Testing: Techniques and Tools -- Automated Test Generation from Timed Automata -- Testing an Intentional Naming Scheme Using Genetic Algorithms -- Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions -- TATOO: Testing and Analysis Tool for Object-Oriented Software -- Implementation Techniques -- Implementing a Multi-valued Symbolic Model Checker -- Is There a Best Symbolic Cycle-Detection Algorithm? -- Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets -- A Sweep-Line Method for State Space Exploration -- Semantics and Compositional Verification -- Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams -- Simulation Revisited -- Compositional Message Sequence Charts -- An Automata Based Interpretation of Live Sequence Charts -- Logics and Model-Checking -- Coverage Metrics for Temporal Logic Model Checking -- Parallel Model Checking for the Alternation Free ?-Calculus -- Model Checking CTL*[DC] -- ETAPS Tool Demonstration -- CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS -- The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models -- The Erlang Verification Tool. 330 $aThis book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2031 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer networks 606 $aAlgorithms 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer networks. 615 0$aAlgorithms. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aAlgorithm Analysis and Problem Complexity. 676 $a004.2/11 702 $aMargaria$b Tiziana$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYi$b Wang$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aETAPS (Conference)$d(4th :$f2001 :$eGenoa, Italy), 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768474203321 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNINA LEADER 01961cam a22003857i 4500 001 991003244799707536 005 20250430130202.0 008 981117s1763 it aef b 001 0 ita d 035 $ab14303127-39ule_inst 035 $aCICOGNARA-A2013-0474$9ExL 040 $aBibl. Interfacoltà T. Pellegrino$bita 100 1 $aVenuti, Ridolfino$d<1705-1763>$08606 245 10$aAccurata, e succinta descrizione topografica delle antichità di Roma.$cDell'abate Ridolfino Venuti ... 260 $aIn Roma :$bpresso Gio: Battista Bernabò, e Giuseppe Lazzarini,$c1763. 300 $a2 v. :$bill., c. geogr., tav.; $c4° (28 cm). 500 $aIllustrazioni di G.B. Piranesi, N. Mogalli, F.P. Duflos e altri. 500 $aFront. con incisione. 500 $aIncisioni calcografiche. 500 $aEsemplare 2 vol. in 1.$5VcBA$3R.G.ArteArch.III.759 500 $aRiproduzione in microfiche dell'originale conservato presso la Biblioteca Apostolica Vaticana 504 $aIndicazioni bibliografiche nelle note. 505 0 $a"Carta topographica delle antichità di Roma ... seocondo il giro metodico ... dall'ab Ridolfino Venuti ..." 651 4$aRoma (città)$xAntichità 651 4$aRoma (città)$xDescrizione e viaggi 651 4$aRoma (città)$xGuide 700 1 $aPiranesi, Giovanni Battista$d<1720-1778> 700 1 $aMogalli, Niccolò$d 787 18$iLeopoldo Cicognara Program :$tBiblioteca Cicognara$h[microform] : literary sources in the history of art and kindred subjects 787 18$tCatalogo ragionato dei libri d'arte e d'antichità / Leopoldo Cicognara 907 $a.b14303127$b01-04-22$c28-07-16 912 $a991003244799707536 945 $aLE002 SB Raccolta Cicognara, mcrf 3905$g0$lle002$pE0.00$rn$so $t11$u0$v0$w0$x0$y.i15774673$z28-07-16 996 $aAccurata e succinta descrizione topografica delle antichità di Roma$9114051 997 $aUNISALENTO 998 $ale002$b28-07-16$cm$dg $e-$fita$git $h0$i1