「 Compilers 」を閲覧中 (1637 件の結果のうち 981 ～ 1000 を表示中)

Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
条件： Reinhard Kahle; Peter SchroederHeister; Robert Stark
- 版: 1st
- 形式: 固定
- ¥2,824 JPY 時から
  付加価値税込み価格

Spring Boot 2 Recipes
A Problem-Solution Approach
条件： Marten Deinum
- 形式: リフロー可能
- ¥2,310 JPY 時から
  付加価値税込み価格

Verification, Model Checking, and Abstract Interpretation
18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
- 形式: リフロー可能
- ¥2,824 JPY 時から
  付加価値税込み価格

Theory and Applications of Formal Argumentation
4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
条件： Author
- 形式: リフロー可能
- ¥2,824 JPY 時から
  付加価値税込み価格

Languages and Compilers for Parallel Computing
32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers
条件： Author
- 形式: リフロー可能
- ¥2,824 JPY 時から
  付加価値税込み価格

Functional and Logic Programming
13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
- 形式: リフロー可能
- ¥2,824 JPY 時から
  付加価値税込み価格

Concurrency, Security, and Puzzles
Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
条件： Author
- 形式: リフロー可能
- ¥2,824 JPY 時から
  付加価値税込み価格

Symposium on Real-Time and Hybrid Systems
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
- 形式: リフロー可能
- ¥2,824 JPY 時から
  付加価値税込み価格

Instruction Sequences for Computer Science
条件： Jan A Bergstra; Cornelis A. Middelburg
- 形式: 固定
- ¥5,083 JPY 時から
  付加価値税込み価格

Euro-Par 2017: Parallel Processing
23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings
- 形式: リフロー可能
- ¥2,824 JPY 時から
  付加価値税込み価格

Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
条件： Author
- 形式: 固定
- ¥2,824 JPY 時から
  付加価値税込み価格

Concrete Semantics
With Isabelle/HOL
条件： Tobias Nipkow; Gerwin Klein
- 形式: 固定
- ¥2,824 JPY 時から
  付加価値税込み価格

Digital Electronics for Musicians
条件： Alexandros Drymonitis
- 形式: 固定
- ¥2,310 JPY 時から
  付加価値税込み価格

Advances in Software Engineering Techniques
4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
条件： Tomasz Szmuc; ‎Marcin Szpyrka; ‎Jaroslav Zendulka
- 版: 1st
- 形式: 固定
- ¥2,824 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,824 JPY 時から
  付加価値税込み価格

Practical Apache Spark
Using the Scala API
条件： Subhashini Chellappan; Dharanitharan Ganesan
- 形式: リフロー可能
- ¥3,081 JPY 時から
  付加価値税込み価格

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

Theoretical Aspects of Computing – ICTAC 2017
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
- 形式: リフロー可能
- ¥2,824 JPY 時から
  付加価値税込み価格

Formal Aspects of Component Software
14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
- 形式: リフロー可能
- ¥2,824 JPY 時から
  付加価値税込み価格

Prozessintegration mit SAP NetWeaver® PI 7.1
Eine Einführung in die Architektur der Prozessintegration anhand von Fallstudien unternehmensinterner sowie unternehmensübergreifender Geschäftsprozesse der Logistik
- 形式: 固定
- ¥3,081 JPY 時から
  付加価値税込み価格