検索結果 7 件
紙図書
国立国会図書館
- 要約等...efereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The......ogether with 1 invited talk were...... Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, des......its, design of reversible circuits, and circuit synthes...
- ジャンル・形式用語Conference papers and proceedings.
- 件名Logics and Meanings of Programs. Quantum Computing. Computation by Abstract De......em Complexity. Reversible computing--Congresses. Computer logic--Congresses. Computer science--Mathematics--Congresses. Computer logic. Computer science--Mathematics. Reversible computing.
紙図書
国立国会図書館
- ジャンル・形式用語Conference proceedings.
- 件名Reversible computing--Congresses. Computer logic--Congresses. Computer science--Mathematics--Congresses. Computer logic. Computer science--Mathematics. Reversible computing.
- 一般注記Papers. "RC 2014 was the 6th in a series of annual meetings ..."--Preface.
紙図書
国立国会図書館
- 件名Computer logic--Congresses. Computer science--Mathematics--Congresses.
- タイトル標目Lecture notes in computer science ; 7581. LNCS s...... SL 2, Programming and software engineering.
紙図書
国立国会図書館
- 要約等...efereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The......ether with one invited paper wer...... are organized in topical sectio......metic; programming and data structures; modelling; synthesis and optimization;...
- 件名Reversible computing--Congresses. Computer logic--Congresses. Computer science--Mathematics--Congresses.
- 一般注記Papers. "RC 2013 was the fifth in a series of annual meetings (...)" -- pref.
紙図書
国立国会図書館
- 件名Computer logic--Congresses. Computer science--Mathematics--......s. Software engineering--Congresses. Computer science. Computer Communication ......s. Software engineering. Computer software. Logi......Logics and Meanings of Programs.......exity. Programming Languages, Compilers, Interpreters. Mathematical Logic...
- その他のタイトルReversible computation : 3rd international workshop, RC 2011 ...
- タイトル標目Lecture notes in computer science ; 7165. LNCS s...... SL 2, Programming and software engineering.
紙図書
国立国会図書館
- 一般注記...workshops: 1st International wor......ion and change in data managemen...... on reverse engineering in information syste......s REIS '99 and International wor......onceptual modeling, known as WWW......s part of 18th International con......onceptual modeling, known as ER'99. Index term: data ......M ; reverse engineering ; REIS ; world wide web ; WW...
- 並列タイトル等（連結）Comprises 3 workshops: 1st International wor......ion and change in data managemen...... on reverse engineering in information syste......s REIS '99 and International wor......onceptual modeling, known as WWW......s part of 18th International con......onceptual modeling, known as ER'......M ; reverse engineering ; REIS ; world wide web ; WW...
- 並列タイトル等Comprises 3 workshops: 1st International wor......ion and change in data managemen...... on reverse engineering in information syste......s REIS '99 and International wor......onceptual modeling, known as WWW......s part of 18th International con......onceptual modeling, known as ER'......M ; reverse engineering ; REIS ; world wide web ; WW...
検索結果は以上です。