MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02632nam a2200373 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
CR9781108869041 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
UkCbUP |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240807172502.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m|||||o||d|||||||| |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr|||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
190912s2020||||enk o ||1 0|eng|d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781108869041 (ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9781108491617 (hardback) |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
UkCbUP |
| Language of cataloging |
eng |
| Description conventions |
rda |
| Transcribing agency |
UkCbUP |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.A43 |
| Item number |
B49 2020 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.13 |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bird, Richard, |
| Dates associated with a name |
1943- |
| Relator term |
author. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Algorithm design with Haskell / |
| Statement of responsibility, etc. |
Richard Bird, Jeremy Gibbons. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cambridge : |
| Name of producer, publisher, distributor, manufacturer |
Cambridge University Press, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2020. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xvi, 437 pages) : |
| Other physical details |
digital, PDF file(s). |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Title from publisher's bibliographic system (viewed on 29 Jun 2020). |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Functional programming -- Timing -- Useful data structures -- Binary search -- Sorting -- Selection -- Greedy algorithms on lists -- Greedy algorithms on trees -- Greedy algorithms on graphs -- Introduction to thinning -- Segments and subsequences -- Partitions -- Efficient recursions -- Optimum bracketing -- Ways of searching -- Heuristic search. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book is devoted to five main principles of algorithm design: divide and conquer, greedy algorithms, thinning, dynamic programming, and exhaustive search. These principles are presented using Haskell, a purely functional language, leading to simpler explanations and shorter programs than would be obtained with imperative languages. Carefully selected examples, both new and standard, reveal the commonalities and highlight the differences between algorithms. The algorithm developments use equational reasoning where applicable, clarifying the applicability conditions and correctness arguments. Every chapter concludes with exercises (nearly 300 in total), each with complete answers, allowing the reader to consolidate their understanding and apply the techniques to a range of problems. The book serves students (both undergraduate and postgraduate), researchers, teachers, and professionals who want to know more about what goes into a good algorithm and how such algorithms can be expressed in purely functional terms. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer algorithms. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Functional programming (Computer science) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Haskell (Computer program language) |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gibbons, Jeremy, |
| Dates associated with a name |
1966- |
| Relator term |
author. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| International Standard Book Number |
9781108491617 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://doi.org/10.1017/9781108869041">https://doi.org/10.1017/9781108869041</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| Koha item type |
eBooks |
