語系
Ulidowski, Irek.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 /
by:
Schultz, Ulrik Pagh.; SpringerLink (Online service); Lanese, Ivan.; Ulidowski, Irek.; Ferreira, Carla.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
CONCUR 2012 - Concurrency theory = 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings /
by:
SpringerLink (Online service); Ulidowski, Irek.; Workshop on the Preservation of Stability under Discretization ((2001 :); Koutny, Maciej.
(書目-語言資料,印刷品)
Reversible Computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /
by:
Kari, Jarkko.; SpringerLink (Online service); Ulidowski, Irek.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reversible computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings /
by:
Kari, Jarkko.; Workshop on the Preservation of Stability under Discretization ((2001 :); Ulidowski, Irek.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer System Implementation.
Artificial intelligence.
Operating Systems.
Computer Communication Networks.
Software engineering.
Logic Design.
Logic design.
Operating systems (Computers).
Architecture, Computer.
Computer multitasking
Computer Science.
Reversible computing
Parallel processing (Electronic computers)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Mathematical Logic and Formal Languages.
Computer science
Special purpose computers.
Computer communication systems.
Computer logic
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Special Purpose and Application-Based Systems.