Functional books & textbook
home > Functional
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5438)
Springer /2009-02-27 Paperback / 194 Pages
isbn-10: 3642005144 / isbn-13: 9783642005145
Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3474)
Grelck, Clemens Huch, Frank Michaelson, Greg Trinder, Phil
Springer /2005-05-30 Paperback / 240 Pages
isbn-10: 3540260943 / isbn-13: 9783540260943
Pearson Edexcel GCSE (9-1) Computer Science (Edexcel GCSE Computer Science 2016)
Weidmann, Ann Selby, Cynthia Waller, David
Pearson Education /2020-08-04 Paperback / 336 Pages
isbn-10: 1292359994 / isbn-13: 9781292359991
Learning C++ Functional Programming: Explore functional C++ with concepts like currying, metaprogramming and more
Packt Publishing /2017-08-09 Paperback / 304 Pages
isbn-10: 1787281973 / isbn-13: 9781787281974
Modern Compiler Design
Grune, Dick van Reeuwijk, Kees Bal, Henri E. Jacobs, Ceriel J.H. Langendoen, Koen
Springer /2012-07-02 Hardcover / 843 Pages
isbn-10: 1461446988 / isbn-13: 9781461446989
Compiler Design: Analysis and Transformation
Reinhard Wilhelm Helmut Seidl Sebastian Hack
Springer /2012-08-14 Hardcover / 189 Pages
isbn-10: 3642175473 / isbn-13: 9783642175473
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus
Springer /2002-04-03 Paperback / 240 Pages
isbn-10: 3540433767 / isbn-13: 9783540433767
Diffusing Software Product and Process Innovations: IFIP TC8 WG8.6 Fourth Working Conference on Diffusing Software Product and Process Innovations ... in Information and Communication Technology)
Ardis, Mark A. Marcolin, Barbara L.
Springer /2013-03-28 Paperback / 320 Pages
isbn-10: 1475749759 / isbn-13: 9781475749755
Projectors and Projection Methods (Advances in Mathematics)
Springer /2014-01-28 Paperback / 298 Pages
isbn-10: 1461348250 / isbn-13: 9781461348252
Approximation Theory, Wavelets and Applications: (Closed)) (Nato Science Series C:)
Springer /2010-12-09 Paperback / 596 Pages
isbn-10: 9048145163 / isbn-13: 9789048145164
