Vojnar, Tomáš.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.