LEADER 00690nam0-22002531i-450- 001 990002590980403321 035 $a000259098 035 $aFED01000259098 035 $a(Aleph)000259098FED01 035 $a000259098 100 $a20000920d1977----km-y0itay50------ba 101 0 $aENG 200 1 $aAccounting in an inflationary environment$fdi SCAPENS 205 $a$a 210 $aLondra$cMacMillan$d1977 700 1$aScapens,$bRobert William$0116402 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990002590980403321 952 $a7-2-9-RA$bs.i.$fECA 959 $aECA 996 $aAccounting in an inflationary environment$9435368 997 $aUNINA DB $aING01 LEADER 03037oam 2200697I 450 001 9910460444503321 005 20200520144314.0 010 $a1-136-96078-3 010 $a1-136-96079-1 010 $a1-283-04472-2 010 $a9786613044723 010 $a0-203-85021-1 024 7 $a10.4324/9780203850213 035 $a(CKB)2670000000068819 035 $a(EBL)614664 035 $a(OCoLC)701703686 035 $a(SSID)ssj0000468835 035 $a(PQKBManifestationID)11303675 035 $a(PQKBTitleCode)TC0000468835 035 $a(PQKBWorkID)10507015 035 $a(PQKB)10249718 035 $a(OCoLC)708567987 035 $a(MiAaPQ)EBC614664 035 $a(Au-PeEL)EBL614664 035 $a(CaPaEBR)ebr10446839 035 $a(CaONFJC)MIL304472 035 $a(OCoLC)709903932 035 $a(EXLCZ)992670000000068819 100 $a20180706h20101936 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aEnter Mussolini $eobservations and adventures of an anti-fascist /$fEmilio Lussu ; translated from the Italian by Marion Rawson ; with a preface by Wickham Steed 210 1$aLondon :$cRoutledge,$d1936, 2010. 215 $a1 online resource (119 p.) 225 0 $aRoutledge library editions.Responding to fascism ;$vv. 4 300 $aFirst published in English 1936. 311 $a0-415-84741-9 311 $a0-415-58075-7 327 $aBOOK COVER; TITLE01; COPYRIGHT01; TITLE02; COPYRIGHT02; PREFACE TO THE ENGLISH EDITION; AUTHOR'S PREFACE; TRANSLATOR'S NOTE; CHAPTER I; CHAPTER II; CHAPTER III; CHAPTER IV; CHAPTER V; CHAPTER VI; CHAPTER VII; CHAPTER VIII; CHAPTER IX; CHAPTER X; CHAPTER XI; CHAPTER XII; CHAPTER XIII; CHAPTER XIV; CHAPTER XV; CHAPTER XVI; CHAPTER XVII; CHAPTER XVIII; CHAPTER XIX; CHAPTER XX; CHAPTER XXI; CHAPTER XXII; CHAPTER XXIII; CHAPTER XXIV; CHAPTER XXV 330 $aEmilio Lussu was an Italian MP and Professor of Political Economy, who was imprisoned because of his opposition to Mussolini. In 1929 he escaped with two fellow prisoners from the island of Lipari. Enter Mussolini combines an account of Mussolini's rise to power and a critique of the Italian fascist movement that was influential at a time when many observers were still sympathetic to fascism, at least in its Italian guise. It was first published in English in 1936. 410 0$aRoutledge library editions.$pResponding to fascism ;$vVolume 4. 606 $aFascism$zItaly 606 $aPolitical crimes and offenses$zItaly 608 $aElectronic books. 615 0$aFascism 615 0$aPolitical crimes and offenses 676 $a327.4504309045 676 $a945.09 676 $a945.091 700 $aLussu$b Emilio$f1890-1975.,$0199505 701 $aRawson$b Marion$0214923 701 $aSteed$b Henry Wickham$f1871-1956.$0135660 801 0$bFlBoTFG 801 1$bFlBoTFG 906 $aBOOK 912 $a9910460444503321 996 $aEnter Mussolini$91893373 997 $aUNINA LEADER 05337nam 2200637 a 450 001 9910455578903321 005 20200520144314.0 010 $a1-282-76027-0 010 $a9786612760273 010 $a981-281-402-7 035 $a(CKB)2490000000001716 035 $a(EBL)1681337 035 $a(OCoLC)729020415 035 $a(SSID)ssj0000426747 035 $a(PQKBManifestationID)12146607 035 $a(PQKBTitleCode)TC0000426747 035 $a(PQKBWorkID)10389330 035 $a(PQKB)10219483 035 $a(MiAaPQ)EBC1681337 035 $a(WSP)00000626 035 $a(Au-PeEL)EBL1681337 035 $a(CaPaEBR)ebr10422187 035 $a(CaONFJC)MIL276027 035 $a(EXLCZ)992490000000001716 100 $a20100423d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aReal time programming$b[electronic resource] $elanguages, specification and verification /$fR.K. Shyamasundar, S. Ramesh 210 $aSingapore ;$aHackensack, NJ ;$aLondon $cWorld Scientific$dc2010 215 $a1 online resource (264 p.) 300 $aDescription based upon print version of record. 311 $a981-02-2566-0 320 $aIncludes bibliographical references and index. 327 $aContents; Preface; Organization of the Monograph; Dependence of the chapters; Acknowledgement; PART I: Real Time Systems - Background; Summary; 1 Real Time System Characteristics; 1.1 Real-time and Reactive Programs; 2 Formal Program Development Methodologies; 2.1 Requirement Specification; 2.1.1 An Example; 2.2 System Specifications; 3 Characteristics of Real-Time Languages; 3.1 Modelling Features of Real-Time Languages; 3.2 A Look at Classes of Real-Time Languages; 4 Programming Characteristics of Reactive Systems; 4.1 Execution of Reactive Programs; 4.2 Perfect Synchrony Hypothesis 327 $a4.3 Multiform Notion of Time4.4 Logical Concurrency and Broadcast Communication; 4.5 Determinism and Causality; PART II: Synchronous Languages; Summary; 5 Esterel Language: Structure; 5.1 Top Level Structure; 5.1.1 Signals and Events; 5.1.2 Module Instantiation; 5.2 Esterel Statements; 5.2.1 Data Handling Statements; 5.2.2 Reactive Statements; 5.2.3 Derived Statements; 5.3 Illustrations of Esterel Program Behaviour; 5.4 Causality Problems; 5.5 A Historical Perspective; 6 Program Development in Esterel; 6.1 A Simulation Environment; 6.2 Verification Environment 327 $a7 Programming Controllers in Esterel7.1 Auto Controllers; 7.1.1 A Very Simple Auto Controller; 7.1.2 A Complex Controller; 7.1.3 A Cruise Controller; 7.1.4 A Train Controller; 7.1.5 A Mine Pump Controller; 8 Asynchronous Interaction in Esterel; 9 Futurebus Arbitration Protocol: A Case Study; 9.1 Arbitration Process; 9.2 Abstraction of the Protocol; 9.3 Solution in Esterel; 10 Semantics of Esterel; 10.1 Semantic Structure; 10.2 Transition Rules; 10.2.1 Rules for Signal Statement; 10.3 Illustrative Examples; 10.4 Discussions; 10.5 Semantics of Esterel with exec 327 $aPART III: Other Synchronous LanguagesSummary; 11 Synchronous Language Lustre; 11.1 An Overview of Lustre; 11.2 Flows and Streams; 11.3 Equations, Variables and Expressions; 11.4 Program Structure; 11.4.1 Illustrative Example; 11.5 Arrays in Lustre; 11.6 Further Examples; 11.6.1 A Very Simple Auto Controller; 11.6.2 A Complex Controller; 11.6.3 A Cruise Controller; 11.6.4 A Train Controller; 11.6.5 A Mine Pump Controller; 12 Modelling Time-Triggered Protocol (TTP) in Lustre; 12.1 Time-Triggered Protocol; 12.1.1 Clock Synchronization; 12.1.2 Bus Guardian .; 12.2 Modelling TTP in Lustre 327 $a13 Synchronous Language Argos13.1 Argos Constructs; 13.2 Illustrative Example; 13.3 Discussions; PART IV: Verification of Synchronous Programs; Summary; 14 Verification of Esterel Programs; 14.1 Transition System Based Veri cationy of Esterel Programs; 14.1.1 Detailed Discussion; 14.2 Esterel Transition System; 14.2.1 Abstraction and Hiding; 14.2.2 Observation Equivalence Reduction; 14.2.3 Context Filtering; 14.3 Temporal Logic Based Verification; 14.4 Observer-based Verification; 14.5 First Order Logic Based Verification; 15 Observer Based Verification of Simple Lustre Programs 327 $a15.1 A Simple Auto Controller 330 $a The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programs. It will clearly enable us to identify languages that can be used for different kinds of applications. Obviously, in an upcoming area like this, this presentation is far from complete. The quintessence of the monograph can be captured by the following question: How can 606 $aReal-time programming 608 $aElectronic books. 615 0$aReal-time programming. 676 $a004/.33 700 $aShyamasundar$b Rudrapatna$f1950-$0878410 701 $aRamesh$b S$g(Sethu)$0970740 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910455578903321 996 $aReal time programming$92206442 997 $aUNINA LEADER 02710nam 2200565Ia 450 001 9910140874603321 005 20170809174151.0 010 $a0-470-94432-3 010 $a1-119-20030-X 010 $a0-470-94431-5 035 $a(CKB)2670000000060170 035 $a(EBL)644910 035 $a(OCoLC)700704076 035 $a(SSID)ssj0000486314 035 $a(PQKBManifestationID)12190825 035 $a(PQKBTitleCode)TC0000486314 035 $a(PQKBWorkID)10430504 035 $a(PQKB)10425305 035 $a(MiAaPQ)EBC644910 035 $a(EXLCZ)992670000000060170 100 $a20100820d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aOption spread trading$b[electronic resource] $ea comprehensive guide to strategies and tactics /$fRussell Rhoads 210 $aHoboken, NJ $cJohn Wiley & Sons$d2010 215 $a1 online resource (289 p.) 225 1 $aWiley trading series 300 $aIncludes index. 311 $a0-470-61898-1 327 $aOption Spread Trading; Contents; Preface; Acknowledgments; CHAPTER 1 Essential Option Knowledge; CHAPTER 2 Spreads Using an Underlying Security; CHAPTER 3 Synthetic Positions; CHAPTER 4 The Greeks; CHAPTER 5 Straddles; CHAPTER 6 Strangles; CHAPTER 7 Bull Spreads; CHAPTER 8 Bear Spreads; CHAPTER 9 Butterfly Spreads; CHAPTER 10 Condor Spreads; CHAPTER 11 Ratio Spreads; CHAPTER 12 Backspreads; CHAPTER 13 The Stock Repair Strategy; CHAPTER 14 Calendar Spreads; CHAPTER 15 Diagonal Spreads; CHAPTER 16 Delta Neutral Trading; CHAPTER 17 Executing a Spread Trade; About the Author; Index 330 $aA practical guide to unlocking the power of option spreads When dealing with option spreads your looking to purchase one option in conjunction with the sale of another option. If managed properly, these spreads can provide experienced investors with the potential for large returns without undertaking a great deal of risk. Option Spread Trading provides a comprehensive, yet easy-to-understand explanation of option spreads, and shows you how to select the best spread strategy for any given market outlook. Along the way, author Russell Rhoads discusses spread strategies that can be use 410 0$aWiley trading series. 606 $aOptions (Finance) 606 $aFinance 608 $aElectronic books. 615 0$aOptions (Finance) 615 0$aFinance. 676 $a332.63/2283 676 $a332.6453 700 $aRhoads$b Russell$0856804 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910140874603321 996 $aOption spread trading$92066871 997 $aUNINA