LEADER 03540nam  22007815  450 
001 996465981103316
005 20230406023922.0
010   $a3-642-28067-6
024 7 $a10.1007/978-3-642-28067-2
035   $a(CKB)3390000000021517
035   $a(SSID)ssj0000609127
035   $a(PQKBManifestationID)11372202
035   $a(PQKBTitleCode)TC0000609127
035   $a(PQKBWorkID)10619221
035   $a(PQKB)10190887
035   $a(DE-He213)978-3-642-28067-2
035   $a(MiAaPQ)EBC3070936
035   $a(PPN)159087384
035   $a(EXLCZ)993390000000021517
100   $a20120112d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAlgebraic and Numeric Biology$b[electronic resource] $e4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers /$fedited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (IX, 185 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6479
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-28066-8 
320   $aIncludes bibliographical references and index.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6479
606   $aComputer science
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aBioinformatics
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aSymbolic and Algebraic Manipulation
606   $aComputational and Systems Biology
606   $aSoftware Engineering
606   $aCompilers and Interpreters
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aBioinformatics.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aComputational and Systems Biology.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
676   $a570.285
702   $aHorimoto$b Katsuhisa$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNakatsui$b Masahiko$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPopov$b Nikolaj$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aANB 2010
906   $aBOOK
912   $a996465981103316
996   $aAlgebraic and Numeric Biology$92830909
997   $aUNISA