LEADER 04196nam 22008295 450 001 996213648803316 005 20200702065423.0 010 $a3-319-12154-5 024 7 $a10.1007/978-3-319-12154-3 035 $a(CKB)3710000000269690 035 $a(SSID)ssj0001372828 035 $a(PQKBManifestationID)11761820 035 $a(PQKBTitleCode)TC0001372828 035 $a(PQKBWorkID)11305160 035 $a(PQKB)11261528 035 $a(DE-He213)978-3-319-12154-3 035 $a(MiAaPQ)EBC6298616 035 $a(MiAaPQ)EBC5591019 035 $a(Au-PeEL)EBL5591019 035 $a(OCoLC)894503945 035 $a(PPN)182097781 035 $a(EXLCZ)993710000000269690 100 $a20141013d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aVerified Software: Theories, Tools and Experiments$b[electronic resource] $e6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /$fedited by Dimitra Giannakopoulou, Daniel Kroening 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (X, 287 p. 107 illus.) 225 1 $aProgramming and Software Engineering ;$v8471 300 $aIncludes index. 311 $a3-319-12153-7 327 $aAnalysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security. 330 $aThis volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security. 410 0$aProgramming and Software Engineering ;$v8471 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aMathematical logic 606 $aArtificial intelligence 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 615 24$aArtificial Intelligence. 676 $a005.14 702 $aGiannakopoulou$b Dimitra$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKroening$b Daniel$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996213648803316 996 $aVerified Software. Theories, Tools, and Experiments$92025652 997 $aUNISA LEADER 03034nam 2200445 450 001 9910418268903321 005 20230329135005.0 035 $a(CKB)4960000000111370 035 $a(NjHacI)994960000000111370 035 $a(MiAaPQ)EBC30686183 035 $a(Au-PeEL)EBL30686183 035 $a(EXLCZ)994960000000111370 100 $a20230329d2020 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 04$aThe Political Economy of Local Cinema $eA Critical Introduction /$fEdited by Anne Rajala, Daniel Lindblom, Matteo Stocchetti 205 $a1st ed. 210 1$aBerlin :$cPeter Lang Publishing,$d2020. 210 4$dİ2020 215 $a1 online resource (257 pages) $cillustrations 311 $a3-631-81330-9 320 $aIncludes bibliographical references and index. 327 $aNotes on Contributors - Critical political economy and local cinema: An Introduction - Part 1 Local Cinema and Digitization: Distribution and Exhibition - The political economy of participatory community cinemas: CineCiutat as a standpoint of resistance - Elements of a critical political economy of local cinema in Digital Era: Lo-bal process and double aesthetic of cinema in French film exhibitors - Film distribution in Finland: Gatekeepers of local cinema - Terje Gaustad, Anne-Britt Gran, and Oyvind Torp Digitizing local cinema: Lessons on diversity from Norway - The political economy of Khaleeji cinema: Historical developments of Arab Gulf film industries - Part 2 Local Cinema and Globalization: Struggles, Survival and Sustainability - Production of Main Melody Film in Post-Socialist China: A deconstruction of Wolf Warrior 2 - In the land of Finnish Swedish cinema: A look into the political economy of local cinema in Finland - Art against the odds: The struggles, survival and success of New Zealand local cinema - Market censorship and Finnish cinema - Sustainability as a framework of analysis and a guide for policy-making: The film industry in Wellington, New Zealand. 330 $aThe globalization and digitalization of cultural markets presents formidable challenges for local cinema and storytelling. The essays in this collection address some of these challenges from the perspective of a critical political economy of local cinema. Inspiring these contributions is the effort of supporting local cinema as a form of valuable storytelling that is at risk of market-driven extinction because of the greater commercial viability of global or Hollywood cinema and national cinema. 517 $aPolitical Economy of Local Cinema 606 $aMotion picture industry 615 0$aMotion picture industry. 676 $a384.84 702 $aRajala$b Anne 702 $aLindblom$b Daniel 702 $aStocchetti$b Matteo 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910418268903321 996 $aThe Political Economy of Local Cinema$93086814 997 $aUNINA