LEADER 04480nam 22006135 450 001 996466255203316 005 20200630015333.0 010 $a3-540-48361-6 024 7 $a10.1007/3-540-57867-6 035 $a(CKB)1000000000234094 035 $a(SSID)ssj0000326165 035 $a(PQKBManifestationID)11248955 035 $a(PQKBTitleCode)TC0000326165 035 $a(PQKBWorkID)10296202 035 $a(PQKB)11145301 035 $a(DE-He213)978-3-540-48361-8 035 $a(PPN)155187260 035 $a(EXLCZ)991000000000234094 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRecent Trends in Data Type Specification$b[electronic resource] $e9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers /$fedited by Hartmut Ehrig, Fernando Orejas 205 $a1st ed. 1994. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994. 215 $a1 online resource (VIII, 356 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v785 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-57867-6 327 $aTowards an algebraic semantics for the object paradigm -- Rewriting techniques for software engineering -- Identity and existence, and types in algebra -- Overloading and inheritance -- A SMoLCS based kit for defining high-level algebraic Petri nets -- Institutions for very abstract specifications -- About the ?correctness? and ?adequacy? of PLUSS specifications -- Semantic constructions in the specification language Glider -- On certification of specifications for TROLL light objects -- Translating TROLL light concepts to Maude -- Algebraic high level nets -- 2-Categorical specification of partial algebras -- A behavioural algebraic framework for modular system design with reuse -- On fibred adjunctions and completeness for fibred categories -- Implementing inequality and nondeterministic specifications with bi-rewriting systems -- A semantic basis for logic-independent transformation -- Unified algebras and abstract syntax -- Structured inheritance for algebraic class specifications -- Towards a theory for the animation of algebraic specifications -- Second-order proof systems for algebraic specification languages -- An institution of object behaviour. 330 $aResearch in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v785 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a005.7/3 702 $aEhrig$b Hartmut$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOrejas$b Fernando$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWorkshop on Specification of Abstract Data Types 906 $aBOOK 912 $a996466255203316 996 $aRecent Trends in Data Type Specification$92829876 997 $aUNISA LEADER 03832nam 2200673Ia 450 001 9910777318503321 005 20230209014748.0 010 $a1-118-05196-3 010 $a0-470-27723-8 035 $a(CKB)1000000000413452 035 $a(EBL)331639 035 $a(OCoLC)608622358 035 $a(SSID)ssj0000242850 035 $a(PQKBManifestationID)11215439 035 $a(PQKBTitleCode)TC0000242850 035 $a(PQKBWorkID)10320540 035 $a(PQKB)10828847 035 $a(JP-MeL)3000029943 035 $a(Au-PeEL)EBL331639 035 $a(CaPaEBR)ebr10225428 035 $a(CaONFJC)MIL121758 035 $a(CaSebORM)9780470180259 035 $a(MiAaPQ)EBC331639 035 $a(EXLCZ)991000000000413452 100 $a20080118d2008 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aSecond Life for dummies$b[electronic resource] /$fby Sarah Robbins and Mark Bell 205 $a1st edition 210 $aHoboken, NJ $cWiley Publishing$dc2008 215 $a1 online resource (338 p.) 225 1 $a--For dummies 300 $aDescription based upon print version of record. 311 $a0-470-18025-0 320 $aIncludes index. 327 $aSecond Life For Dummies; About the Authors; Dedication; Authors' Acknowledgments; Table of Contents; Part I: Second Life Overview and Basics; Chapter 1: The Meaning of (Second) Life; Chapter 2: Tweaking Your System: Adjusting Your Computer to Best Run Second Life; Chapter 3: Starting Your Second Life; Chapter 4: Navigating the Second Life Interface and World; Part II: Living Your Second Life - Exploring and Socializing; Chapter 5: Creating Your Second Life Persona; Chapter 6: Jumping into the Conversation: Express Yourself; Chapter 7: Getting a Social Second Life 327 $aChapter 8: Staying in Your Second Life Comfort ZonePart III: Inventory, Cash, and Land; Chapter 9: Becoming Materialistic with Your Second Life Inventory; Chapter 10: Understanding the Second Life Economy; Chapter 11: Spending Your Cash in Second Life; Chapter 12: Staking Your Claim in Second Life; Part IV: Building and Customizing; Chapter 13: Building Basics; Chapter 14: Taking Your Building Skills to the Next Level; Chapter 15: The Clothes Make the Avatar: Creating Your Own Clothing; Chapter 16: Making a Statement with Poses, Animations, and Gestures 327 $aPart V: Real Life Opportunities in Second LifeChapter 17: Getting Paid in Second Life ( It's Not Easy); Chapter 18: Bringing Big Business to Second Life; Chapter 19: Education in Second Life; Part VI: The Part of Tens; Chapter 20: Ten ( Or So) Great Places to Shop; Chapter 21: Ten Great Places to Visit; Index 330 $aYou've heard all about Second Life. Maybe you've already jumped with both feet-and gotten stuck. Or maybe you're a Second Life veteran who wants to build something or run a business. Fear not! Second Life For Dummies is hear to hold your hand, pat your back, and cheer you on through this new and enchanting reality. Written by a pair of Second Life old timers, this easy-to-use, flip-and-find guide is packed with expert advice, seasoned insight, and handy tips and tricks to get you moving fast. You'll find out how to set up your account, create an avatar, meet people and socialize, and 410 0$a--For dummies. 606 $aSecond Life (Game) 606 $aVideo games 615 0$aSecond Life (Game) 615 0$aVideo games. 676 $a793.9 676 $a794.8 686 $aSU 500$2rvk 700 $aRobbins$b Sarah$0846483 701 $aBell$b Mark R$01501717 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910777318503321 996 $aSecond Life for dummies$93729022 997 $aUNINA LEADER 03798nam 22006854a 450 001 9910220135403321 005 20200520144314.0 010 $a1-283-59732-2 010 $a9786613909770 010 $a0-8330-3594-0 035 $a(CKB)1000000000003718 035 $a(EBL)197463 035 $a(OCoLC)56727371 035 $a(SSID)ssj0000172449 035 $a(PQKBManifestationID)11152201 035 $a(PQKBTitleCode)TC0000172449 035 $a(PQKBWorkID)10151842 035 $a(PQKB)11161737 035 $a(Au-PeEL)EBL197463 035 $a(CaPaEBR)ebr10056182 035 $a(MiAaPQ)EBC197463 035 $a(oapen)doab114545 035 $a(oapen)114545 035 $a(EXLCZ)991000000000003718 100 $a20031210d2004 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHitting America's soft underbelly $ethe potential threat of deliberate biological attacks against the U.S. agricultural and food industry /$fPeter Chalk 205 $a1st ed. 210 $aSanta Monica, CA $cRand Corporation$d2004 215 $a1 online resource (67 p.) 300 $a"Prepared for the Office of the Secretary of Defense." 300 $a"MG-135-OSD"--P. [4] of cover. 311 08$a0-8330-3522-3 320 $aIncludes bibliographical references. 327 $aCover; Preface; Contents; Tables; Summary; Acknowledgments; Acronyms; CHAPTER ONE Introduction; Research Methods; The Importance of the Agricultural Sector to the U.S. Economy; Organization of This Report; CHAPTER TWO Vulnerability of U.S. Agriculture to Bio-Attacks; Concentrated and Intensive Contemporary Farming Practices; Increased Susceptibility of Livestock to Disease; Insufficient Farm/Food-Related Security and Surveillance; Inefficient Passive Disease-Reporting System; A Focus on Aggregate Rather Than Individual Livestock Statistics 327 $aCapability Requirements for Carrying Out an Agroterrorist Attack CHAPTER THREE Potential Impact of a Major Act of Agroterrorism; Economic Disruption; Loss of Political Support and Confidence in the Government; Social Instability; Agroterrorism to Generate Financial Capital and as a Form of Blackmail; Biological Assaults Against Agriculture and Terrorists' Modus Operandi; CHAPTER FOUR Policy Recommendations; Bibliography 330 $aOver the past decade, the United States has endeavored to increase its ability to detect, prevent, and respond to terrorist threats and incidents. The agriculture sector and the food industry in general, however, have received comparatively little attention with respect to protection against terrorist incidents. This study aims to expand the current debate on domestic homeland security by assessing the vulnerabilities of the agricultural sector and the food chain to a deliberate act of biological terrorism and exploring the likely outcomes of a successful attack. 517 3 $aPotential threat of deliberate biological attacks against the U.S. agricultural and food industry 606 $aAgriculture$xDefense measures$zUnited States 606 $aCivil defense$zUnited States 606 $aFood industry and trade$xDefense measures$zUnited States 606 $aBioterrorism$zUnited States$xPrevention 615 0$aAgriculture$xDefense measures 615 0$aCivil defense 615 0$aFood industry and trade$xDefense measures 615 0$aBioterrorism$xPrevention. 676 $a363.32 700 $aChalk$b Peter$0674558 712 02$aUnited States.$bDepartment of Defense.$bOffice of the Secretary of Defense. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910220135403321 996 $aHitting America's soft underbelly$92025956 997 $aUNINA