語系
Caires, Luis.
概要
| 作品: | 7 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal Techniques for Distributed Objects, Components, and Systems38th 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:
(1998 :); Baier, Christel.; Caires, Luis.; SpringerLink (Online service)
(書目-電子資源)
Automata, Languages and Programming32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(1998 :); Caires, Luis.; SpringerLink (Online service)
(書目-電子資源)
Programming languages and systems28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings /
by:
(1998 :); Caires, Luis.; SpringerLink (Online service)
(書目-電子資源)
主題
Data Structures, Cryptology and Information Theory.
Theory of Computation.
Software Engineering.
Machine theory
Software Engineering/Programming and Operating Systems.
Electronic data processing
Data Structures.
Operating Systems.
Programming Techniques.
Computer programming
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Formal languages
Numeric Computing.
The Computing Profession.
Computer Science.
Discrete Mathematics in Computer Science.
Systems and Data Security.
Computer Communication Networks.
Computer System Implementation.
System Performance and Evaluation.