語系
Caires, Luis.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Caires, Luis.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal Techniques for Distributed Objects, Components, and Systems = 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /
by:
SpringerLink (Online service); Caires, Luis.; Baier, Christel.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Systems and Data Security.
Computer System Implementation.
Formal languages
Data Structures, Cryptology and Information Theory.
Operating Systems.
Computer Communication Networks.
Electronic data processing
Theory of Computation.
Data Structures.
Discrete Mathematics in Computer Science.
Machine theory
Computer Science.
Computer programming
Programming Languages, Compilers, Interpreters.
Numeric Computing.