LEADER 03193nam 22006252 450 001 9910789315803321 005 20151005020622.0 010 $a1-107-33359-8 010 $a1-107-33525-6 010 $a1-107-61079-6 010 $a1-107-33691-0 010 $a1-139-56787-X 035 $a(CKB)3460000000128976 035 $a(EBL)1139623 035 $a(OCoLC)847521083 035 $a(SSID)ssj0000890268 035 $a(PQKBManifestationID)11523101 035 $a(PQKBTitleCode)TC0000890268 035 $a(PQKBWorkID)10884056 035 $a(PQKB)11310322 035 $a(UkCbUP)CR9781139567879 035 $a(MiAaPQ)EBC1139623 035 $a(Au-PeEL)EBL1139623 035 $a(CaPaEBR)ebr10752995 035 $a(CaONFJC)MIL515095 035 $a(PPN)261315714 035 $a(EXLCZ)993460000000128976 100 $a20120810d2013|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSystematic program design $efrom clarity to efficiency /$fYanhong Annie Liu, Stony Brook University, State University of New York$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2013. 215 $a1 online resource (xv, 240 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a1-107-03660-7 311 $a1-107-32715-6 320 $aIncludes bibliographical references (p. 213-233) and index. 327 $aMachine generated contents note: 1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion. 330 $aA systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies. 606 $aComputer programming 606 $aSystem design 615 0$aComputer programming. 615 0$aSystem design. 676 $a005.1 686 $aCOM051010$2bisacsh 700 $aLiu$b Yanhong Annie$f1965-$01123805 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910789315803321 996 $aSystematic program design$93747663 997 $aUNINA LEADER 02522nam 2200661Ia 450 001 9910483624003321 005 20200520144314.0 010 $a9786613569622 010 $a9781280391705 010 $a1280391707 010 $a9783642122309 010 $a3642122302 024 7 $a10.1007/978-3-642-12230-9 035 $a(CKB)2920000000000014 035 $a(SSID)ssj0000449525 035 $a(PQKBManifestationID)11326160 035 $a(PQKBTitleCode)TC0000449525 035 $a(PQKBWorkID)10433975 035 $a(PQKB)10980967 035 $a(DE-He213)978-3-642-12230-9 035 $a(MiAaPQ)EBC3065374 035 $a(PPN)149062974 035 $a(EXLCZ)992920000000000014 100 $a20100413d2010 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aGeneralized Bessel functions of the first kind /$fArpad Baricz 205 $a1st ed. 2010. 210 $aHeidelberg $cSpringer$dc2010 215 $a1 online resource (XII, 200 p. 15 illus.) 225 0 $aLecture notes in mathematics,$x0075-8434 ;$v1994 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9783642122293 311 08$a3642122299 320 $aIncludes bibliographical references and index. 327 $aand Preliminary Results -- Geometric Properties of Generalized Bessel Functions -- Inequalities Involving Bessel and Hypergeometric Functions. 330 $aIn this volume we study the generalized Bessel functions of the first kind by using a number of classical and new findings in complex and classical analysis. Our aim is to present interesting geometric properties and functional inequalities for these generalized Bessel functions. Moreover, we extend many known inequalities involving circular and hyperbolic functions to Bessel and modified Bessel functions. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v1994 606 $aBessel functions 606 $aHypergeometric functions 606 $aGeometric function theory 606 $aInequalities (Mathematics) 615 0$aBessel functions. 615 0$aHypergeometric functions. 615 0$aGeometric function theory. 615 0$aInequalities (Mathematics) 676 $a515.53 700 $aBaricz$b Arpad$0478939 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483624003321 996 $aGeneralized bessel functions of the first kind$9261788 997 $aUNINA