語系
Sgall, Jiri.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part II /
by:
(1998 :); Aceto, Luca.; Henzinger, Monika.; Sgall, Jiri.; SpringerLink (Online service)
(書目-電子資源)
Topics in theoretical computer sciencesecond IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings /
by:
(1998 :); Mousavi, Mohammad Reza.; Sgall, Jiri.; SpringerLink (Online service)
(書目-電子資源)
Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part I /
by:
(1998 :); Aceto, Luca.; Henzinger, Monika.; Sgall, Jiri.; SpringerLink (Online service)
(書目-電子資源)
Mathematical foundations of computer science 200126th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 27-31, 2001 : proceedings /
by:
(1998 :); Kolman, Petr.; Pultr, Ales.; Sgall, Jiri.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Machine theory
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Programming Techniques.
Programming languages (Electronic computers)
Computer programming
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Computer science
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.