Languages
Vojnar, Tomas.
Overview
| Works: | 2 works in 3 publications in 1 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 II /
by:
TACAS (Conference) (2019 :); Vojnar, Tomas.; Zhang, Lijun.; SpringerLink (Online service); ETAPS (Conference) (2019 :)
(Electronic resources)
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:
TACAS (Conference) (2019 :); Vojnar, Tomas.; Zhang, Lijun.; SpringerLink (Online service); ETAPS (Conference) (2019 :)
(Electronic resources)
Mathematical and engineering methods in computer science = 10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers /
by:
Kofron, Jan.; Vojnar, Tomas.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Artificial intelligence
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Logic in AI.
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
Information Systems Applications (incl. Internet)
Computer science- Mathematics
System design
Logic Design.
Computer science
Artificial Intelligence.
The Computing Profession.
Computer Science.
Computer Communication Networks.
Computer software- Verification
System Performance and Evaluation.
Computational Biology/Bioinformatics.
System analysis