LEADER 03868nam 22007092 450 001 9910957408403321 005 20140807172656.0 010 $a9781472578716 010 $a1472578716 010 $a9781474288002 010 $a1474288006 010 $a9781472594396 010 $a1472594398 010 $a9781472578723 010 $a1472578724 024 7 $a10.5040/9781472594396 035 $a(CKB)3710000000261510 035 $a(EBL)1818058 035 $a(SSID)ssj0001349527 035 $a(PQKBManifestationID)12598176 035 $a(PQKBTitleCode)TC0001349527 035 $a(PQKBWorkID)11417826 035 $a(PQKB)10278595 035 $a(MiAaPQ)EBC1818058 035 $a(OCoLC)1197815951 035 $a(UtOrBLW)bpp09257887 035 $a(UtOrBLW)BP9781472594396BC 035 $a(Perlego)875308 035 $a(EXLCZ)993710000000261510 100 $a20140806d2014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aBadiou's Being and event and the mathematics of set theory /$fBurhanuddin Baki 210 1$aLondon ;$aNew York :$cBloomsbury Academic, an imprint of Bloomsbury Publishing Plc,$d2014. 215 $a1 online resource (289 p.) 300 $aDescription based upon print version of record. 311 08$a9781322215297 311 08$a1322215294 311 08$a9781472524454 311 08$a1472524454 320 $aIncludes bibliographical references and index. 327 $aList of Figures and Tables -- Acknowledgements -- Notes on Abbreviations, Citations and Translations -- Introduction -- 1. Mathematics = Ontology -- 2. Ontology of Axiomatic Set Theory -- 3. Metaontology of Situations and Presentation -- 4. Metaontology of the State and Representation -- 5. Ontology and Metaontology of the Cardinal and Ordinal Numbers -- 6. Ontology and Metaontology of the Constructible -- 7. Ontology of Forcing and Generic Sets -- 8. Metaontology of the Subject, Truth, the Event and Intervention -- Epilogue -- Works Cited. 330 $a"Alain Badiou's Being and Event continues to impact philosophical investigations into the question of Being. By exploring the central role set theory plays in this influential work, Burhanuddin Baki presents the first extended study of Badiou's use of mathematics in Being and Event. Adopting a clear, straightforward approach, Baki gathers together and explains the technical details of the relevant high-level mathematics in Being and Event. He examines Badiou's philosophical framework in close detail, showing exactly how it is 'conditioned' by the technical mathematics. Clarifying the relevant details of Badiou's mathematics, Baki looks at the four core topics Badiou employs from set theory: the formal axiomatic system of ZFC; cardinal and ordinal numbers; Kurt G del's concept of constructability; and Cohen's technique of forcing. Baki then rebuilds Badiou's philosophical meditations in relation to their conditioning by the mathematics, paying particular attention to Cohen's forcing, which informs Badiou's analysis of the event. Providing valuable insights into Badiou's philosophy of mathematics, Badiou's Being and Event and the Mathematics of Set Theory offers an excellent commentary and a new reading of Badiou's most complex and important work."--Bloomsbury Publishing. 606 $aEvents (Philosophy) 606 $aOntology 606 $aSet theory 606 $2Philosophy: logic 615 0$aEvents (Philosophy) 615 0$aOntology. 615 0$aSet theory. 676 $a111 686 $aPHI011000$2bisacsh 700 $aBaki$b Burhanuddin$01870878 801 0$bUtOrBLW 801 1$bUtOrBLW 906 $aBOOK 912 $a9910957408403321 996 $aBadiou's Being and event and the mathematics of set theory$94479415 997 $aUNINA LEADER 04624nam 22006255 450 001 9910588593303321 005 20251204111011.0 010 $a9783030023911$b(electronic bk.) 010 $z9783030023898 024 7 $a10.1007/978-3-030-02391-1 035 $a(MiAaPQ)EBC7076085 035 $a(Au-PeEL)EBL7076085 035 $a(CKB)24723939900041 035 $a(PPN)264194713 035 $a(BIP)85415334 035 $a(BIP)65703455 035 $a(DE-He213)978-3-030-02391-1 035 $a(EXLCZ)9924723939900041 100 $a20220817d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMobile Applications $eDesign, Development and Optimization /$fby Tejinder S. Randhawa 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (669 pages) 311 08$aPrint version: Randhawa, Tejinder S. Mobile Applications Cham : Springer International Publishing AG,c2022 9783030023898 320 $aIncludes bibliographical references and index. 327 $a1 Software Life Cycle -- 2 Development Fundamentals -- 3 Software Quality Assessment -- 4 Maintainability and Multi?Platform Development -- 5 User Interaction Optimization -- 6 Performance Acceleration -- 7 Scalability Provisioning -- 8 Reliability Assurance -- 9 Availability and Fault?Tolerance -- 10 Security and Trust. 330 $aUsing Android as a reference, this book teaches the development of mobile apps designed to be responsive, trustworthy and robust, and optimized for maintainability. As the share of mission-critical mobile apps continues to increase in the ever-expanding mobile app ecosystem, it has become imperative that processes and procedures to assure their reliance are developed and included in the software life cycle at opportune times. Memory, CPU, battery life and screen size limitations of smartphones coupled with volatility associated with mobile environments underlines that the quality assurance strategies that proved to be successful for desktop applications may no longer be effective in mobile apps. To that effect, this book lays a foundation upon which quality assurance processes and procedures for mobile apps could be devised. This foundation is composed of analytical models, experimental test-beds and software solutions. Analytical models proposed in the literature to predict software quality are studied and adapted for mobile apps. The efficacy of these analytical models in prejudging the operations of mobile apps under design and development is evaluated. A comprehensive test suite is presented that empirically assesses a mobile app?s compliance to its quality expectations. Test procedures to measure quality attributes such as maintainability, usability, performance, scalability, reliability, availability and security, are detailed. Utilization of test tools provided in Android Studio as well as third-party vendors in constructing the corresponding test-beds is highlighted. An in-depth exploration of utilities, services and frameworks available on Android is conducted, and the results of their parametrization observed through experimentation to construct quality assurance solutions are presented. Experimental development of some example mobile apps is conducted to gauge adoption of process models and determine favorable opportunities forintegrating the quality assurance processes and procedures in the mobile app life cycle. The role of automation in testing, integration, deployment and configuration management is demonstrated to offset cost overheads of integrating quality assurance process in the life cycle of mobile apps. . 606 $aComputer engineering 606 $aComputer networks 606 $aApplication software 606 $aComputer programming 606 $aComputer Engineering and Networks 606 $aComputer and Information Systems Applications 606 $aProgramming Techniques 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aApplication software. 615 0$aComputer programming. 615 14$aComputer Engineering and Networks. 615 24$aComputer and Information Systems Applications. 615 24$aProgramming Techniques. 676 $a005.3 676 $a005.35 700 $aRandhawa$b Tejinder S.$00 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910588593303321 996 $aMobile Applications$92907973 997 $aUNINA