LEADER 00886nam0-2200265 --450 001 9910312050903321 005 20190322121148.0 010 $a3540415238 (alk. paper) 100 $a20190322d2001--------kmuy0itay5050----ba 101 0 $aeng 102 $aDE 200 1 $aSystems and software verification$emodel-checking techniques and tools /$fB. Be?rard ... [et al.] 210 $aBerlin ;$aNew York$cSpringer$dc2001 215 $axii, 190 p.$cill. ;$d24 cm 320 $aIncludes bibliographical references (p. [179]-182). 610 0 $aComputer systems$xVerification 610 0 $aComputer software$xVerification 676 $a005.1/4 701 1$aBe?rard,$bBe?atrice$0598511 801 0$aIT$bUNINA$gRICA$2UNIMARC 912 $a9910312050903321 952 $a13 65 07$b2129 / 2018$fFINBC 959 $aFINBC 996 $aSystems and software verification$91028436 997 $aUNINA LEADER 02199nam 2200481 450 001 9910781399303321 005 20231206230315.0 010 $a1-4422-3002-9 010 $a1-283-06658-0 010 $a9781442204805 010 $a1-4422-0481-8 035 $a(PPN)223814350 035 $a(MiAaPQ)EBC1481222 035 $a(MiAaPQ)EBC680360 035 $a(MiAaPQ)EBC6951551 035 $a(EXLCZ)992550000000032166 100 $a20130530h20112011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aWhy Taiwan matters $esmall island, global powerhouse /$fShelley Rigger 205 $aUpdated edition. 210 1$aLanham :$cRowman and Littlefield,$d[2011] 210 4$d©2011 215 $aix, 217 pages $cillustrations ;$d23 cm 300 $aDescription based upon print version of record. 311 $a1-4422-0480-X 311 $a1-4422-0479-6 320 $aIncludes bibliographical references and index. 327 $aTaipei 101 -- Building Taiwan -- From farmers to manufacturers -- From 'Free China' to democratic Taiwan -- America is boring at night -- An opportunity full of threats, a threat full of opportunities -- Making peace with China, inside and outside -- The international birdcage -- Why Taiwan matters. 330 $aWritten by a leading expert on Taiwan, Why Taiwan Matters offers a comprehensive and engaging introduction to a country that exercises a role in the world far greater than its tiny size would indicate. Shelley Rigger explains how Taiwan became such a key global player, highlighting economic and political breakthroughs so impressive they have been called ""miracles."" She links these accomplishments to Taiwan's determined society, vibrant culture, and unique history. Drawing on arts, economics, politics, and international 606 $aInternational relations 607 $aTaiwan$xForeign relations$y21st century 615 0$aInternational relations. 700 $aRigger$b Shelley$f1962-$01513793 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910781399303321 996 $aWhy Taiwan matters$93748443 997 $aUNINA LEADER 02900nam 2200745 450 001 9910788821003321 005 20200520144314.0 010 $a3-11-055410-0 010 $a3-11-027760-3 010 $a3-11-038140-0 024 7 $a10.1515/9783110277609 035 $a(CKB)3360000000514916 035 $a(EBL)1209321 035 $a(SSID)ssj0001401901 035 $a(PQKBManifestationID)11827619 035 $a(PQKBTitleCode)TC0001401901 035 $a(PQKBWorkID)11357710 035 $a(PQKB)11406219 035 $a(MiAaPQ)EBC1209321 035 $a(DE-B1597)175134 035 $a(OCoLC)1013967100 035 $a(OCoLC)894750714 035 $a(DE-B1597)9783110277609 035 $a(Au-PeEL)EBL1209321 035 $a(CaPaEBR)ebr11006673 035 $a(CaONFJC)MIL805769 035 $a(OCoLC)898769633 035 $a(EXLCZ)993360000000514916 100 $a20150128h20142014 uy 0 101 0 $ager 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aEnteignungsentscha?digung /$fbearbeitet von Manfred Aust, Rainer Jacobs, Dieter Pasternak 205 $a7., neu bearbeitete Auflage. 210 1$aBerlin, Germany ;$aBoston, Massachusetts :$cDe Gruyter,$d2014. 210 4$d©2014 215 $a1 online resource (554 p.) 225 0 $aDe Gruyter Praxishandbuch 300 $aDescription based upon print version of record. 311 $a3-11-027761-1 311 $a3-11-027751-4 320 $aIncludes bibliographical references and index. 327 $t Frontmatter -- $tVorwort zur siebten Auflage -- $tAus dem Vorwort zur ersten Auflage -- $tInhaltsverzeichnis -- $tAbkürzungsverzeichnis -- $tLiteraturverzeichnis -- $tEinführung -- $tA -- $tB -- $tD -- $tE -- $tF -- $tG -- $tH -- $tI -- $tJ -- $tK -- $tL -- $tM -- $tN -- $tÖ -- $tR -- $tS -- $tT -- $tÜ -- $tU -- $tV -- $tW -- $tZ -- $tAnhang -- $tRegister 330 $a The present book is written for "on site" practitioners. They will be given an opportunity to acquire information on the fundamental questions of expropriation law and the latest court decisions quickly, comprehensively and reliably. The book deals with the principles for quantifying compensation for expropriated property in key terms in alphabetical order. 410 3$aDe Gruyter Praxishandbuch 606 $aEminent domain$zGermany 606 $aCompensation (Law)$zGermany 610 $aExpropriation/law. 615 0$aEminent domain 615 0$aCompensation (Law) 676 $a343.430252 686 $aPN 277$qBSZ$2rvk 700 $aAust$b Manfred$01168021 702 $aAust$b Manfred 702 $aJacobs$b Rainer 702 $aPasternak$b Dieter 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910788821003321 996 $aEnteignungsentscha?digung$93764872 997 $aUNINA