Computer logic.
概観
| 著作: | 23 作品に 22 出版物中に 22 言語 | |
|---|---|---|
タイトル
Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
…で:
(言語・文字資料 (印刷物))
Reachability problems[electronic resource] :9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
SDL 2015[electronic resource] :model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theoretical aspects of computing - ICTAC 2015[electronic resource] :12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
…で:
(言語・文字資料 (印刷物))
Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
…で:
(言語・文字資料 (印刷物))
Transactions on petri nets and other models of concurrency X[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Logic for programming, artificial intelligence, and reasoning[electronic resource] :20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
The logician and the engineer[electronic resource] :how George Boole and Claude Shannon created the information age /
…で:
(言語・文字資料 (印刷物))
Reversible computation[electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
…で:
(コンピュータ・メディア)
主題