1 - 20 of 20 results for "contract"

  • eBook
    Theory, Applications and Extensions
    • Paolo Massimo Buscema; Giulia Massini; Marco Breda; Weldon A. Lodwick; Francis Newman; Masoud Asadi-
    • Springer
    • Reflowable Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    Meaning in Between Phenomenology and Constructivism
    • Author
    • Springer
    • Reflowable Layout

    Starting at:$35.70 USD

    View Details
  • eBook
    16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings
    • 1st Edition
    • Shriram Krishnamurthi; ‎Martin Odersky
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    A Constructive Development
    • Douglas S. Bridges; Luminiţa Simona Vîţă
    • Springer
    • Fixed Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases
    • Ihsen Yengui
    • Springer
    • Fixed Layout

    Starting at:$18.00 USD

    View Details
  • eBook
    • 2nd Edition
    • Harold M. Edwards
    • Springer
    • Reflowable Layout

    Starting at:$32.70 USD

    View Details
  • eBook
    A Constructive Type-theoretical Approach
    • Giuseppe Primiero
    • Springer
    • Fixed Layout

    Starting at:$53.70 USD

    View Details
  • eBook
    • Sergei Odintsov
    • Springer
    • Fixed Layout

    Starting at:$50.70 USD

    View Details
  • eBook
    • Harold M. Edwards
    • Springer
    • Fixed Layout

    Starting at:$38.70 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
    Classical and Constructive Semigroups and Applications
    • Springer
    • Reflowable Layout

    Starting at:$47.70 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
    • Springer
    • Reflowable Layout

    Starting at:$33.00 USD

    View Details
  • eBook
    • Kenneth J. Supowit
    • Birkhäuser
    • Reflowable Layout

    Starting at:$19.50 USD

    View Details
  • eBook
    • Giovanni Sambin; Jan M. Smith
    • Clarendon Press
    • Reflowable Layout

    Starting at:$61.99 USD

    View Details
  • eBook
    • Jacques Dubucs
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    FCMTCCT2 2022, Almería, Spain, July 11–15, Invited and Selected Contributions
    • Springer
    • Reflowable Layout

    Starting at:$62.70 USD

    View Details
  • eBook
    Foundations and Applications
    • Springer
    • Reflowable Layout

    Starting at:$47.70 USD

    View Details
  • eBook
    Symposium Proceedings, San Servolo, Venice, Italy, May 16–22, 1999
    • 1st Edition
    • Ulrich Berger; Horst Osswald; Peter Schuster
    • Springer
    • Fixed Layout

    Starting at:$47.70 USD

    View Details
  • eBook
    • Anna Horská
    • Springer
    • Reflowable Layout

    Starting at:$21.00 USD

    View Details