LEADER 01817nam 2200529 450 001 9910798195803321 005 20200520144314.0 010 $a0-12-805105-1 035 $a(CKB)3710000000583735 035 $a(EBL)4386967 035 $a(SSID)ssj0001634590 035 $a(PQKBManifestationID)16386828 035 $a(PQKBTitleCode)TC0001634590 035 $a(PQKBWorkID)14950491 035 $a(PQKB)10452230 035 $a(Au-PeEL)EBL4386967 035 $a(CaPaEBR)ebr11152049 035 $a(CaONFJC)MIL892955 035 $a(OCoLC)935675616 035 $a(MiAaPQ)EBC4386967 035 $a(PPN)193663732 035 $a(EXLCZ)993710000000583735 100 $a20160215h20162016 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated security analysis of Android and iOS applications with mobile security framework /$fAjin Abraham ; contributing editor Henry Dalziel 210 1$aAmsterdam, [Netherlands] :$cSyngress,$d2016. 210 4$dİ2016 215 $a1 online resource (42 p.) 300 $aDescription based upon print version of record. 311 $a0-12-804718-6 327 $aThe mobile application pentest -- Configuring mobile security framework for static analysis -- Static analysis -- Configuring MobSF for dyanmic analysis -- Case studies. 606 $aApplication software$xSecurity measures 615 0$aApplication software$xSecurity measures. 676 $a005.8 700 $aAbraham$b Ajin$01538066 702 $aDalziel$b Henry 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910798195803321 996 $aAutomated security analysis of Android and iOS applications with mobile security framework$93787805 997 $aUNINA LEADER 02804oas 2200937 a 450 001 9910144182703321 005 20251114213013.0 011 $a1879-3576 035 $a(DE-599)ZDB1494886-2 035 $a(DE-599)1494886-2 035 $a(OCoLC)38887697 035 $a(CONSER) 2007233291 035 $a(CKB)954925525796 035 $a(EXLCZ)99954925525796 100 $a19980402a19729999 uy a 101 0 $aeng 135 $aurmnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGeothermics 210 $aPisa, Italy $cIstituto Internazionale per le Ricerche Geotermiche$d1972- 210 3 $aOxford $cElsevier 300 $aRefereed/Peer-reviewed 300 $aTitle from contents screen (ScienceDirect, viewed March 22, 2007). 300 $aSome issues also have distinctive titles. 300 $aPublished by: Pergamon Press, <1990-> 300 $a"International journal of geothermal research and its applications." 311 08$aGeothermics (trykt utgave) 999921324967202201 0375-6505 330 8 $a"An international journal devoted to the research and development of geothermal energy." 531 0 $aGeothermics 606 $aHydrogeology$vPeriodicals 606 $aGeothermal resources$vPeriodicals 606 $aE?nergie ge?othermique$vPe?riodiques 606 $aHydroge?ologie$vPe?riodiques 606 $aGeothermal resources$2fast$3(OCoLC)fst00941164 606 $aHydrogeology$2fast$3(OCoLC)fst00965077 606 $aGEOTHERMAL ENGINEERING$2unbist 606 $aGEOTHERMAL ENERGY$2unbist 606 $aGEOTHERMAL EXPLORATION$2unbist 608 $aPeriodicals.$2fast 615 0$aHydrogeology 615 0$aGeothermal resources 615 6$aE?nergie ge?othermique 615 6$aHydroge?ologie 615 7$aGeothermal resources. 615 7$aHydrogeology. 615 7$aGEOTHERMAL ENGINEERING. 615 7$aGEOTHERMAL ENERGY. 615 7$aGEOTHERMAL EXPLORATION. 712 02$aInternational Institute for Geothermal Research 712 02$aGeothermal Resources Council 712 02$aInternational Geothermal Association 712 02$aIstituto de geoscienze e georisorse 801 0$bOH1 801 1$bOH1 801 2$bOCL 801 2$bOCLCQ 801 2$bGUA 801 2$bU9S 801 2$bGUA 801 2$bCLU 801 2$bLGG 801 2$bOCLCQ 801 2$bOCLCF 801 2$bVT2 801 2$bOCLCQ 801 2$bNLE 801 2$bUKMGB 801 2$bSFB 801 2$bCNMTR 801 2$bOCLCQ 801 2$bOCLCO 801 2$bOCLCQ 801 2$bUAB 801 2$bOCLCL 801 2$bOCLCQ 906 $aJOURNAL 912 $a9910144182703321 996 $aGeothermics$9795879 997 $aUNINA LEADER 05081nam 22007815 450 001 9910484350503321 005 20251226200307.0 010 $a3-540-95885-1 024 7 $a10.1007/978-3-540-95885-7 035 $a(CKB)1000000000548857 035 $a(SSID)ssj0000318890 035 $a(PQKBManifestationID)11923608 035 $a(PQKBTitleCode)TC0000318890 035 $a(PQKBWorkID)10311918 035 $a(PQKB)10657056 035 $a(DE-He213)978-3-540-95885-7 035 $a(MiAaPQ)EBC3063844 035 $a(PPN)132870738 035 $a(EXLCZ)991000000000548857 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMembrane Computing $e9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers /$fedited by David Corne, Pierluigi Frisco, Gheorghe P?un, Grzegorz Rozenberg, Arto Salomaa 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (IX, 403 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5391 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-95884-3 320 $aIncludes bibliographical references and index. 327 $aInvited Lectures -- Investigation of a Biological Repair Scheme -- An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways -- Multilevel Modeling of Morphogenesis -- A Definition of Cellular Interface Problems -- A Multiscale Modeling Framework Based on P Systems -- Regular Papers -- On the Qualitative Analysis of Conformon P Systems -- Dual P Systems -- Solving PP-Complete and #P-Complete Problems by P Systems with Active Membranes -- Fast Synchronization in P Systems -- Membrane Systems Using Noncooperative Rules with Unconditional Halting -- Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study -- MetaPlab: A Computational Framework for Metabolic P Systems -- Usefulness States in New P System Communication Architectures -- A P-Lingua Programming Environment for Membrane Computing -- On Testing P Systems -- Hebbian Learning from Spiking Neural P Systems View -- Event-Driven Metamorphoses of P Systems -- Effects of HIV-1 Proteins on the Fas-Mediated Apoptotic Signaling Cascade: A Computational Study of Latent CD4+ T Cell Activation -- Transforming State-Based Models to P Systems Models in Practice -- How Redundant Is Your Universal Computation Device? -- Enumerating Membrane Structures -- Toward an MP Model of Non-Photochemical Quenching -- Applications of Page Ranking in P Systems -- An Algorithm for Non-deterministic Object Distribution in P Systems and Its Implementation in Hardware -- First Steps Towards a Wet Implementation for ?-DPP -- Defining and Executing P Systems with Structured Data in K -- Translating Multiset Tree Automata into P Systems. 330 $aThis book constitutes the thoroughly refereed extended postproceedings of the 9th International Workshop on Membrane Computing, WMC 2008, held in Edinburgh, UK, in July 2008 under the auspices of the European Molecular Computing Consortium (EMCC) and the Molecular Computing Task Force of IEEE Computational Intelligence Society. The 22 revised full papers presented together with 5 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science to application issues. A special attention was paid to the interaction of membrane computing with biology and computer science, focusing both on the biological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based implementations. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5391 606 $aComputer science 606 $aLife sciences 606 $aComputer programming 606 $aMachine theory 606 $aComputer simulation 606 $aComputer Science 606 $aLife Sciences 606 $aProgramming Techniques 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aComputer Modelling 615 0$aComputer science. 615 0$aLife sciences. 615 0$aComputer programming. 615 0$aMachine theory. 615 0$aComputer simulation. 615 14$aComputer Science. 615 24$aLife Sciences. 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Modelling. 676 $a004 701 $aHutchison$b David$028248 712 12$aWMC 2008 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484350503321 996 $aMembrane computing$94196589 997 $aUNINA