Tomáš Vojnar

Identifiers

Open LibraryOL7838574A

Top Subjects

Artificial intelligence (1)
Computer programming / software development (1)
Mathematical theory of computation (1)
Software Engineering (1)
Information technology: general issues (1)
Systems analysis & design (1)

Books by Tomáš Vojnar

Total count: 2

Mathematical and Engineering Methods in Computer Science10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, ...

Springer2016-02-04
Tools and Algorithms for the Construction and Analysis of Systems25th 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

Springer Nature2019-01-01