Ingolfsdottir, Anna.
Overview
Works: | 3 works in 0 publications in 0 languages |
---|
Titles
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)
(Electronic resources)
Transactions on Computational Systems Biology VII
by:
Ingolfsdottir, Anna.; Mishra, Bud.; Nielson, Hanne Riis.; SpringerLink (Online service)
(Electronic resources)
Subjects
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