LEADER 01484nam 2200349 450 001 996202053903316 005 20230425221732.0 035 $a(CKB)2670000000070657 035 $a(NjHacI)992670000000070657 035 $a(EXLCZ)992670000000070657 100 $a20230425d2010 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology /$fInstitute of Electrical and Electronics Engineers 210 1$aPiscataway, N.J. :$cIEEE,$d2010. 215 $a1 online resource $cillustrations 311 $a1-4244-8753-6 311 $a0-7695-4265-4 320 $aIncludes bibliographical references. 517 $aParallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and Second International Workshop on High Performance Computational Systems Biology 606 $aComputer programs$xVerification 615 0$aComputer programs$xVerification. 676 $a005.1 801 0$bNjHacI 801 1$bNjHacl 906 $aPROCEEDING 912 $a996202053903316 996 $a2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology$92310750 997 $aUNISA LEADER 03961nam 22006855 450 001 9910299768603321 005 20251202151110.0 010 $a3-319-17768-0 024 7 $a10.1007/978-3-319-17768-7 035 $a(CKB)3710000000436824 035 $a(EBL)3567490 035 $a(SSID)ssj0001525161 035 $a(PQKBManifestationID)11820636 035 $a(PQKBTitleCode)TC0001525161 035 $a(PQKBWorkID)11496900 035 $a(PQKB)11493928 035 $a(DE-He213)978-3-319-17768-7 035 $a(MiAaPQ)EBC3567490 035 $a(PPN)186399960 035 $a(EXLCZ)993710000000436824 100 $a20150630d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAdvanced Functional Evolution Equations and Inclusions /$fby Saïd Abbas, Mouffak Benchohra 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (423 p.) 225 1 $aDevelopments in Mathematics,$x2197-795X ;$v39 300 $aDescription based upon print version of record. 311 08$a3-319-17767-2 320 $aIncludes bibliographical references and index. 327 $a1. Preliminary Background -- 2. Partial Functional Evolution Equations with Finite Delay -- 3. Partial Functional Evolution Equations with Infinite Delay -- 4. Perturbed Partial Functional Evolution Equations -- 5. Partial Functional Evolution Inclusions with Finite Delay -- 6. Partial Functional Evolution Inclusions with Infinite Delay -- 7. Densely Defined Functional Differential Inclusions with Finite Delay -- 8. Non-Densely Defined Functional Differential Inclusions with Finite Delay -- 9. Impulsive Semi-linear Functional Differential Equations -- 10. Impulsive Functional Differential Inclusions with Unbounded Delay -- 11. Functional Differential Inclusions with Multi-valued Jumps -- 12. Global Existence Results for Functional Differential Equations and Inclusions with Delay -- 13. Global Existence Results of Second Order Functional Differential Equations with Delay -- References -- Index. 330 $aThis book presents up-to-date results on abstract evolution equations and differential inclusions in infinite dimensional spaces. It covers equations with time delay and with impulses, and complements the existing literature in functional differential equations and inclusions. The exposition is devoted to both local and global mild solutions for some classes of functional differential evolution equations and inclusions, and other densely and non-densely defined functional differential equations and inclusions in separable Banach spaces or in Fréchet spaces. The tools used include classical fixed points theorems and the measure-of non-compactness, and each chapter concludes with a section devoted to notes and bibliographical remarks. This monograph is particularly useful for researchers and graduate students studying pure and applied mathematics, engineering, biology and all other applied sciences. 410 0$aDevelopments in Mathematics,$x2197-795X ;$v39 606 $aDifferential equations 606 $aDynamical systems 606 $aSystem theory 606 $aControl theory 606 $aDifferential Equations 606 $aDynamical Systems 606 $aSystems Theory, Control 615 0$aDifferential equations. 615 0$aDynamical systems. 615 0$aSystem theory. 615 0$aControl theory. 615 14$aDifferential Equations. 615 24$aDynamical Systems. 615 24$aSystems Theory, Control. 676 $a515.352 700 $aAbbas$b Sai?d$4aut$4http://id.loc.gov/vocabulary/relators/aut$00 702 $aBenchohra$b Mouffak$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910299768603321 997 $aUNINA