03540nam 22007815 450 99646598110331620230406023922.03-642-28067-610.1007/978-3-642-28067-2(CKB)3390000000021517(SSID)ssj0000609127(PQKBManifestationID)11372202(PQKBTitleCode)TC0000609127(PQKBWorkID)10619221(PQKB)10190887(DE-He213)978-3-642-28067-2(MiAaPQ)EBC3070936(PPN)159087384(EXLCZ)99339000000002151720120112d2012 u| 0engurnn|008mamaatxtccrAlgebraic and Numeric Biology[electronic resource] 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers /edited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (IX, 185 p.) Theoretical Computer Science and General Issues,2512-2029 ;6479Bibliographic Level Mode of Issuance: Monograph3-642-28066-8 Includes bibliographical references and index.This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. The conference is a follow up of the AB Conference. The 10 papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on mathematical modeling, system analysis and design, genomics, molecular structure analysis, automata theory, artificial intelligence, sequence analysis, automated reasoning, formal language and hybrid symbolic numerical methods.Theoretical Computer Science and General Issues,2512-2029 ;6479Computer scienceMachine theoryComputer science—MathematicsBioinformaticsSoftware engineeringCompilers (Computer programs)Computer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheorySymbolic and Algebraic ManipulationComputational and Systems BiologySoftware EngineeringCompilers and InterpretersComputer science.Machine theory.Computer science—Mathematics.Bioinformatics.Software engineering.Compilers (Computer programs).Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Symbolic and Algebraic Manipulation.Computational and Systems Biology.Software Engineering.Compilers and Interpreters.570.285Horimoto Katsuhisaedthttp://id.loc.gov/vocabulary/relators/edtNakatsui Masahikoedthttp://id.loc.gov/vocabulary/relators/edtPopov Nikolajedthttp://id.loc.gov/vocabulary/relators/edtANB 2010BOOK996465981103316Algebraic and Numeric Biology2830909UNISA