Skip to content
Register Sign in
Register Sign in Wishlist
Academic

Unlocking potential with the best learning and research solutions
Computer science

International Conference on Functional Programming

When

3 September – 9 September 2017

Where

Oxford, United Kingdom

The conference discount for the following titles is no longer available.

Available titles

Results

Refine results

Refine results

Clear all

Series

Format

Rating

  • (1)
  • (0)
  • (0)
  • (0)
  • (0)

Show me

Subscribe now

Subscribe to Cambridge Alerts

Receive email alerts on new books, offers and news in International Conference on Functional Programming.

Results

Listing Grid
Found 19 Results
Page 1 of 1
  • Picturing Quantum Processes

    Picturing Quantum Processes

    A First Course in Quantum Theory and Diagrammatic Reasoning

    Coecke, Bob
    Kissinger, Aleks
    Published: March 2017

    Hardback

    View product
  • Introduction to Parallel Computing

    Introduction to Parallel Computing

    Czech, Zbigniew J.
    Published: January 2017

    Hardback

    View product
  • Introduction to Software Testing

    Introduction to Software Testing

    textbook

    Ammann, Paul
    Offutt, Jeff
    Published: December 2016
    2nd Edition

    Hardback

    View product Order inspection
  • Introduction to Coalgebra

    Introduction to Coalgebra

    Towards Mathematics of States and Observation

    Jacobs, Bart
    Published: October 2016

    Hardback

    View product
  • Temporal Logics in Computer Science

    Temporal Logics in Computer Science

    Finite-State Systems

    Demri, Stéphane
    Goranko, Valentin
    Lange, Martin
    Published: October 2016

    Hardback

    View product
  • Compact Data Structures

    Compact Data Structures

    A Practical Approach

    Navarro, Gonzalo
    Published: September 2016

    Hardback

    View product
  • Programming in Haskell

    Programming in Haskell

    textbook

    Hutton, Graham
    Published: September 2016
    2nd Edition

    (1 reviews)

    Paperback

    View product Order inspection
  • Prime Numbers and the Riemann Hypothesis

    Prime Numbers and the Riemann Hypothesis

    Award Winner

    Mazur, Barry
    Stein, William
    Published: April 2016

    Paperback

    View product
  • Practical Foundations for Programming Languages

    Practical Foundations for Programming Languages

    Harper, Robert
    Published: April 2016
    2nd Edition

    Hardback

    View product Order inspection
  • Logic and Algebraic Structures in Quantum Computing

    Logic and Algebraic Structures in Quantum Computing

    Chubb, Jennifer
    Eskandarian, Ali
    Harizanov, Valentina
    Published: March 2016

    Hardback

    View product
  • Introduction to Random Graphs

    Introduction to Random Graphs

    Frieze, Alan
    Karoński, Michał
    Published: October 2015

    Hardback

    View product
  • Building High Integrity Applications with SPARK

    Building High Integrity Applications with SPARK

    McCormick, John W.
    Chapin, Peter C.
    Published: August 2015

    Paperback

    View product
  • Analytic Pattern Matching

    Analytic Pattern Matching

    From DNA to Twitter

    Jacquet, Philippe
    Szpankowski, Wojciech
    Published: July 2015

    Hardback

    View product
  • Computation, Proof, Machine

    Computation, Proof, Machine

    Mathematics Enters a New Age

    Dowek, Gilles
    Guillot, Pierre
    Roman, Marion
    Published: May 2015

    Paperback

    View product
  • Type Theory and Formal Proof

    Type Theory and Formal Proof

    An Introduction

    Nederpelt, Rob
    Geuvers, Herman
    Published: November 2014

    Hardback

    View product
  • Thinking Functionally with Haskell

    Thinking Functionally with Haskell

    Bird, Richard
    Published: October 2014

    Paperback

    View product
  • Nominal Sets

    Nominal Sets

    Names and Symmetry in Computer Science

    Pitts, Andrew M.
    Published: May 2013

    Hardback

    View product
  • Pearls of Functional Algorithm Design

    Pearls of Functional Algorithm Design

    Bird, Richard
    Published: September 2010

    Hardback

    View product
  • Purely Functional Data Structures

    Purely Functional Data Structures

    Okasaki, Chris
    Published: November 1999

    Paperback

    View product
Found 19 Results
Page 1 of 1

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×
warning icon

Turn stock notifications on?

You must be signed in to your Cambridge account to turn product stock notifications on or off.

Sign in Create a Cambridge account arrow icon
×

Save 20% off on your next online purchase with Cambridge Alerts

Receive email alerts on new books, offers and news...

Subscribe

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.

Cancel

Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

×
Please fill in the required fields in your feedback submission.
×