LEADER 01635nam--2200445---450- 001 990000541320203316 005 20090930151637.0 010 $a88-7976-008-4 035 $a0054132 035 $aUSA010054132 035 $a(ALEPH)000054132USA01 035 $a0054132 100 $a20010704d1993----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> imposta comunale sulla pubblicità e i diritti sulle pubbliche affissioni$ecommento sistematico, prassi e giurisprudenza del DPR 26 ottobre 1972 n. 639 e successive integrazioni$fGiampaolo De Paulis, Eugenio De Palma 210 $aRoma$cEdizioni delle autonomie$d1993 215 $a413 p.$d24 cm 410 $12001 461 1$1001-------$12001 606 0 $aImposta pubblicità$xLegislazione 606 0 $aAffissioni pubblicitarie$xTributi$xLegislazione 676 $a343.45043 700 1$aDE PAULIS,$bGiampaolo$0427885 701 1$aDE PALMA,$bEugenio$0546273 801 0$aIT$bsalbc$gISBD 912 $a990000541320203316 951 $aXXIV.5.B 49 (IG IV 921)$b2195 G$cXXIV.5.B 49 (IG IV)$d00238351 951 $aXXIV.5.B. 49 a (IG IV 926)$b2995 G$cXXIV.5.B. 49 a (IG IV)$d00239683 959 $aBK 969 $aGIU 979 $aPATTY$b90$c20010704$lUSA01$h1045 979 $c20020403$lUSA01$h1703 979 $aPATRY$b90$c20040406$lUSA01$h1638 979 $aRSIAV2$b90$c20090817$lUSA01$h1514 979 $aRSIAV5$b90$c20090930$lUSA01$h1516 979 $aRSIAV5$b90$c20090930$lUSA01$h1516 996 $aImposta comunale sulla pubblicità e i diritti sulle pubbliche affissioni$9885807 997 $aUNISA LEADER 03834nam 2200793 a 450 001 9910455017903321 005 20210917023325.0 010 $a1-4008-2110-X 010 $a1-282-75184-0 010 $a9786612751844 010 $a1-4008-1230-5 024 7 $a10.1515/9781400821105 035 $a(CKB)111056486501422 035 $a(EBL)581616 035 $a(OCoLC)700688638 035 $a(SSID)ssj0000205550 035 $a(PQKBManifestationID)11184796 035 $a(PQKBTitleCode)TC0000205550 035 $a(PQKBWorkID)10193666 035 $a(PQKB)10259879 035 $a(SSID)ssj0000439810 035 $a(PQKBManifestationID)11315556 035 $a(PQKBTitleCode)TC0000439810 035 $a(PQKBWorkID)10464362 035 $a(PQKB)10475494 035 $a(MiAaPQ)EBC581616 035 $a(OCoLC)51493996 035 $a(MdBmJHUP)muse35972 035 $a(DE-B1597)446065 035 $a(OCoLC)979954249 035 $a(DE-B1597)9781400821105 035 $a(Au-PeEL)EBL581616 035 $a(CaPaEBR)ebr10031908 035 $a(CaONFJC)MIL275184 035 $a(EXLCZ)99111056486501422 100 $a19921028d1993 uy 0 101 0 $aeng 135 $aurnn#---|u||u 181 $ctxt 182 $cc 183 $acr 200 14$aThe morality of pluralism$b[electronic resource] /$fJohn Kekes 205 $aCore Textbook 210 $aPrinceton, N.J. $cPrinceton University Press$dc1993 215 $a1 online resource (240 p.) 300 $a"Companion volume of Moral tradition and individuality, and Facing evil"--P. xii. 311 0 $a0-691-04474-0 311 0 $a0-691-03230-0 320 $aIncludes bibliographical references (p. [219]-224) and index. 327 $tFront matter --$tContents --$tAcknowledgments --$tCHAPTER ONE. Introduction: Setting the Stage --$tCHAPTER TWO. The Six Theses of Pluralism --$tCHAPTER THREE. The Plurality and Conditionality of Values --$tCHAPTER FOUR. The Unavoidability of Conflicts --$tCHAPTER FIVE. The Nature of Reasonable Conflict-Resolution --$tCHAPTER SIX. The Possibilities of Life --$tCHAPTER SEVEN. The Need for Limits --$tCHAPTER EIGHT. The Prospects of Moral Progress --$tCHAPTER NINE. Some Moral Implications of Pluralism: On There Being Some Limits Even to Morality --$tCHAPTER TEN. Some Personal Implications of Pluralism: Innocence Lost and Regained --$tCHAPTER ELEVEN. Some Political Implications of Pluralism: The Conflict with Liberalism --$tWorks Cited --$tIndex 330 $aControversies about abortion, the environment, pornography, AIDS, and similar issues naturally lead to the question of whether there are any values that can be ultimately justified, or whether values are simply conventional. John Kekes argues that the present moral and political uncertainties are due to a deep change in our society from a dogmatic to a pluralistic view of values. Dogmatism is committed to there being only one justifiable system of values. Pluralism recognizes many such systems, and yet it avoids a chaotic relativism according to which all values are in the end arbitrary. Maintaining that good lives must be reasonable, but denying that they must conform to one true pattern, Kekes develops and justifies a pluralistic account of good lives and values, and works out its political, moral, and personal implications. 606 $aPluralism 606 $aValues 606 $aEthics 608 $aElectronic books. 615 0$aPluralism. 615 0$aValues. 615 0$aEthics. 676 $a171/.7 700 $aKekes$b John$0918692 701 $aKekes$b John$0918692 701 $aKekes$b John$0918692 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910455017903321 996 $aThe morality of pluralism$92460570 997 $aUNINA LEADER 05550nam 2200661 a 450 001 9910831081603321 005 20170815114003.0 010 $a1-280-27197-3 010 $a9786610271979 010 $a0-470-29983-5 010 $a0-470-86482-6 010 $a0-470-01415-6 035 $a(CKB)111087027099600 035 $a(EBL)163119 035 $a(OCoLC)55001806 035 $a(SSID)ssj0000266488 035 $a(PQKBManifestationID)11214752 035 $a(PQKBTitleCode)TC0000266488 035 $a(PQKBWorkID)10302098 035 $a(PQKB)10531548 035 $a(MiAaPQ)EBC163119 035 $a(PPN)17526208X 035 $a(EXLCZ)99111087027099600 100 $a20030806d2003 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aValidation of communications systems with SDL$b[electronic resource] $ethe art of SDL simulation and reachability analysis /$fLaurent Doldi 210 $aChichester ;$aHoboken, NJ $cWiley$dc2003 215 $a1 online resource (312 p.) 300 $aDescription based upon print version of record. 311 $a0-470-85286-0 320 $aIncludes bibliographical references (p. [289]-291) and index. 327 $aValidation of Communications Systems with SDL; Contents; Preface; Foreword; 1 Introduction; 1.1 Validation of Communications Systems; 1.2 SDL, Language to Master Complex Systems Development; 1.2.1 Overview of SDL; 1.2.2 Benefits provided by SDL; 1.3 Simulation Life Cycle; 1.4 Contents of the Book; 1.5 Tools and Platforms Used; 2 Quick Tutorial on SDL; 2.1 Structure of an SDL Model; 2.1.1 System, block and process; 2.1.2 Scope of declarations; 2.1.3 Process; 2.1.4 Procedure; 2.2 Communication; 2.2.1 Signals; 2.2.2 Channel; 2.2.3 Signal route; 2.3 Behavior; 2.3.1 Structure of a transition 327 $a2.3.2 Start2.3.3 States; 2.3.4 Input; 2.3.5 Save; 2.3.6 Variables; 2.3.7 Stop; 2.3.8 Task; 2.3.9 Create; 2.3.10 Output; 2.3.11 Decision; 2.3.12 Timers; 2.4 Data Types; 2.4.1 Predefined data; 2.4.2 Array; 2.4.3 Synonym and syntype; 2.4.4 Newtype; 2.5 Constructs for Better Modularity and Genericity; 2.5.1 Package; 2.5.2 Types, instances and gates; 2.5.3 Specialization; 3 The V.76 Protocol Case Study; 3.1 Presentation; 3.2 Specification of the V.76 Protocol; 3.2.1 Abbreviations used; 3.2.2 Exchange identification procedures (XID); 3.2.3 Establishment of a data link connection 327 $a3.2.4 Information transfer modes3.2.5 Release of a DLC; 3.3 Analysis MSCs for the V.76 Protocol; 3.4 The SDL Model of V.76; 3.4.1 The simulation configuration of V.76; 3.4.2 The package V76; 3.4.3 The block dataLink; 4 Interactive Simulation; 4.1 Principles; 4.2 Case Study with Tau SDL Suite; 4.2.1 Prepare the Simulator; 4.2.2 Validate against the main scenarios; 4.2.3 Detect a bug in the SDL model; 4.2.4 Detect nonsimulated parts; 4.2.5 Validate against more scenarios; 4.2.6 Write a script for automatic validation; 4.2.7 Other Simulator features; 4.3 Case Study with ObjectGeode 327 $a4.3.1 Prepare the Simulator4.3.2 Validate against the main scenarios; 4.3.3 Detect a bug in the SDL model; 4.3.4 Detect nonsimulated parts; 4.3.5 Validate against more scenarios; 4.3.6 Write a script for automatic validation; 4.3.7 Other Simulator features: watch, trace, filter etc; 4.4 Errors Detectable by Interactive Simulation; 4.4.1 Dynamic errors detected by Tau SDL suite Simulator; 4.4.2 Dynamic errors detected by ObjectGeode SDL Simulator; 4.4.3 Dynamic errors not checked; 5 Automatic Observation of Simulations; 5.1 Principles; 5.1.1 Automatic checking of model properties 327 $a5.1.2 Specificity of observation with MSCs in Tau SDL Suite5.2 Case study with Tau SDL Suite; 5.2.1 Simulate with user-defined rules; 5.2.2 Simulate with a basic MSC; 5.2.3 Simulate with an MSC containing inline operators; 5.2.4 Simulate with an HMSC; 5.2.5 More details on MSCs; 5.2.6 Simulate with observer processes; 5.2.7 More details on observer processes; 5.3 Case Study with ObjectGeode; 5.3.1 Simulate with stop conditions; 5.3.2 Simulate with a basic MSC; 5.3.3 Simulate with a hierarchical MSC; 5.3.4 More details on MSCs; 5.3.5 Simulate with GOAL observers 327 $a5.3.6 More details on GOAL observers 330 $aValidation of Communications Systems with SDL provides a clear practical guide to validating, by simulation, a telecom system modelled in SDL. SDL, the Specification and Description Language standardised by the International Telecommunication Union (ITU-T), is used to specify and develop complex systems such as GSM, GPRS, UMTS, IEEE 802.11 or Hiperlan. Since the downturn in the telecom industry, validating a system before its implementation has become mandatory to reduce costs. This volume guides you step by step through the validation of a simplified protocol layer, from interactive 606 $aWireless communication systems$xComputer simulation 606 $aMobile communication systems$xComputer simulation 606 $aSDL (Computer program language) 615 0$aWireless communication systems$xComputer simulation. 615 0$aMobile communication systems$xComputer simulation. 615 0$aSDL (Computer program language) 676 $a621.382 676 $a621.38450113 700 $aDoldi$b Laurent$01668851 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910831081603321 996 $aValidation of communications systems with SDL$94029734 997 $aUNINA