「 Compilers 」を閲覧中 (1637 件の結果のうち 41 ~ 60 を表示中)

科目

  • Static Analysis

    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
    条件: Antoine Mine; David Schmidt
    • 版: 1st
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格
  • Tests and Proofs

    14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
    条件: Wolfgang Ahrendt; ‎Heike Wehrheim
    • 版: 1st
    • 形式: リフロー可能
    • ¥2,824 JPY 時から
      付加価値税込み価格
  • Fundamental Approaches to Software Engineering

    Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    条件: Tom Maibaum
    • 版: 1st
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格
  • Software Language Engineering

    5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格
  • Software Composition

    5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers
    条件: Welf Löwe; Mario Südholt
    • 版: 1st
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格
  • The Joys of Hashing

    Hash Table Programming with C
    条件: Thomas Mailund
    • 形式: リフロー可能
    • ¥2,054 JPY 時から
      付加価値税込み価格
  • Multi-Agent Systems

    16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
    条件: Author
    • 形式: リフロー可能
    • ¥2,824 JPY 時から
      付加価値税込み価格
  • Models in Software Engineering

    Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers
    条件: Juergen Dingel; ‎Arnor Solberg
    • 版: 1st
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格
  • Recent Advances in Algorithmic Differentiation

    条件: Shaun Forth; ‎Paul Hovland; ‎Eric Phipps
    • 版: 1st
    • 形式: リフロー可能
    • ¥5,083 JPY 時から
      付加価値税込み価格
  • Applied Semantics

    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
    条件: Peter Dybjer; Gilles Barthe; João Saraiva
    • 版: 1st
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格
  • ECM - Enterprise Content Management

    Konzepte und Techniken rund um Dokumente
    条件: Wolfgang Riggert
    • 形式: 固定
    • ¥1,540 JPY 時から
      付加価値税込み価格
  • Software Visualization

    From Theory to Practice
    条件: Kang Zhang
    • 版: 1st
    • 形式: 固定
    • ¥10,731 JPY 時から
      付加価値税込み価格
  • Program Development in Computational Logic

    A Decade of Research Advances in Logic-Based Program Development
    条件: Maurice Bruynooghe; ‎KungKiu Lau
    • 版: 1st
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格
  • Programming Languages: Principles and Paradigms

    条件: Maurizio Gabbrielli; Simone Martini
    • 形式: 固定
    • ¥2,310 JPY 時から
      付加価値税込み価格
  • NASA Formal Methods

    5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格
  • Abstract State Machines 2003: Advances in Theory and Prac...

    10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
    条件: Egon Börger; ‎Angelo Gargantini; ‎Elvinia Riccobene
    • 版: 1st
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格
  • Central European Functional Programming School

    6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
    • 形式: リフロー可能
    • ¥3,851 JPY 時から
      付加価値税込み価格
  • Functional and Constraint Logic Programming

    26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
    条件: Author
    • 形式: リフロー可能
    • ¥2,824 JPY 時から
      付加価値税込み価格
  • Learn Swift 2 on the Mac

    For OS X and iOS
    条件: Waqar Malik
    • 版: 2nd
    • 形式: 固定
    • ¥2,054 JPY 時から
      付加価値税込み価格
  • Logic-Based Program Synthesis and Transformation

    28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
    • 形式: リフロー可能
    • ¥2,824 JPY 時から
      付加価値税込み価格
Page links