語系
Vojnar, Tomas.
概要
作品: | 2 作品在 3 項出版品 1 種語言 |
---|
書目資訊
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 II /
by:
(1998 :); SpringerLink (Online service); Vojnar, Tomas.; Zhang, Lijun.
(書目-電子資源)
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 /
by:
(1998 :); SpringerLink (Online service); Vojnar, Tomas.; Zhang, Lijun.
(書目-電子資源)
Mathematical and engineering methods in computer science10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers /
by:
(1998 :); Kofron, Jan.; SpringerLink (Online service); Vojnar, Tomas.
(書目-電子資源)
主題
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 software
System design
Logic Design.
Computer science
Artificial Intelligence.
The Computing Profession.
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Computational Biology/Bioinformatics.
System analysis