Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Krivine, Jean.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Reversible computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: Krivine, Jean.; Stefani, Jean-Bernard.; SpringerLink (Online service) (Language materials, printed)

Subjects

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

Change password

Login