Stefani, Jean-Bernard.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
by:
SpringerLink (Online service); Krivine, Jean.; Stefani, Jean-Bernard.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Distributed applications and interoperable systems = 4th IFIP WG6.1 International Conference, DAIS 2003, Paris France November 17-21, 2003 : proceedings /
by:
Stefani, Jean-Bernard.; Hagimont, Daniel.; Workshop on the Preservation of Stability under Discretization ((2001 :); Demeure, Isabelle.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer logic.
Algorithm Analysis and Problem Complexity.
Application software
Quantum Computing.
Electronic data processing
Software engineering.
Logic design.
Computers.
Logic Design.
Internetworking (Telecommunication)
Quantum computers.
Algorithms.
Logics and Meanings of Programs.
Computation by Abstract Devices.