言語: 日文

ログイン

言語

英語 (1)

跳ぶ : 概観 | タイトル | 主題

Krivine, Jean.

概観

著作:	1 作品に 1 出版物中に 1 言語

タイトル

Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / …で: Clark Conference ((2005 :); Krivine, Jean.; SpringerLink (Online service); Stefani, Jean-Bernard. (言語・文字資料 (印刷物))

主題

Software Engineering. Logics and Meanings of Programs. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Computer logic Logic Design. Quantum Computing. Computer science Reversible computing Computer Science.

パスワードを変更する

ログイン