21 - 40 of 173 results for "air"

  • eBook
    • Robert Lair
    • Apress
    • Fixed Layout

    Starting at:$12.00 USD

    View Details
  • eBook
    • 1st Edition
    • Nir Shtein
    • Orange Education Pvt. Ltd.
    • Reflowable Layout

    Starting at:$8.74 USD

    View Details
  • eBook
    • Mordechai Ben-Ari
    • Springer
    • Fixed Layout

    Starting at:$21.00 USD

    View Details
  • eBook
    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    • 1st Edition
    • Holger Hermanns; Werner Damm
    • 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 I
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
    • 1st Edition
    • Ganesh Gopalakrishnan; ‎Shaz Qadeer
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • 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
    How AI Agents Are Reinventing DevOps and Software
    • Roman Vorel
    • Apress
    • Reflowable Layout

    Starting at:$16.50 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
    An Approach
    • Matt Kaufmann; Panagiotis Manolios; J Strother Moore
    • Springer
    • Fixed Layout

    Starting at:$95.70 USD

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

    Starting at:$16.50 USD

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

    Starting at:$16.50 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
    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
    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
    ACL2 Case Studies
    • 1st Edition
    • Matt Kaufmann; Panagiotis Manolios; J Strother Moore
    • Springer
    • Fixed Layout

    Starting at:$62.70 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
    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    • Springer
    • Fixed Layout

    Starting at:$29.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
    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