Ingolfsdottir, Anna.
概要
作品: | 3 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Foundations of Software Science and Computational Structures (vol. # 3921)9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006: proceedings /
by:
(1998 :); Aceto, Luca.; Ingolfsdottir, Anna.; SpringerLink (Online service)
(書目-電子資源)
Transactions on Computational Systems Biology VII
by:
Ingolfsdottir, Anna.; Mishra, Bud.; Nielson, Hanne Riis.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Molecular biology
Bioinformatics.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer Science.
Proteomics
System analysis
Bioinformatics