語系
Vojnar, Tomas.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-電子資源)
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 :)
(書目-電子資源)
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)
(書目-電子資源)
主題
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