21 - 40 of 48646 results for "aid"

  • eBook
    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    • 1st Edition
    • Warren A. Hunt; Jr.; ‎Fabio Somenzi
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
    • Author
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    7th Asian Conference on Computer Aided Surgery, Bangkok, Thailand, August 2011, Proceedings
    • Takeyoshi Dohi
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    • Springer
    • Fixed Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    ACL2 Case Studies
    • 1st Edition
    • Matt Kaufmann; Panagiotis Manolios; J Strother Moore
    • Springer
    • Fixed Layout

    Starting at:$62.70 USD

    View Details
  • eBook
    14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
    • 1st Edition
    • Ed Brinksma; Kim G. Larsen
    • Springer
    • Fixed Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    A Conceptual Approach
    • 1st Edition
    • Jayanta Sarkar
    • CRC Press
    • Reflowable Layout

    Starting at:$63.80 USD

    View Details
  • eBook
    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
    • 1st Edition
    • A. Gupta; S. Malik
    • Springer
    • Fixed Layout

    Starting at:$38.70 USD

    View Details
  • eBook
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    • Author
    • Springer
    • Fixed Layout

    Starting at:$56.70 USD

    View Details
  • eBook
    12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings
    • 1st Edition
    • E. Allen Emerson; A. Prasad Sistla
    • Springer
    • Fixed Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    • André Klahold; Madjid Fathi
    • Springer
    • Reflowable Layout

    Starting at:$47.70 USD

    View Details
  • eBook
    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    • 1st Edition
    • Nicolas Halbwachs; ‎Doron Peled
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    • Springer
    • Fixed Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    An Approach
    • Matt Kaufmann; Panagiotis Manolios; J Strother Moore
    • Springer
    • Fixed Layout

    Starting at:$95.70 USD

    View Details
  • eBook
    18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    • 1st Edition
    • Thomas Ball; ‎Robert B. Jones
    • Springer
    • Fixed Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    • 1st Edition
    • Madhusudan Parthasarathy; Sanjit A. Seshia
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    Methodologies and Practices
    • 1st Edition
    • Jay Lee; Ben Wang
    • Springer
    • Fixed Layout

    Starting at:$47.70 USD

    View Details
  • eBook
    A Conceptual Approach
    • 1st Edition
    • Jayanta Sarkar
    • CRC Press
    • Reflowable Layout

    Starting at:$63.80 USD

    View Details