Pearls of functional algorithm design /:
"Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compr...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York :
Cambridge University Press,
2010.
|
| Schriftenreihe: | IT Pro.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | "Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"-- "The novel aspect of the book is that each solution is calculated from the problem statement by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"-- |
| Beschreibung: | 1 online resource (xi, 277 pages) : illustrations |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9780511902024 0511902026 9780511798870 0511798873 9780511763199 0511763190 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn665146609 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr mn||||||||| | ||
| 008 | 100924t20102010nyua ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d CDX |d OSU |d YDXCP |d OCLCQ |d IDEBK |d OCLCQ |d B24X7 |d OCLCQ |d MUQ |d E7B |d STF |d CEF |d CNCGM |d REDDC |d DEBSZ |d OCLCQ |d CAMBR |d OCLCF |d OCLCQ |d UMI |d AZK |d OSU |d DEBBG |d PIFAG |d OTZ |d OCLCQ |d WY@ |d LUE |d UAB |d OCLCQ |d WYU |d C6I |d OCLCQ |d A6Q |d LUN |d UKAHL |d OCLCO |d OCL |d OCLCQ |d PSYSI |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ |d OCLCL |d SFB | ||
| 015 | |a GBB067282 |2 bnb | ||
| 016 | 7 | |a 015566366 |2 Uk | |
| 019 | |a 671530860 |a 680621002 |a 681056252 |a 685061890 |a 692289770 |a 712992832 |a 953123630 |a 961575202 |a 994956613 |a 1064032892 |a 1066446042 |a 1170205792 |a 1170937162 | ||
| 020 | |a 9780511902024 |q (electronic bk.) | ||
| 020 | |a 0511902026 |q (electronic bk.) | ||
| 020 | |a 9780511798870 |q (electronic bk.) | ||
| 020 | |a 0511798873 |q (electronic bk.) | ||
| 020 | |a 9780511763199 |q (electronic bk.) | ||
| 020 | |a 0511763190 |q (electronic bk.) | ||
| 020 | |z 9780521513388 |q (hardback) | ||
| 020 | |z 0521513383 |q (hardback) | ||
| 024 | 8 | |a 9786612749209 | |
| 035 | |a (OCoLC)665146609 |z (OCoLC)671530860 |z (OCoLC)680621002 |z (OCoLC)681056252 |z (OCoLC)685061890 |z (OCoLC)692289770 |z (OCoLC)712992832 |z (OCoLC)953123630 |z (OCoLC)961575202 |z (OCoLC)994956613 |z (OCoLC)1064032892 |z (OCoLC)1066446042 |z (OCoLC)1170205792 |z (OCoLC)1170937162 | ||
| 037 | |a 274920 |b MIL | ||
| 050 | 4 | |a QA76.62 |b .B57 2010eb | |
| 072 | 7 | |a COM |x 005030 |2 bisacsh | |
| 072 | 7 | |a COM |x 004000 |2 bisacsh | |
| 082 | 7 | |a 006.3/1 |2 22 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Bird, Richard, |d 1943- |e author. |1 https://id.oclc.org/worldcat/entity/E39PBJtcGbt9hfcxBxVh74dmh3 |0 http://id.loc.gov/authorities/names/n97002625 | |
| 245 | 1 | 0 | |a Pearls of functional algorithm design / |c Richard Bird. |
| 264 | 1 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 2010. | |
| 264 | 4 | |c ©2010 | |
| 300 | |a 1 online resource (xi, 277 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |a "Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"-- |c Provided by publisher. | ||
| 520 | |a "The novel aspect of the book is that each solution is calculated from the problem statement by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"-- |c Provided by publisher. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a The smallest free number -- A surpassing problem -- Improving on saddleback search -- A selection problem -- Sorting pairwise sums -- Making a century -- Building a tree with minimum height -- Unravelling greedy algorithms -- Finding celebrities -- Removing duplicates -- Not the maximum segment sum -- Ranking suffixes -- The Burrows-Wheeler transform -- The last tail -- All the common prefixes -- The Boyer-Moore algorithm -- The Knuth-Morris-Pratt algorithm -- Planning solves the rush hour problem -- A simple Sudoku solver -- The countdown problem -- Hylomorphisms and nexuses -- Three ways of computing determinants -- Inside the convex hull -- Rational arithmetic coding -- Integer arithmetic coding --The Schorr-Waite algorithm -- Orderly insertion -- Loopless functional algorithms -- The Johnson-Trotter algorithm -- Spider spinning for dummies. | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Functional programming (Computer science) |0 http://id.loc.gov/authorities/subjects/sh87007844 | |
| 650 | 0 | |a Computer algorithms. |0 http://id.loc.gov/authorities/subjects/sh91000149 | |
| 650 | 0 | |a Algorithms. |0 http://id.loc.gov/authorities/subjects/sh85003487 | |
| 650 | 2 | |a Algorithms |0 https://id.nlm.nih.gov/mesh/D000465 | |
| 650 | 6 | |a Algorithmes. | |
| 650 | 6 | |a Programmation fonctionnelle. | |
| 650 | 7 | |a algorithms. |2 aat | |
| 650 | 7 | |a COMPUTERS |x Enterprise Applications |x Business Intelligence Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Intelligence (AI) & Semantics. |2 bisacsh | |
| 650 | 7 | |a Algorithms |2 fast | |
| 650 | 7 | |a Computer algorithms |2 fast | |
| 650 | 7 | |a Functional programming (Computer science) |2 fast | |
| 655 | 0 | |a Electronic book. | |
| 655 | 4 | |a Electronic books. | |
| 758 | |i has work: |a Pearls of functional algorithm design (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGP88PC3pddYdMW3W36yv3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Bird, Richard, 1943- |t Pearls of functional algorithm design. |d New York : Cambridge University Press, 2010 |z 9780521513388 |w (DLC) 2010022871 |w (OCoLC)643322214 |
| 830 | 0 | |a IT Pro. | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=331307 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH34201864 | ||
| 938 | |a Books 24x7 |b B247 |n bks00036707 | ||
| 938 | |a Coutts Information Services |b COUT |n 14949208 |c 35.00 GBP | ||
| 938 | |a ebrary |b EBRY |n ebr10409179 | ||
| 938 | |a EBSCOhost |b EBSC |n 331307 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 274920 | ||
| 938 | |a YBP Library Services |b YANK |n 10350371 | ||
| 938 | |a YBP Library Services |b YANK |n 3421852 | ||
| 938 | |a YBP Library Services |b YANK |n 3422603 | ||
| 938 | |a YBP Library Services |b YANK |n 3473890 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn665146609 |
|---|---|
| _version_ | 1816881739006476288 |
| adam_text | |
| any_adam_object | |
| author | Bird, Richard, 1943- |
| author_GND | http://id.loc.gov/authorities/names/n97002625 |
| author_facet | Bird, Richard, 1943- |
| author_role | aut |
| author_sort | Bird, Richard, 1943- |
| author_variant | r b rb |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.62 .B57 2010eb |
| callnumber-search | QA76.62 .B57 2010eb |
| callnumber-sort | QA 276.62 B57 42010EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | The smallest free number -- A surpassing problem -- Improving on saddleback search -- A selection problem -- Sorting pairwise sums -- Making a century -- Building a tree with minimum height -- Unravelling greedy algorithms -- Finding celebrities -- Removing duplicates -- Not the maximum segment sum -- Ranking suffixes -- The Burrows-Wheeler transform -- The last tail -- All the common prefixes -- The Boyer-Moore algorithm -- The Knuth-Morris-Pratt algorithm -- Planning solves the rush hour problem -- A simple Sudoku solver -- The countdown problem -- Hylomorphisms and nexuses -- Three ways of computing determinants -- Inside the convex hull -- Rational arithmetic coding -- Integer arithmetic coding --The Schorr-Waite algorithm -- Orderly insertion -- Loopless functional algorithms -- The Johnson-Trotter algorithm -- Spider spinning for dummies. |
| ctrlnum | (OCoLC)665146609 |
| dewey-full | 006.3/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/1 |
| dewey-search | 006.3/1 |
| dewey-sort | 16.3 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06414cam a2200841 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn665146609</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr mn|||||||||</controlfield><controlfield tag="008">100924t20102010nyua ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">CDX</subfield><subfield code="d">OSU</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">B24X7</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MUQ</subfield><subfield code="d">E7B</subfield><subfield code="d">STF</subfield><subfield code="d">CEF</subfield><subfield code="d">CNCGM</subfield><subfield code="d">REDDC</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">CAMBR</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UMI</subfield><subfield code="d">AZK</subfield><subfield code="d">OSU</subfield><subfield code="d">DEBBG</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OTZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WY@</subfield><subfield code="d">LUE</subfield><subfield code="d">UAB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">C6I</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">A6Q</subfield><subfield code="d">LUN</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">PSYSI</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB067282</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">015566366</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">671530860</subfield><subfield code="a">680621002</subfield><subfield code="a">681056252</subfield><subfield code="a">685061890</subfield><subfield code="a">692289770</subfield><subfield code="a">712992832</subfield><subfield code="a">953123630</subfield><subfield code="a">961575202</subfield><subfield code="a">994956613</subfield><subfield code="a">1064032892</subfield><subfield code="a">1066446042</subfield><subfield code="a">1170205792</subfield><subfield code="a">1170937162</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511902024</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511902026</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511798870</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511798873</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511763199</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511763190</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521513388</subfield><subfield code="q">(hardback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521513383</subfield><subfield code="q">(hardback)</subfield></datafield><datafield tag="024" ind1="8" ind2=" "><subfield code="a">9786612749209</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)665146609</subfield><subfield code="z">(OCoLC)671530860</subfield><subfield code="z">(OCoLC)680621002</subfield><subfield code="z">(OCoLC)681056252</subfield><subfield code="z">(OCoLC)685061890</subfield><subfield code="z">(OCoLC)692289770</subfield><subfield code="z">(OCoLC)712992832</subfield><subfield code="z">(OCoLC)953123630</subfield><subfield code="z">(OCoLC)961575202</subfield><subfield code="z">(OCoLC)994956613</subfield><subfield code="z">(OCoLC)1064032892</subfield><subfield code="z">(OCoLC)1066446042</subfield><subfield code="z">(OCoLC)1170205792</subfield><subfield code="z">(OCoLC)1170937162</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">274920</subfield><subfield code="b">MIL</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.62</subfield><subfield code="b">.B57 2010eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">005030</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">006.3/1</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bird, Richard,</subfield><subfield code="d">1943-</subfield><subfield code="e">author.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJtcGbt9hfcxBxVh74dmh3</subfield><subfield code="0">http://id.loc.gov/authorities/names/n97002625</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Pearls of functional algorithm design /</subfield><subfield code="c">Richard Bird.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2010.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xi, 277 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"--</subfield><subfield code="c">Provided by publisher.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"The novel aspect of the book is that each solution is calculated from the problem statement by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"--</subfield><subfield code="c">Provided by publisher.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">The smallest free number -- A surpassing problem -- Improving on saddleback search -- A selection problem -- Sorting pairwise sums -- Making a century -- Building a tree with minimum height -- Unravelling greedy algorithms -- Finding celebrities -- Removing duplicates -- Not the maximum segment sum -- Ranking suffixes -- The Burrows-Wheeler transform -- The last tail -- All the common prefixes -- The Boyer-Moore algorithm -- The Knuth-Morris-Pratt algorithm -- Planning solves the rush hour problem -- A simple Sudoku solver -- The countdown problem -- Hylomorphisms and nexuses -- Three ways of computing determinants -- Inside the convex hull -- Rational arithmetic coding -- Integer arithmetic coding --The Schorr-Waite algorithm -- Orderly insertion -- Loopless functional algorithms -- The Johnson-Trotter algorithm -- Spider spinning for dummies.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Functional programming (Computer science)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh87007844</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer algorithms.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh91000149</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Algorithms.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85003487</subfield></datafield><datafield tag="650" ind1=" " ind2="2"><subfield code="a">Algorithms</subfield><subfield code="0">https://id.nlm.nih.gov/mesh/D000465</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Algorithmes.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Programmation fonctionnelle.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithms.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Enterprise Applications</subfield><subfield code="x">Business Intelligence Tools.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Intelligence (AI) & Semantics.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algorithms</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer algorithms</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Functional programming (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="0"><subfield code="a">Electronic book.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Pearls of functional algorithm design (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGP88PC3pddYdMW3W36yv3</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Bird, Richard, 1943-</subfield><subfield code="t">Pearls of functional algorithm design.</subfield><subfield code="d">New York : Cambridge University Press, 2010</subfield><subfield code="z">9780521513388</subfield><subfield code="w">(DLC) 2010022871</subfield><subfield code="w">(OCoLC)643322214</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">IT Pro.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=331307</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH34201864</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Books 24x7</subfield><subfield code="b">B247</subfield><subfield code="n">bks00036707</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Coutts Information Services</subfield><subfield code="b">COUT</subfield><subfield code="n">14949208</subfield><subfield code="c">35.00 GBP</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10409179</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">331307</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">274920</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10350371</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3421852</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3422603</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3473890</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic book. Electronic books. |
| genre_facet | Electronic book. Electronic books. |
| id | ZDB-4-EBA-ocn665146609 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:17:30Z |
| institution | BVB |
| isbn | 9780511902024 0511902026 9780511798870 0511798873 9780511763199 0511763190 |
| language | English |
| oclc_num | 665146609 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xi, 277 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | IT Pro. |
| spelling | Bird, Richard, 1943- author. https://id.oclc.org/worldcat/entity/E39PBJtcGbt9hfcxBxVh74dmh3 http://id.loc.gov/authorities/names/n97002625 Pearls of functional algorithm design / Richard Bird. Cambridge ; New York : Cambridge University Press, 2010. ©2010 1 online resource (xi, 277 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier "Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"-- Provided by publisher. "The novel aspect of the book is that each solution is calculated from the problem statement by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"-- Provided by publisher. Includes bibliographical references and index. The smallest free number -- A surpassing problem -- Improving on saddleback search -- A selection problem -- Sorting pairwise sums -- Making a century -- Building a tree with minimum height -- Unravelling greedy algorithms -- Finding celebrities -- Removing duplicates -- Not the maximum segment sum -- Ranking suffixes -- The Burrows-Wheeler transform -- The last tail -- All the common prefixes -- The Boyer-Moore algorithm -- The Knuth-Morris-Pratt algorithm -- Planning solves the rush hour problem -- A simple Sudoku solver -- The countdown problem -- Hylomorphisms and nexuses -- Three ways of computing determinants -- Inside the convex hull -- Rational arithmetic coding -- Integer arithmetic coding --The Schorr-Waite algorithm -- Orderly insertion -- Loopless functional algorithms -- The Johnson-Trotter algorithm -- Spider spinning for dummies. Print version record. Functional programming (Computer science) http://id.loc.gov/authorities/subjects/sh87007844 Computer algorithms. http://id.loc.gov/authorities/subjects/sh91000149 Algorithms. http://id.loc.gov/authorities/subjects/sh85003487 Algorithms https://id.nlm.nih.gov/mesh/D000465 Algorithmes. Programmation fonctionnelle. algorithms. aat COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Algorithms fast Computer algorithms fast Functional programming (Computer science) fast Electronic book. Electronic books. has work: Pearls of functional algorithm design (Text) https://id.oclc.org/worldcat/entity/E39PCGP88PC3pddYdMW3W36yv3 https://id.oclc.org/worldcat/ontology/hasWork Print version: Bird, Richard, 1943- Pearls of functional algorithm design. New York : Cambridge University Press, 2010 9780521513388 (DLC) 2010022871 (OCoLC)643322214 IT Pro. FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=331307 Volltext |
| spellingShingle | Bird, Richard, 1943- Pearls of functional algorithm design / IT Pro. The smallest free number -- A surpassing problem -- Improving on saddleback search -- A selection problem -- Sorting pairwise sums -- Making a century -- Building a tree with minimum height -- Unravelling greedy algorithms -- Finding celebrities -- Removing duplicates -- Not the maximum segment sum -- Ranking suffixes -- The Burrows-Wheeler transform -- The last tail -- All the common prefixes -- The Boyer-Moore algorithm -- The Knuth-Morris-Pratt algorithm -- Planning solves the rush hour problem -- A simple Sudoku solver -- The countdown problem -- Hylomorphisms and nexuses -- Three ways of computing determinants -- Inside the convex hull -- Rational arithmetic coding -- Integer arithmetic coding --The Schorr-Waite algorithm -- Orderly insertion -- Loopless functional algorithms -- The Johnson-Trotter algorithm -- Spider spinning for dummies. Functional programming (Computer science) http://id.loc.gov/authorities/subjects/sh87007844 Computer algorithms. http://id.loc.gov/authorities/subjects/sh91000149 Algorithms. http://id.loc.gov/authorities/subjects/sh85003487 Algorithms https://id.nlm.nih.gov/mesh/D000465 Algorithmes. Programmation fonctionnelle. algorithms. aat COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Algorithms fast Computer algorithms fast Functional programming (Computer science) fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh87007844 http://id.loc.gov/authorities/subjects/sh91000149 http://id.loc.gov/authorities/subjects/sh85003487 https://id.nlm.nih.gov/mesh/D000465 |
| title | Pearls of functional algorithm design / |
| title_auth | Pearls of functional algorithm design / |
| title_exact_search | Pearls of functional algorithm design / |
| title_full | Pearls of functional algorithm design / Richard Bird. |
| title_fullStr | Pearls of functional algorithm design / Richard Bird. |
| title_full_unstemmed | Pearls of functional algorithm design / Richard Bird. |
| title_short | Pearls of functional algorithm design / |
| title_sort | pearls of functional algorithm design |
| topic | Functional programming (Computer science) http://id.loc.gov/authorities/subjects/sh87007844 Computer algorithms. http://id.loc.gov/authorities/subjects/sh91000149 Algorithms. http://id.loc.gov/authorities/subjects/sh85003487 Algorithms https://id.nlm.nih.gov/mesh/D000465 Algorithmes. Programmation fonctionnelle. algorithms. aat COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Algorithms fast Computer algorithms fast Functional programming (Computer science) fast |
| topic_facet | Functional programming (Computer science) Computer algorithms. Algorithms. Algorithms Algorithmes. Programmation fonctionnelle. algorithms. COMPUTERS Enterprise Applications Business Intelligence Tools. COMPUTERS Intelligence (AI) & Semantics. Computer algorithms Electronic book. Electronic books. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=331307 |
| work_keys_str_mv | AT birdrichard pearlsoffunctionalalgorithmdesign |