Theoretical Aspects of Computing - ICTAC 2015〈1st ed. 2015〉 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

個数：1
紙書籍版価格
¥12,310
  • 電子書籍
  • ポイントキャンペーン

Theoretical Aspects of Computing - ICTAC 2015〈1st ed. 2015〉 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

  • 著者名：Leucker, Martin (EDT)/Rueda, Camilo (EDT)/Valencia, Frank D. (EDT)
  • 価格 ¥10,117 （本体¥9,198）
  • Springer（2015/10/08発売）
  • 春分の日の三連休！Kinoppy 電子書籍・電子洋書 全点ポイント３０倍キャンペーン（～3/22）
  • ポイント 2,730pt　（実際に付与されるポイントはご注文内容確認画面でご確認下さい）
  • 言語：ENG
  • ISBN：9783319251493
  • eISBN：9783319251509

ファイル： /

Description

This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015.

The 25 revised full papers presented togetherwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewedand selected from 93 submissions. The papers cover various topics such asalgebra and category theory; automata and formal languages; concurrency;constraints, logic and semantic; software architecture and component-baseddesign; and verification.

最近チェックした商品

Logos e verità : sulla relazione tra pensiero e linguaggio nella filosofia di Hegel (Filosofie n. 946) 〈n. 946〉
  • 洋書
Logos e verità…
The Joy of Science : Seven Principles for Scientists Seeking Happiness, Harmony, and Success
  • 洋書電子書籍
The Joy of Science …