1 - 20 of 648 results for "program"

  • eBook
    11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
    • 1st Edition
    • Jeremy Gibbons; Pablo Nogueira
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
    • Author
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    Technologies and Accomplishments
    • Davide Sivolella
    • Springer
    • Fixed Layout

    Starting at:$15.00 USD

    View Details
  • Access Code
    • 4th Edition
    • Abraham Weishaus
    • ACTEX Publications

    $208.00 USD

    View Details
  • eBook
    • Kenji Matsuki
    • Springer
    • Fixed Layout

    Starting at:$27.00 USD

    View Details
  • eBook
    21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
    • 1st Edition
    • Germán Vidal
    • Springer
    • Fixed Layout

    Starting at:$21.00 USD

    View Details
  • eBook
    Coq’Art: The Calculus of Inductive Constructions
    • Yves Bertot; Pierre Castéran
    • Springer
    • Fixed Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
    • 1st Edition
    • Patricia M. Hill
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
    • Springer
    • Fixed Layout

    Starting at:$21.00 USD

    View Details
  • eBook
    24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    • 1st Edition
    • Tolga Soyata
    • Chapman & Hall
    • Reflowable Layout

    Starting at:$37.40 USD

    View Details
  • eBook
    BOOK ONE - Foundation and Year 1
    • Michael Mitchelmore; Joanne Mulligan
    • Australian Council of Educational Research
    • Fixed Layout

    $65.50 USD

    View Details
  • eBook
    17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
    • 1st Edition
    • Andy King
    • Springer
    • Fixed Layout

    Starting at:$27.00 USD

    View Details
  • eBook
    BOOK TWO - Years 1 and 2
    • Joanne Mulligan; Michael Mitchelmore
    • Australian Council of Educational Research
    • Fixed Layout

    $65.50 USD

    View Details
  • eBook
    16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
    • 1st Edition
    • Germán Puebla
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    • 1st Edition
    • Joseph Bernstein; ‎Stephen Gelbart
    • Birkhäuser
    • Fixed Layout

    Starting at:$27.00 USD

    View Details
  • eBook
    Report 1
    • ; ; ; ; ; ; ;
    • National Academies Press
    • Reflowable Layout

    $40.99 USD

    View Details