語系
Bojanczyk, Mikolaj.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
Bojanczyk, Mikolaj.; Lasota, Slawomir.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
Foundations of software science and computation structures = 22nd International Conference, FOSSACS 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:
FOSSACS (Conference) (2019 :); Bojanczyk, Mikolaj.; Simpson, Alex.; SpringerLink (Online service); ETAPS (Conference) (2019 :)
(書目-電子資源)
主題
Computer logic.
Mathematical Logic and Formal Languages.
Software engineering
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Computers.
Computation by Abstract Devices.
Computer software
Data Structures.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Computer science.
Discrete Mathematics in Computer Science.