Browsing “Compilers” for "11" (Showing 1 - 20 of 64 results)

Subjects

  • Exploring C++ 11

    by Ray Lischner
    • Edition: 2nd
    • Format: Fixed
    • From $18.00 USD

  • ECOOP 2008 - Object-Oriented Programming

    22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings
    by Jan Vitek
    • Edition: 1st
    • Format: Fixed
    • From $29.70 USD

  • ECOOP 2012 -- Object-Oriented Programming

    26th European Conference, Beijing, China, June 11-16, 2012, Proceedings
    by James Noble
    • Edition: 1st
    • Format: Fixed
    • From $16.50 USD

  • Reliable Software Technologies -- Ada-Europe 2013

    18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings
    • Format: Fixed
    • From $15.00 USD

  • SDL 2017: Model-Driven Engineering for Future Internet

    18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings
    • Format: Reflowable
    • From $16.50 USD

  • Model Checking Software

    9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
    by S. Leue; Dragan Bošnački
    • Edition: 1st
    • Format: Fixed
    • From $16.50 USD

  • Static Analysis

    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
    by Antoine Mine; David Schmidt
    • Edition: 1st
    • Format: Fixed
    • From $16.50 USD

  • Formal Methods for Industrial Critical Systems

    19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
    by Author
    • Format: Fixed
    • From $16.50 USD

  • Static Analysis

    26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
    • Format: Reflowable
    • From $16.50 USD

  • Formal Methods – The Next 30 Years

    Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
    • Format: Reflowable
    • From $16.50 USD

  • Automated Technology for Verification and Analysis

    9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
    by Tevfik Bultan; PaoAnn Hsiung
    • Edition: 1st
    • Format: Fixed
    • From $16.50 USD

  • Dynamic Logic. New Trends and Applications

    Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
    • Format: Reflowable
    • From $16.50 USD

  • Functional and Logic Programming

    14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
    • Format: Reflowable
    • From $16.50 USD

  • Coordination Models and Languages

    5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
    by Farhad Arbab; Carolyn Talcott
    • Edition: 1st
    • Format: Fixed
    • From $16.50 USD

  • Certified Programs and Proofs

    Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
    • Format: Fixed
    • From $16.50 USD

  • Search Based Software Engineering

    9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
    • Format: Reflowable
    • From $16.50 USD

  • Runtime Verification

    19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
    • Format: Reflowable
    • From $21.00 USD

  • Rigorous State-Based Methods

    8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
    • Format: Reflowable
    • From $19.50 USD

  • Integrated Formal Methods

    11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
    • Format: Fixed
    • From $16.50 USD

  • Generic Programming

    IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
    by Jeremy Gibbons; Johan Jeuring
    • Edition: 1st
    • Format: Fixed
    • From $29.70 USD
Showing 1 - 20 of 64 results
Page links