「 Compilers 」を閲覧中 (1923 件の結果のうち 961 ～ 980 を表示中)

Formal Methods for Components and Objects
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
条件： Marcello M. Bonsangue; W.P. de Roever; Frank S. de Boer
- 版: 1st
- 形式: 固定
- ¥2,846 JPY 時から
  付加価値税込み価格

Foundations of Software Science and Computation Structures
19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
- 形式: リフロー可能
- ¥2,846 JPY 時から
  付加価値税込み価格

Programming Languages and Systems
25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
条件： Author
- 形式: リフロー可能
- ¥2,846 JPY 時から
  付加価値税込み価格

Verilog: Frequently Asked Questions
Language, Applications and Extensions
条件： Shivakumar S. Chonnad; Needamangalam B. Balachander
- 形式: 固定
- ¥5,123 JPY 時から
  付加価値税込み価格

Digital VLSI Design with Verilog
A Textbook from Silicon Valley Technical Institute
条件： John Williams
- 形式: 固定
- ¥7,710 JPY 時から
  付加価値税込み価格

OpenMP in the Era of Low Power Devices and Accelerators
9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings
条件： Alistair P. Rendell, Barbara M. Chapman, and Matthias S. Müller (eds.)
- 形式: 固定
- ¥2,587 JPY 時から
  付加価値税込み価格

Cryptography in C and C++
条件： Michael Welschenbach
- 版: 2nd
- 形式: 固定
- ¥4,139 JPY 時から
  付加価値税込み価格

Design and Implementation of the MTX Operating System
条件： K. C. Wang
- 形式: リフロー可能
- ¥4,606 JPY 時から
  付加価値税込み価格

Advanced C and C++ Compiling
条件： Milan Stevanovic
- 形式: 固定
- ¥3,104 JPY 時から
  付加価値税込み価格

QVT - Operational Mappings
Modellierung mit der Query Views Transformation
条件： Siegfried Nolte
- 形式: 固定
- ¥3,104 JPY 時から
  付加価値税込み価格

Semantics and Algebraic Specification
Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
条件： Jens Palsberg
- 版: 1st
- 形式: 固定
- ¥2,846 JPY 時から
  付加価値税込み価格

Unifying Theories of Programming
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
- 形式: 固定
- ¥3,622 JPY 時から
  付加価値税込み価格

ECOOP 2014 -- Object-Oriented Programming
28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
条件： Author
- 形式: 固定
- ¥2,846 JPY 時から
  付加価値税込み価格

Mathematica®: A Problem-Centered Approach
条件： Roozbeh Hazrat
- 形式: 固定
- ¥2,329 JPY 時から
  付加価値税込み価格

Programming Languages and Systems
22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
- 形式: 固定
- ¥2,846 JPY 時から
  付加価値税込み価格

Constraint Solving and Language Processing
First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers
条件： Henning Christiansen; ‎Peter Rossen Skadhauge; ‎Jørgen Villadsen
- 版: 1st
- 形式: 固定
- ¥2,846 JPY 時から
  付加価値税込み価格

Graph Transformation
12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
条件： Author
- 形式: リフロー可能
- ¥2,846 JPY 時から
  付加価値税込み価格

Software Security - Theories and Systems
Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003
条件： Kokichi Futatsugi; ‎Fumio Mizoguchi; ‎Naoki Yonezaki
- 版: 1st
- 形式: 固定
- ¥2,846 JPY 時から
  付加価値税込み価格

Graph Transformation
10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
条件： Juan de Lara and Detlef Plump
- 形式: リフロー可能
- ¥2,846 JPY 時から
  付加価値税込み価格

Theory and Practice of Model Transformation
10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings
- 形式: リフロー可能
- ¥2,846 JPY 時から
  付加価値税込み価格