Browsing “Compilers” for "rid" (Showing 1 - 16 of 16 results)

Subjects

  • Grid Computing - GRID 2001

    Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings
    by Craig A. Lee
    • Edition: 1st
    • Format: Fixed
    • From $16.50 USD

  • Economics of Grids, Clouds, Systems, and Services

    14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings
    • Format: Reflowable
    • From $16.50 USD

  • Computer Aided Verification

    23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
    by Ganesh Gopalakrishnan; ‎Shaz Qadeer
    • Edition: 1st
    • Format: Fixed
    • From $16.50 USD

  • Computer-Aided Reasoning

    An Approach
    by Matt Kaufmann; Panagiotis Manolios; J Strother Moore
    • Format: Fixed
    • From $95.70 USD

  • Computer Aided Verification

    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
    by Author
    • Format: Reflowable
    • From $16.50 USD

  • Computer-Aided Reasoning

    ACL2 Case Studies
    by Matt Kaufmann; Panagiotis Manolios; J Strother Moore
    • Edition: 1st
    • Format: Fixed
    • From $62.70 USD

  • Einführung in JavaFX/OpenJFX

    Moderne GUIs für RIAs und Java-Applikationen
    by Ralph Steyer
    • Edition: 2nd
    • Format: Reflowable
    • From $12.00 USD

  • Einführung in JavaFX

    Moderne GUIs für RIAs und Java-Applikationen
    by Ralph Steyer
    • Format: Reflowable
    • From $9.00 USD

  • Research in Attacks, Intrusions and Defenses

    15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings
    by Davide Balzarotti; ‎Salvatore J. Stolfo; ‎Marco Cova
    • Edition: 1st
    • Format: Fixed
    • From $16.50 USD

  • Middleware 2003

    ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings
    by Markus Endler; ‎Douglas Schmidt
    • Edition: 1st
    • Format: Fixed
    • From $29.70 USD

  • Practical Quantum Computing for Developers

    Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience
    by Vladimir Silva
    • Format: Reflowable
    • From $15.00 USD

  • Approaches to Intelligent Agents

    Second Pacific Rim International Workshop on Multi-Agents, PRIMA'99, Kyoto, Japan, December 2-3, 1999 Proceedings
    by Chengqi Zhang; Hideyuki Nakashima
    • Edition: 1st
    • Format: Fixed
    • From $16.50 USD

  • Formal Methods and Software Engineering

    11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
    by Karin Breitman; ‎Ana Cavalcanti
    • Edition: 1st
    • Format: Fixed
    • From $29.70 USD

  • Semantics, Logics, and Calculi

    Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
    • Format: Reflowable
    • From $16.50 USD

  • PRICAI 2019: Trends in Artificial Intelligence

    16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I
    • Format: Reflowable
    • From $16.50 USD

  • Principles and Practice of Constraint Programming - CP 2007

    13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings
    by Christian Bessiere
    • Edition: 1st
    • Format: Fixed
    • From $29.70 USD
Showing 1 - 16 of 16 results