Vojnar, Tomáš.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 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, Part I /
by:
Zhang, Lijun.; Vojnar, Tomáš.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Mathematical and Engineering Methods in Computer Science = 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers /
by:
SpringerLink (Online service); Vojnar, Tomáš.; Kofroň, Jan.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 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, Part II /
by:
SpringerLink (Online service); Vojnar, Tomáš.; Zhang, Lijun.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Bioinformatics.
Software Engineering.
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
System Performance and Evaluation.
Logic in AI.
Information Systems Applications (incl. Internet).
Logic Design.
The Computing Profession.
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer communication systems.
Management of Computing and Information Systems.
Application software.
Artificial Intelligence.
Computer science.
Management information systems.
Computer system failures.
Logic design.
Computers.
Computational Biology/Bioinformatics.