言語
Lanese, Ivan.
概観
| 著作: | 1 作品に 4 出版物中に 1 言語 | |
|---|---|---|
タイトル
Formal aspects of component software[electronic resource] :11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
…で:
Clark Conference ((2005 :); Lanese, Ivan.; Madelaine, Eric.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Reversible computation[electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
…で:
Clark Conference ((2005 :); Devitt, Simon.; Lanese, Ivan.; SpringerLink (Online service)
(コンピュータ・メディア)
Formal techniques for distributed objects components, and systems[electronic resource] :36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings /
…で:
Albert, Elvira.; Clark Conference ((2005 :); Lanese, Ivan.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
…で:
Clark Conference ((2005 :); Diaz, Josep.; Lanese, Ivan.; Sangiorgi, Davide.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Computer logic.
Quantum computers.
Logics and Meanings of Programs.
Component software
Electronic data processing
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Management of Computing and Information Systems.
Information Systems Applications (incl. Internet)
Computers.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer logic
Logic design.
Programming languages (Electronic computers)
Algorithms.
Numeric Computing.
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Computer Communication Networks.
Reversible computing
Computer science.