Lin, Anthony Widjaja.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reachability problems16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
(1998 :); Lin, Anthony Widjaja.; Potapov, Igor.; SpringerLink (Online service); Zetzsche, Georg.
(書目-電子資源)
Programming languages and systems17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019 : proceedings /
by:
(1998 :); Lin, Anthony Widjaja.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Logics and Meanings of Programs.
Logic in AI.
Mathematics of Computing.
Programming Techniques.
Computer systems
Programming languages (Electronic computers)
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
The Computing Profession.
Computer science
Formal Languages and Automata Theory.
System Performance and Evaluation.
Decidability (Mathematical logic)
Design and Analysis of Algorithms.