Scientific Annals of Computer Science

主题词：Logic, programming, and type systems; Formal Methods in Verification; semigroups and automata theory; Advanced Algebra and Logic; Logic, Reasoning, and Knowledge; Computability, Logic, AI Algorithms; Graph theory and applications; Distributed systems and fault tolerance; Algorithms and Data Compression; DNA and Biological Computing; Graph Labeling and Dimension Problems; Advanced Software Engineering Methodologies; Business Process Modeling and Analysis; Model-Driven Software Engineering Techniques; Computational Drug Discovery Methods; Petri Nets in System Modeling; Rings, Modules, and Algebras; Parallel Computing and Optimization Techniques; Advanced Graph Theory Research; Software Testing and Debugging Techniques; Data Management and Algorithms; Natural Language Processing Techniques; Gene Regulatory Network Analysis; Embedded Systems Design Techniques; Rough Sets and Fuzzy Logic