LEADER 03787nam 22006255 450 001 9910349285203321 005 20200705075638.0 010 $a9783030246587 010 $a3030246582 024 7 $a10.1007/978-3-030-24658-7 035 $a(CKB)4100000009160269 035 $a(DE-He213)978-3-030-24658-7 035 $a(MiAaPQ)EBC5924817 035 $a(Au-PeEL)EBL5924817 035 $a(OCoLC)1119667558 035 $a(PPN)24298259X 035 $a(MiAaPQ)EBC31886907 035 $a(Au-PeEL)EBL31886907 035 $a(EXLCZ)994100000009160269 100 $a20190829d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAnswer Set Programming /$fby Vladimir Lifschitz 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XI, 190 p. 53 illus.) 311 08$a9783030246570 311 08$a3030246574 327 $aIntroduction -- Input Language of CLINGO -- Combinatorial Search -- Propositional Programs and Minimal Models -- Programs with Negation -- Mathematics of Stable Models -- More about the Language of CLINGO -- Dynamic Systems -- Conclusion. . 330 $aAnswer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers. Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areas?in historical linguistic, in bioinformatics, in robotics, in space exploration, in oil and gas industry, and many others. The importance of this programming method was recognized by the Association for the Advancement of Artificial Intelligence in 2016, when AI Magazine published a special issue on answer set programming. The book introduces the reader to the theory and practice of ASP. It describes the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It includes numerous examples of ASP programs and present the mathematical theory that ASP is based on. There are many exercises with complete solutions. 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aArtificial intelligence 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aProgramming languages (Electronic computers) 615 0$aComputer logic. 615 0$aArtificial intelligence. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aArtificial Intelligence. 676 $a005.13 676 $a005.13 700 $aLifschitz$b Vladimir$4aut$4http://id.loc.gov/vocabulary/relators/aut$0468243 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349285203321 996 $aAnswer Set Programming$92535355 997 $aUNINA LEADER 03533nam 22008054a 450 001 9911019378403321 005 20200520144314.0 010 $a9786610741205 010 $a9781119208488 010 $a1119208483 010 $a9781280741203 010 $a1280741201 010 $a9780470510230 010 $a0470510234 035 $a(CKB)1000000000357141 035 $a(EBL)284485 035 $a(OCoLC)85837775 035 $a(SSID)ssj0000182483 035 $a(PQKBManifestationID)12023702 035 $a(PQKBTitleCode)TC0000182483 035 $a(PQKBWorkID)10171804 035 $a(PQKB)10828439 035 $a(MiAaPQ)EBC284485 035 $a(WaSeSS)IndRDA00116845 035 $a(CaSebORM)9781119994947 035 $a(OCoLC)794059547 035 $a(OCoLC)ocn794059547 035 $a(Au-PeEL)EBL284485 035 $a(CaPaEBR)ebr10297634 035 $a(CaONFJC)MIL74120 035 $a(Perlego)1010079 035 $a(EXLCZ)991000000000357141 100 $a20080915d2006 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 13$aAn introduction to corporate finance $etransactions and techniques /$fRoss Geddes 205 $a2nd ed. 210 $aChichester, West Sussex ;$aHoboken, NJ $cJohn Wiley$dc2006 215 $a1 online resource (250 p.) 225 1 $aSecurities Institute ;$vv.10 300 $aDescription based upon print version of record. 311 08$a9781119994947 311 08$a1119994942 311 08$a9780470026755 311 08$a0470026758 320 $aIncludes bibliographical references ([213]-214) and index. 327 $aCover; CONTENTS; ABOUT THE AUTHOR; Chapter 1: 'BEHIND THE CHINESE WALL'; CORPORATE FINANCE IN INVESTMENT BANKING; CHINESE WALLS; CORPORATE FINANCE ASSIGNMENTS; FINANCIAL ADVICE; CAREERS IN CORPORATE FINANCE; ORGANISATION OF THIS BOOK; Chapter 2: SOURCES OF CAPITAL; Chapter 3: FLOTATIONS/ INITIAL PUBLIC OFFERINGS; Chapter 4: INTERNATIONAL EQUITY OFFERINGS; Chapter 5: RIGHTS ISSUES/ SECONDARY OFFERINGS; Chapter 6: MERGERS AND ACQUISITIONS; Chapter 7: MANAGEMENT BUYOUTS; Chapter 8: VALUING SECURITIES; Chapter 9: DETERMINING THE COST OF CAPITAL 327 $aChapter 10: SHAREHOLDER VALUE ADDED (Economic profit)Appendix: UK CORPORATE VALUATION METHODS: A SURVEY; A.1 VALUATION METHODOLOGY; A.2 DISCOUNTED CASH FLOWS; A.3 COST OF CAPITAL; SOURCES OF INFORMATION; GLOSSARY; ABBREVIATIONS; ADDITIONAL READING; INDEX 330 $aAn Introduction to Corporate Finance provides the reader with a complete overview of Corporate Finance from perspective of the investment Banker. The author, a corporate trainer and former investment banker clarifies the role of the investment banker in numerous corporate finance transactions, including mergers & acquisitions, IPO's, and valuation. Given today's corporate climate, every student studying corporate finance and those working in the field need this book to sharpen their skill set. 410 0$aSecurities Institute 606 $aCorporations$xFinance 606 $aFinance 606 $aEconomics 615 0$aCorporations$xFinance. 615 0$aFinance. 615 0$aEconomics. 676 $a658.15 686 $a336.8$2njb/09 686 $a658.15$2njb/09 700 $aGeddes$b Ross$01650091 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911019378403321 996 $aAn introduction to corporate finance$94422596 997 $aUNINA