61 - 80 of 5441 results for "aid"

  • eBook
    10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
    • Author
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    • Springer
    • Fixed Layout

    Starting at:$15.00 USD

    View Details
  • eBook
    5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011
    • 1st Edition
    • AdrianHoria Dediu; ‎Carlos MartínVide; ‎Shunsuke Inenaga
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings
    • Author
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
    • 1st Edition
    • Sharon Barner; ‎Ian Harris; ‎Daniel Kroening
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers
    • Jin Akiyama, Hiro Ito, Toshinori Sakai and Yushi Uno
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
    • Author
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings
    • 1st Edition
    • Minyi Guo; ‎Laurence Tianruo Yang
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings
    • 1st Edition
    • Alberto Leporati; Carlos MartinVide; Dana Shapira
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
    • 1st Edition
    • Hana Chockler; ‎Alan J. Hu
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
    • 1st Edition
    • Carlos MartinVide; Friedrich Otto; Henning Fernau
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
    • 1st Edition
    • Kerstin Eder; ‎João Lourenҫo; ‎Onn Shehory
    • Springer
    • Fixed Layout

    Starting at:$21.00 USD

    View Details
  • eBook
    15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details