LEADER 02211nam 2200649Ia 450 001 9910450570603321 005 20200520144314.0 010 $a9786611365080 010 $a1-281-36508-4 010 $a1-4039-8150-7 024 7 $a10.1057/9781403981509 035 $a(CKB)1000000000342781 035 $a(SSID)ssj0000168757 035 $a(PQKBManifestationID)11153598 035 $a(PQKBTitleCode)TC0000168757 035 $a(PQKBWorkID)10202783 035 $a(PQKB)10392234 035 $a(SSID)ssj0000298330 035 $a(PQKBManifestationID)12068874 035 $a(PQKBTitleCode)TC0000298330 035 $a(PQKBWorkID)10344519 035 $a(PQKB)10520495 035 $a(DE-He213)978-1-4039-8150-9 035 $a(MiAaPQ)EBC307842 035 $a(Au-PeEL)EBL307842 035 $a(CaPaEBR)ebr10135526 035 $a(CaONFJC)MIL136508 035 $a(OCoLC)560465139 035 $a(EXLCZ)991000000000342781 100 $a20041022d2005 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aHannah Arendt and international relations$b[electronic resource] $ereadings across the lines /$fedited by Anthony F. Lang, Jr., John Williams 205 $a1st ed. 210 $aNew York $cPalgrave Macmillan$d2005 215 $a1 online resource (244 p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-230-60613-X 311 $a1-4039-6783-0 320 $aIncludes bibliographical references and index. 330 $aHannah Arendt's approach to politics focuses on action and conduct, rather than institutions, constitutions, and states. In light of Arendtian conceptions of politics, essays in this book challenge conventional IR theories. 606 $aInternational relations 608 $aElectronic books. 615 0$aInternational relations. 676 $a327.1/01 701 $aLang$b Anthony F.$f1968-$0956541 701 $aWilliams$b John$f1969-$0309311 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910450570603321 996 $aHannah Arendt and international relations$92166030 997 $aUNINA LEADER 02972nam 22007575 450 001 996466290203316 005 20230124142414.0 010 $a3-030-03769-X 024 7 $a10.1007/978-3-030-03769-7 035 $a(CKB)4100000007127615 035 $a(DE-He213)978-3-030-03769-7 035 $a(MiAaPQ)EBC6301983 035 $a(PPN)232470847 035 $a(EXLCZ)994100000007127615 100 $a20181107d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRuntime Verification$b[electronic resource] $e18th International Conference, RV 2018, Limassol, Cyprus, November 10?13, 2018, Proceedings /$fedited by Christian Colombo, Martin Leucker 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XI, 470 p. 113 illus., 42 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11237 300 $aIncludes index. 311 $a3-030-03768-1 327 $aInvited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers. 330 $aChapter ?Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing? is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11237 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aElectronic digital computers?Evaluation 606 $aComputer science 606 $aComputers 606 $aProfessions 606 $aMachine theory 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aSystem Performance and Evaluation 606 $aComputer Science Logic and Foundations of Programming 606 $aThe Computing Profession 606 $aFormal Languages and Automata Theory 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aElectronic digital computers?Evaluation. 615 0$aComputer science. 615 0$aComputers. 615 0$aProfessions. 615 0$aMachine theory. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aSystem Performance and Evaluation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aThe Computing Profession. 615 24$aFormal Languages and Automata Theory. 676 $a005.14 702 $aColombo$b Christian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLeucker$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466290203316 996 $aRuntime Verification$9772115 997 $aUNISA