LEADER 01474nam--2200409---450- 001 990003202920203316 005 20090306141235.0 010 $a978-88-348-8582-6 035 $a000320292 035 $aUSA01000320292 035 $a(ALEPH)000320292USA01 035 $a000320292 100 $a20090306d2008----km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aPratiche commerciali scorrette e codice del consumo$erecepimento della direttiva 2005/29/Ce nel diritto italiano (decreti legislativi nn. 145 e 146 del 2 agosto 2007)$fElena Bargelli ... [et al.]$ga cura di Giovanni De Cristofaro 210 $aTorino$cGiappichelli$d2008 215 $aXVI, 531 p.$d23 cm 225 2 $aPrincipi regole e sistema$iDiritto Privato Europeo$v2 410 0$aPrincipi regole e sistema$12001$iDiritto Privato Europeo$v2 454 1$12001 461 1$1001-------$12001 606 0 $aConsumatori$xTutela$xLegislazione$2BNCF 676 $a343.4507102632 700 1$aBARGELLI,$bElena$0321606 702 1$aDE CRISTOFARO,$bGiovanni 801 0$aIT$bsalbc$gISBD 912 $a990003202920203316 951 $aXXIII.4.D 5$b62179 G.$cXXIII.4.D$d00200423 959 $aBK 969 $aGIU 979 $aFIORELLA$b90$c20090306$lUSA01$h1408 979 $aFIORELLA$b90$c20090306$lUSA01$h1412 979 $aCHIARA$b90$c20110519$lUSA01$h1429 996 $aPratiche commerciali scorrette e codice del consumo$91015411 997 $aUNISA LEADER 04857nam 22008175 450 001 9910484817003321 005 20251226195638.0 010 $a3-540-79707-6 024 7 $a10.1007/978-3-540-79707-4 035 $a(CKB)1000000000440623 035 $a(SSID)ssj0000317716 035 $a(PQKBManifestationID)11240620 035 $a(PQKBTitleCode)TC0000317716 035 $a(PQKBWorkID)10294830 035 $a(PQKB)10377887 035 $a(DE-He213)978-3-540-79707-4 035 $a(MiAaPQ)EBC4975638 035 $a(MiAaPQ)EBC6709789 035 $a(Au-PeEL)EBL4975638 035 $a(CaONFJC)MIL185520 035 $a(OCoLC)1024280526 035 $a(Au-PeEL)EBL6709789 035 $a(PPN)127049452 035 $a(MiAaPQ)EBC5596516 035 $a(EXLCZ)991000000000440623 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods for Industrial Critical Systems $e12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /$fedited by Stefan Leue, Pedro Merino 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (X, 254 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4916 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-79706-8 320 $aIncludes bibliographical references and author index. 327 $aInvited Presentations -- Verification of Embedded Software: From Mars to Actions -- Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel -- Research Papers -- Static Analysis of the Accuracy in Control Systems: Principles and Experiments -- Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code -- Checking the TWIN Elevator System by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler -- Computing Worst-Case Response Times in Real-Time Avionics Applications -- Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization -- An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications -- Model Classifications and Automated Verification -- An Approach to Formalization and Analysis of Message Passing Libraries -- Analysis of a Session-Layer Protocol in mCRL2 -- Automatic Certification of Java Source Code in Rewriting Logic -- Reverse Engineered Formal Models for GUI Testing -- Automatic Interoperability Test Case Generation Based on Formal Definitions. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4916 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputers, Special purpose 606 $aTheory of Computation 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aSpecial Purpose and Application-Based Systems 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aComputers, Special purpose. 615 14$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a005.1/4 686 $a54.52$2bcl 702 $aLeue$b Stefan 702 $aMerino$b Pedro$f1962- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484817003321 996 $aFormal Methods for Industrial Critical Systems$91921860 997 $aUNINA LEADER 03857nam 22007215 450 001 9910254252203321 005 20251113194847.0 010 $a3-319-31274-X 024 7 $a10.1007/978-3-319-31274-3 035 $a(CKB)3710000000651922 035 $a(SSID)ssj0001665858 035 $a(PQKBManifestationID)16454429 035 $a(PQKBTitleCode)TC0001665858 035 $a(PQKBWorkID)14999916 035 $a(PQKB)10070715 035 $a(DE-He213)978-3-319-31274-3 035 $a(MiAaPQ)EBC5594356 035 $a(PPN)193444186 035 $a(EXLCZ)993710000000651922 100 $a20160401d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 13$aAn Introduction to Fuzzy Linear Programming Problems $eTheory, Methods and Applications /$fby Jagdeep Kaur, Amit Kumar 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XV, 119 p.) 225 1 $aStudies in Fuzziness and Soft Computing,$x1860-0808 ;$v340 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-31273-1 327 $aState of the Art -- Non-Negative Fuzzy Optimal Solution of Fully Fuzzy Linear Programming Problems with Equality Constraints -- Fuzzy Optimal Solution of Fully Fuzzy Linear Programming Problems with Equality Constraints -- Fuzzy Optimal Solution of Fully Fuzzy Linear Programming Problems With Equality Constraints Having LR Flat Fuzzy Numbers -- Unique Fuzzy Optimal Value of Fully Fuzzy Linear Programming Problems With Equality Constraints Having LR Flat Fuzzy Numbers -- Future Scope. 330 $aThe book presents a snapshot of the state of the art in the field of fully fuzzy linear programming. The main focus is on showing current methods for finding the fuzzy optimal solution of fully fuzzy linear programming problems in which all the parameters and decision variables are represented by non-negative fuzzy numbers. It presents new methods developed by the authors, as well as existing methods developed by others, and their application to real-world problems, including fuzzy transportation problems. Moreover, it compares the outcomes of the different methods and discusses their advantages/disadvantages. As the first work to collect at one place the most important methods for solving fuzzy linear programming problems, the book represents a useful reference guide for students and researchers, providing them with the necessary theoretical and practical knowledge to deal with linear programming problems under uncertainty. 410 0$aStudies in Fuzziness and Soft Computing,$x1860-0808 ;$v340 606 $aComputational intelligence 606 $aOperations research 606 $aManagement science 606 $aIndustrial management 606 $aArtificial intelligence 606 $aComputational Intelligence 606 $aOperations Research, Management Science 606 $aIndustrial Management 606 $aArtificial Intelligence 615 0$aComputational intelligence. 615 0$aOperations research. 615 0$aManagement science. 615 0$aIndustrial management. 615 0$aArtificial intelligence. 615 14$aComputational Intelligence. 615 24$aOperations Research, Management Science. 615 24$aIndustrial Management. 615 24$aArtificial Intelligence. 676 $a519.72 700 $aKaur$b Jagdeep$4aut$4http://id.loc.gov/vocabulary/relators/aut$0761177 702 $aKumar$b Amit$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254252203321 996 $aAn Introduction to Fuzzy Linear Programming Problems$92531924 997 $aUNINA