Computer logic.
概要
| 作品: | 23 作品在 22 项出版品 22 种语言 | |
|---|---|---|
书目信息
Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(书目-语言数据,印刷品)
Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(书目-语言数据,印刷品)
Reachability problems[electronic resource] :9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
SDL 2015[electronic resource] :model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
Theoretical aspects of computing - ICTAC 2015[electronic resource] :12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(书目-语言数据,印刷品)
Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(书目-语言数据,印刷品)
Transactions on petri nets and other models of concurrency X[electronic resource] /
by:
(书目-语言数据,印刷品)
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(书目-语言数据,印刷品)
A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(书目-语言数据,印刷品)
主题