言語
Esparza, Javier.
概観
| 著作: | 2 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I /
…で:
Clark Conference ((2005 :); Esparza, Javier.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Logics and languages for reliability and security[electronic resource] /
…で:
Clark Conference ((2005 :); Esparza, Javier.; Grumberg, Orna.; Spanfelner, Bernd.
(言語・文字資料 (印刷物))
主題
Machine theory
Computer systems
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Information Systems Applications (incl. Internet)
Computer logic
Programming languages (Electronic computers)
Computer programming
Information Storage and Retrieval.
Computer security
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.