LEADER 01204nam a22002891i 4500 001 991001627169707536 005 20031127175150.0 008 040407s1966 it a||||||||||||||||ita 035 $ab12799105-39ule_inst 035 $aARCHE-077873$9ExL 040 $aDip.to Scienze Storiche$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a759.5 245 00$aEnea Salmeggia detto Talpino :$brassegna e studio dell'opera pittorica e grafica : con 186 disegni inediti /$ca cura di Ugo Ruggeri ; presentazione di C. L. Ragghianti 250 $a2. ed. 260 $aBergamo :$bMonumenta Bergomensia,$c1966 300 $a104 p., [96] c. di tav. :$bill. ;$c32 cm 440 0$aMonumenta Bergomensia ;$v16 600 14$aSalmeggia, Enea$xPittura$xStudi critici 700 1 $aRuggeri, Ugo 700 1 $aRagghianti, Carlo Ludovico 700 1 $aSalmeggia, Enea 907 $a.b12799105$b02-04-14$c16-04-04 912 $a991001627169707536 945 $aLE009 LA VIII L 10 (Fondo Bottari)$g1$iLE009A-1745 LA$lle009$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i13345588$z16-04-04 996 $aEnea Salmeggia detto Talpino$9293845 997 $aUNISALENTO 998 $ale009$b16-04-04$cm$da $e-$fita$git $h0$i1 LEADER 03532nam 22007452 450 001 9910792070803321 005 20151005020622.0 010 $a1-107-23491-3 010 $a1-139-61026-0 010 $a1-139-61212-3 010 $a1-139-60867-3 010 $a1-139-00416-6 010 $a1-139-62514-4 010 $a1-139-61584-X 010 $a1-299-25766-6 035 $a(CKB)2560000000098637 035 $a(EBL)1099857 035 $a(OCoLC)828302665 035 $a(SSID)ssj0000833104 035 $a(PQKBManifestationID)11966419 035 $a(PQKBTitleCode)TC0000833104 035 $a(PQKBWorkID)10935661 035 $a(PQKB)11008900 035 $a(UkCbUP)CR9781139004169 035 $a(Au-PeEL)EBL1099857 035 $a(CaPaEBR)ebr10659331 035 $a(CaONFJC)MIL457016 035 $a(OCoLC)827947116 035 $a(MiAaPQ)EBC1099857 035 $a(PPN)261330233 035 $a(EXLCZ)992560000000098637 100 $a20110126d2013|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEconophysics of income and wealth distributions /$fBikas K. Chakrabarti, Saha Institute of Nuclear Physics, Anirban Chakraborti, E?cole Centrale Paris, Satya R. Chakravarty, Indian Statistical Institute, Arnab Chatterjee, Aalto University$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2013. 215 $a1 online resource (ix, 214 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a1-107-01344-5 311 $a1-139-62142-4 320 $aIncludes bibliographical references and index. 327 $aIncome and wealth distribution data for different countries -- Major socio-economic modelling -- Market exchanges and scattering process -- Analytic structure of the kinetic exchange market models -- Microeconomic foundation of the kinetic exchange models -- Dynamics : generation of income, inequality and development -- Outlook. 330 $aThe distribution of wealth and income is never uniform, and philosophers and economists have tried for years to understand the reasons and formulate remedies for such inequalities. This book introduces the elegant and intriguing kinetic exchange models that physicists have developed to tackle these issues. This is the first monograph in econophysics focussed on the analyses and modelling of these distributions, and is ideal for physicists and economists. It is written in simple, lucid language, with plenty of illustrations and in-depth analyses, making it suitable for researchers new to this field as well as specialized readers. It explores the origin of economic inequality and examines the scientific steps that can be taken to reduce this inequality in the future. 517 3 $aEconophysics of Income & Wealth Distributions 606 $aIncome distribution 606 $aWealth 606 $aEconophysics 615 0$aIncome distribution. 615 0$aWealth. 615 0$aEconophysics. 676 $a339.2 686 $aBUS061000$2bisacsh 700 $aChakrabarti$b B. K$g(Bikas K.),$f1952-$047326 702 $aChakraborti$b Anirban 702 $aChakravarty$b Satya R. 702 $aChatterjee$b Arnab 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910792070803321 996 $aEconophysics of income and wealth distributions$93775716 997 $aUNINA LEADER 04729nam 22006015 450 001 9910789343303321 005 20200703005312.0 010 $a1-4471-1494-9 024 7 $a10.1007/978-1-4471-1494-9 035 $a(CKB)3400000000088512 035 $a(SSID)ssj0000805248 035 $a(PQKBManifestationID)11498383 035 $a(PQKBTitleCode)TC0000805248 035 $a(PQKBWorkID)10842167 035 $a(PQKB)11706568 035 $a(DE-He213)978-1-4471-1494-9 035 $a(MiAaPQ)EBC3074773 035 $a(EXLCZ)993400000000088512 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 14$aThe B Language and Method$b[electronic resource] $eA Guide to Practical Formal Development /$fby Kevin Lano 205 $a1st ed. 1996. 210 1$aLondon :$cSpringer London :$cImprint: Springer,$d1996. 215 $a1 online resource (VIII, 232 p.) 225 1 $aFormal Approaches to Computing and Information Technology (FACIT) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-76033-4 320 $aIncludes bibliographical references and index. 327 $a1 Introduction -- 1.1 Formal Methods -- 1.2 The History of B -- 1.3 The Relationship of B to Other Formal Methods -- 1.4 Summary -- 2 The Foundations of B AMN -- 2.1 Mathematical Notation -- 2.2 Defining Operations -- 2.3 Abstract Machines -- 2.4 Machine Composition Mechanisms -- 2.5 Refinement -- 2.6 Implementation -- 2.7 Summary -- 2.8 Exercises 1 -- 3 Analysis and Specification -- 3.1 Requirements Analysis -- 3.2 Specification Development -- 3.3 Animation -- 3.4 Proof of Internal Consistency Obligations -- 3.5 Ship Loading Case Study ? Specification -- 3.6 Renaming -- 3.7 Aggregation -- 3.8 Summary -- 3.9 Exercises 2 -- 4 Design and Implementation -- 4.1 The Layered Development Paradigm -- 4.2 Refinement Examples -- 4.3 Proofs of Refinement -- 4.4 Decomposing Implementations -- 4.5 Ship Loading Case Study ? Implementation -- 4.6 Summary -- 4.7 Exercises 3 -- 5 Case Studies -- 5.1 Personnel System Development -- 5.2 Mine Pump Control -- 5.3 Vending Machine -- 6 Conclusions -- A Exercise Solutions -- A.1 Exercises 1 -- A.2 Exercises 2 -- A.3 Exercises 3 -- B Properties of Weakest Preconditions -- B.1 Termination and Feasibility -- B.2 Set-theoretic Semantics -- B.3 Refinement -- B.4 Well-formedness Obligations -- B.5 Normal Forms -- B.6 Rules for ? -- B.7 Definition of := -- C Proof Techniques. 330 $aB is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics. 410 0$aFormal Approaches to Computing and Information Technology (FACIT) 606 $aSoftware engineering 606 $aMathematical logic 606 $aProgramming languages (Electronic computers) 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 0$aProgramming languages (Electronic computers). 615 14$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.1/2/015113 700 $aLano$b Kevin$4aut$4http://id.loc.gov/vocabulary/relators/aut$0746541 906 $aBOOK 912 $a9910789343303321 996 $aThe B Language and Method$93720389 997 $aUNINA LEADER 03284nam 2200697 a 450 001 9910806893603321 005 20230725053745.0 010 $a9786613333162 010 $a9781119963844 010 $a1119963842 010 $a9781283333160 010 $a1283333163 010 $a9781119963868 010 $a1119963869 010 $a9781119963837 010 $a1119963834 035 $a(CKB)2550000000062149 035 $a(EBL)819207 035 $a(OCoLC)815954458 035 $a(SSID)ssj0000564521 035 $a(PQKBManifestationID)11378564 035 $a(PQKBTitleCode)TC0000564521 035 $a(PQKBWorkID)10602455 035 $a(PQKB)11502540 035 $a(MiAaPQ)EBC819207 035 $a(Au-PeEL)EBL819207 035 $a(CaPaEBR)ebr10509836 035 $a(CaONFJC)MIL333316 035 $a(Perlego)1013284 035 $a(EXLCZ)992550000000062149 100 $a20110718d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aAtrial fibrillation ablation $ethe state of the art based on the VeniceChart international consensus document /$fedited by Andrea Natale, Antonio Raviele 205 $a2011 update. 210 $aChichester, West Sussex $cWiley-Blackwell$d2011 215 $a1 online resource (233 p.) 300 $aDescription based upon print version of record. 311 08$a9780470674154 311 08$a0470674156 320 $aIncludes bibliographical references and index. 327 $aAnatomy of structures relevant to atrial fibrillation ablation -- Pathophysiology of atrial fibrillation -- Techniques and technologies for atrial fibrillation catheter ablation -- Endpoints of catheter ablation for atrial fibrillation -- Patients management pre-, during and post-ablation -- Periprocedural and long-term anticoagulation -- Periprocedural and late complications -- Short- and long-term efficacy -- Indications to atrial fibrillation ablation and cost effectiveness -- Clinical trials on atrial fibrillation / future perspectives -- Surgical approach / ablation -- Hospital equipment and facilities, personnel, training requirements and competences. 330 $aThis concise text presents best practices for all aspects of atrial fibrillation ablation as outlined in the new version of the VeniceChart International Consensus document, which is presented in conjunction with the biannual Venice Arrhythmias conference. In addition to discussing the latest in a-fib ablation research, this 2011 update covers all the key areas of therapy and patient management, including: Techniques and technologies Procedural endpoints Patient management pre-, peri- and post-ablation Prevention and treatment of complications Definition of success and 606 $aAtrial fibrillation$xTreatment 606 $aCatheter ablation 608 $aPractice Guideline. 615 0$aAtrial fibrillation$xTreatment. 615 0$aCatheter ablation. 676 $a616.1/280076 701 $aNatale$b Andrea$0480355 701 $aRaviele$b Antonio$0940883 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910806893603321 996 $aAtrial fibrillation ablation$92121662 997 $aUNINA