語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

語系

英文 (6)

書封

跳至 : 概要 | 書目資訊 | 主題

Kovács, Laura.

概要

作品:	1 作品在 6 項出版品 1 種語言

書目資訊

Tools and algorithms for the construction and analysis of systems30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part II / by: (1998 :); Finkbeiner, Bernd.; Kovács, Laura.; SpringerLink (Online service) (書目-電子資源)

Tools and algorithms for the construction and analysis of systems30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part III / by: (1998 :); Finkbeiner, Bernd.; Kovács, Laura.; SpringerLink (Online service) (書目-電子資源)

Reachability problems18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings / by: (1998 :); Kovács, Laura.; Sokolova, Ana.; SpringerLink (Online service) (書目-電子資源)

Tools and algorithms for the construction and analysis of systems30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part I / by: (1998 :); Finkbeiner, Bernd.; Kovács, Laura.; SpringerLink (Online service) (書目-電子資源)

Integrated formal methods19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024 : proceedings / by: (1998 :); Kosmatov, Nikolai.; Kovács, Laura.; SpringerLink (Online service) (書目-電子資源)

Intelligent computer mathematics17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024 : proceedings / by: (1998 :); Kohlhase, Andrea.; Kovács, Laura.; SpringerLink (Online service) (書目-電子資源)

主題

Theory of Computation. Software Engineering. Artificial intelligence Computer and Information Systems Applications. Logic in AI. Mathematics of Computing. Computer software Control Structures and Microprogramming. Computer systems System design Computer Application in Social and Behavioral Sciences. Computer Science Logic and Foundations of Programming. Formal methods (Computer science) Computer Modelling. Computer science Artificial Intelligence. Formal Languages and Automata Theory. Computer Communication Networks. Design and Analysis of Algorithms. Decidability (Mathematical logic) System analysis Computers and Education.

變更密碼

登入