Browsing Compilers 881 - 900 of 2113 results

  • 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
    14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
    • Author
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
    • Author
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$13.50 USD

    View Details
  • eBook
    9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    An Approach for Developers
    • Stanko Blatnik; Kelly Carey
    • Apress
    • Fixed Layout

    Starting at:$12.00 USD

    View Details
  • eBook
    • Jacob Zimmerman
    • Apress
    • Fixed Layout

    Starting at:$4.50 USD

    View Details
  • eBook
    A Problem-Solution Approach
    • Josh Juneau; Matt Arena
    • Apress
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    • Todd Tomlinson
    • Apress
    • Fixed Layout

    Starting at:$12.00 USD

    View Details
  • eBook
    • Des Watson
    • Springer
    • Reflowable Layout

    Starting at:$15.00 USD

    View Details
  • eBook
    • Mitsunori Ogihara
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    • Nigel George
    • Apress
    • Fixed Layout

    Starting at:$12.00 USD

    View Details
  • eBook
    Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz
    • 5th Edition
    • Christian Maurer
    • Springer Vieweg
    • Reflowable Layout

    Starting at:$10.50 USD

    View Details
  • eBook
    Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
    • 1st Edition
    • Herman Geuvers; ‎Freek Wiedijk
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    • 1st Edition
    • Annabelle McLver; Carroll Morgan
    • Springer
    • Fixed Layout

    Starting at:$29.70 USD

    View Details