語系
Ulidowski, Irek.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
CONCUR 2012 - Concurrency theory23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings /
by:
(1998 :); Koutny, Maciej.; SpringerLink (Online service); Ulidowski, Irek.
(書目-電子資源)
Reversible computation10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings /
by:
(1998 :); Kari, Jarkko.; SpringerLink (Online service); Ulidowski, Irek.
(書目-電子資源)
Reversible computationextending horizons of computing : selected results of the COST Action IC1405 /
by:
SpringerLink (Online service); Ulidowski, Irek.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Operating Systems.
Programming Languages, Compilers, Interpreters.
Computer logic
Logic Design.
Special Purpose and Application-Based Systems.
Computer multitasking
Computer science
Parallel processing (Electronic computers)
Computer Science.
Computer Communication Networks.
Reversible computing
Reversible computing.
Computer System Implementation.