語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (5)

書封

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

Kovács, Laura.

概要

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

書目資訊

Tools and algorithms for the construction and analysis of systems = 30th 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: TACAS (Conference) (2024 :); Finkbeiner, Bernd.; Kovács, Laura.; SpringerLink (Online service); ETAPS (Conference) (2024 :) (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 30th 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: TACAS (Conference) (2024 :); Finkbeiner, Bernd.; Kovács, Laura.; SpringerLink (Online service); ETAPS (Conference) (2024 :) (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 30th 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: TACAS (Conference) (2024 :); Finkbeiner, Bernd.; Kovács, Laura.; SpringerLink (Online service); ETAPS (Conference) (2024 :) (書目-電子資源)

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

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

主題

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

變更密碼

登入