語系
Caires, Luis.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
Caires, Luis.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming (2005 :)
(書目-語言資料,印刷品)
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:
FORTE Conference (2018 :); Baier, Christel.; Caires, Luis.; SpringerLink (Online service)
(書目-電子資源)
Programming languages and systems = 28th 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:
European Symposium on Programming (2019 :); Caires, Luis.; SpringerLink (Online service); ETAPS (Conference) (2019 :)
(書目-電子資源)
主題
Data Structures, Cryptology and Information Theory.
Theory of Computation.
Software Engineering.
Machine theory
Software Engineering/Programming and Operating Systems.
Data Structures.
Operating Systems.
Programming Techniques.
Computer programming
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Formal languages
Numeric Computing.
Electronic data processing- Distributed processing
The Computing Profession.
Computer Science.
Discrete Mathematics in Computer Science.
Systems and Data Security.
Computer Communication Networks.
Computer System Implementation.
System Performance and Evaluation.