Algorithms for Functional Programming

Algorithms for Functional Programming

This book presents a variety of widely used algorithms, expressing them in a pure functional programming language to make their structure and operation clearer to readers. In the opening chapter the author introduces the specific notations that constitute the variant of Scheme that he uses. The seco...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Stone, John David (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018.
Έκδοση:	1st ed. 2018.
Θέματα:	Computer programming. Algorithms. Programming Techniques. Algorithm Analysis and Problem Complexity.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Evolutionary Programming VII 7th International Conference, EP98, San Diego, California, USA, March 25-27, 1998 Proceedings /
Έκδοση: (1998)

Machine Learning: ECML 2001 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. Proceedings /
Έκδοση: (2001)

Deep Reinforcement Learning Frontiers of Artificial Intelligence /
ανά: Sewak, Mohit, κ.ά.
Έκδοση: (2019)

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /
Έκδοση: (2019)

Mathematics of Program Construction 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings /
Έκδοση: (1998)

Randomness and Completeness in Computational Complexity
ανά: Melkebeek, Dieter van, κ.ά.
Έκδοση: (2000)

Programming Constraint Services High-Level Programming of Standard and New Constraint Services /
ανά: Schulte, Christian, κ.ά.
Έκδοση: (2002)

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings /
Έκδοση: (2019)

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig /
Έκδοση: (2018)

Practice and Theory of Automated Timetabling III Third International Conference, PATAT 2000 Konstanz, Germany, August 16-18, 2000 Selected Papers /
Έκδοση: (2001)

Algorithms - ESA 2001 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings /
Έκδοση: (2001)

Algorithms - ESA 2000 8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings /
Έκδοση: (2000)

Algorithmic Learning Theory 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings /
Έκδοση: (2002)

Algorithm Engineering and Experimentation International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers /
Έκδοση: (1999)

Algorithms and Data Structures 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings /
Έκδοση: (2001)

Distributed Algorithms 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings /
Έκδοση: (1997)

Online Algorithms The State of the Art /
Έκδοση: (1998)

Algorithms in Bioinformatics Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings /
Έκδοση: (2002)

Algorithm Engineering 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings /
Έκδοση: (1999)

Approximation Algorithms for Combinatorial Optimization Third International Workshop, APPROX 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings /
Έκδοση: (2000)

Algorithm Theory - SWAT 2000 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings /
Έκδοση: (2000)

Algorithm Engineering and Experiments 4th International Workshop, ALENEX 2002, San Francicsco, CA, USA, January 4-5, 2002, Revised Papers /
Έκδοση: (2002)

Advances in Distributed Systems Advanced Distributed Computing: From Algorithms to Systems /
Έκδοση: (2000)

Evolutionary Programming VI 6th International Conference, EP 97, Indianapolis, Indiana, USA, April 13-16, 1997, Proceedings /
Έκδοση: (1997)

Genetic Programming 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings /
Έκδοση: (2002)

Genetic Programming 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18-20, 2001 Proceedings /
Έκδοση: (2001)

Genetic Programming 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings /
Έκδοση: (2003)

Approximation Algorithms for Combinatorial Optimization 5th International Workshop, APPROX 2002, Rome, Italy, September 17-21, 2002. Proceedings /
Έκδοση: (2002)

Inductive Logic Programming 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings /
Έκδοση: (2001)

Inductive Logic Programming 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers /
Έκδοση: (2003)

Recent Advances in Constraints Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers /
Έκδοση: (2003)

Languages, Compilers, and Run-Time Systems for Scalable Computers 5th International Workshop, LCR 2000 Rochester, NY, USA, May 25-27, 2000 Selected Papers /
Έκδοση: (2000)

Ant Algorithms Third International Workshop, ANTS 2002, Brussels, Belgium, September 12-14, 2002. Proceedings /
Έκδοση: (2002)

Parallel Problem Solving from Nature - PPSN V 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings /
Έκδοση: (1998)

Algorithms and Computation 11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. Proceedings /
Έκδοση: (2000)

Algorithm Engineering 5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001 Proceedings /
Έκδοση: (2001)

Algorithms and Computation 9th International Symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998, Proceedings /
Έκδοση: (1998)

Algorithm Engineering 4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings /
Έκδοση: (2001)

Algorithms and Complexity 4th Italian Conference, CIAC 2000 Rome, Italy, March 1-3, 2000 Proceedings /
Έκδοση: (2000)

Algorithms and Computations 10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 Proceedings /
Έκδοση: (1999)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών