Stefani, Jean-Bernard.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
by:
SpringerLink (Online service); Krivine, Jean.; Stefani, Jean-Bernard.
(Language materials, printed)
, [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)
(Language materials, printed)
Subjects
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.