1 - 20 of 182 results for "types"

  • eBook
    • Beklemishev, Lev D.
    • Elsevier Science
    • Fixed Layout

    $260.00 USD

    View Details
  • eBook
    International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    • 1st Edition
    • JeanChristophe Filliatre; ‎Christine PaulinMohring; ‎Benjamin Werner
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
    • 1st Edition
    • Stefano Berardi; ‎Ferruccio Damiani; ‎Ugo de Liguoro
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    • Edward V. Huntington
    • Dover Publications
    • Reflowable Layout

    $10.95 USD

    View Details
  • eBook
    Towards practicable foundations for constructive mathematics
    • 1st Edition
    • Laura Crosilla; Peter Schuster
    • Clarendon Press
    • Fixed Layout

    Starting at:$125.99 USD

    View Details
  • eBook
    • Ehud Hrushovski; François Loeser
    • Princeton University Press
    • Reflowable Layout

    $93.00 USD

    View Details
  • eBook
    • Friedrich Wehrung
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    • Viorel Barbu
    • Springer
    • Fixed Layout

    Starting at:$38.70 USD

    View Details
  • eBook
    Stochastic Approximation Methods, Volume 2
    • 1st Edition
    • Dmitrii S. Silvestrov
    • De Gruyter
    • Reflowable Layout

    $224.00 USD

    View Details
  • eBook
    Stochastic Approximation Methods, Volume 1
    • 1st Edition
    • Dmitrii S. Silvestrov
    • De Gruyter
    • Fixed Layout

    $224.00 USD

    View Details
  • eBook
    With Applications to Eigenvalue Problems
    • Juan Pablo Pinasco
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    • Springer
    • Reflowable Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    • 2nd Edition
    • William M. Farmer
    • Birkhäuser
    • Fixed Layout

    Starting at:$27.00 USD

    View Details
  • eBook
    A Topos-Theoretic Approach to Systems and Behavior
    • Patrick Schultz; David I. Spivak
    • Birkhäuser
    • Reflowable Layout

    Starting at:$35.70 USD

    View Details
  • eBook
    • 1st Edition
    • Guo Chun Wen
    • CRC Press
    • Reflowable Layout

    Starting at:$48.40 USD

    View Details
  • eBook
    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    • William M. Farmer
    • Birkhäuser
    • Fixed Layout

    Starting at:$19.50 USD

    View Details
  • eBook
    • Andrew Pownuk; Vladik Kreinovich
    • Springer
    • Reflowable Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    • 1st Edition
    • Tomasz W. Dłotko; Yejuan Wang
    • De Gruyter
    • Reflowable Layout

    $153.99 USD

    View Details
  • eBook
    Theory and Applications
    • 1st Edition
    • John Chen
    • Chapman & Hall
    • Reflowable Layout

    Starting at:$49.50 USD

    View Details
  • eBook
    Theory and Applications
    • 1st Edition
    • Martin Schlichenmaier
    • De Gruyter
    • Reflowable Layout

    $200.00 USD

    View Details