語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (2)

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

Kiefer, Stefan.

概要

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

書目資訊

Foundations of software science and computation structures = 24th International Conference, FOSSACS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings / by: FOSSACS (Conference) (2021 :); Kiefer, Stefan.; Tasson, Christine.; SpringerLink (Online service); ETAPS (Conference) (2021 :) (書目-電子資源)

Taming the infinities of concurrency = essays dedicated to Javier Esparza on the occasion of his 60th birthday / by: Esparza, Javier.; Kiefer, Stefan.; Křetínský, Jan.; Kučera, Antonín.; SpringerLink (Online service) (書目-電子資源)

主題

Software engineering Mathematical Logic and Formal Languages. Theory of Computation. Natural Language Processing (NLP) Computational complexity. Computer software Database Management. Programming Techniques. Computer Science Logic and Foundations of Programming. Computer science.

變更密碼

登入