語系: 繁體中文

說明(常見問題)

登入

語系

英文 (5)

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

Aceto, Luca.

概要

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

書目資訊

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Aceto, Luca. (書目-電子資源)

Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I / by: SpringerLink (Online service); Henzinger, Monika.; Aceto, Luca.; Sgall, Jiri.; Congress on Progress and Controversies in Oncological Urology (2000:) (書目-電子資源)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / by: Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Aceto, Luca. (書目-電子資源)

Reactive systems = modelling, specification and verification / by: MyiLibrary.; Aceto, Luca. (書目-電子資源)

Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II / by: Congress on Progress and Controversies in Oncological Urology (2000:); Sgall, Jiri.; SpringerLink (Online service); Aceto, Luca.; Henzinger, Monika. (書目-電子資源)

主題

Software Engineering. Software Engineering/Programming and Operating Systems. Algorithm Analysis and Problem Complexity. Computer Communication Networks. Information theory. System design- Mathematical models. Software engineering. Theory of Computation. Expert systems (Computer science)- Validation. Information Storage and Retrieval. Data Structures. Programming languages (Electronic computers) Discrete Mathematics in Computer Science. Machine theory Computer Science. Computer programming Numeric Computing. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Computation by Abstract Devices. Expert systems (Computer science)- Verification. Formal languages Data Structures, Cryptology and Information Theory.

變更密碼

登入