| 000 | 02757nam a22006015i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-28067-2 | ||
| 003 | DE-He213 | ||
| 005 | 20140220083310.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 120112s2012 gw | s |||| 0|eng d | ||
| 020 |
_a9783642280672 _9978-3-642-28067-2 |
||
| 024 | 7 |
_a10.1007/978-3-642-28067-2 _2doi |
|
| 050 | 4 | _aQA76.9.L63 | |
| 050 | 4 | _aQA76.5913 | |
| 050 | 4 | _aQA76.63 | |
| 072 | 7 |
_aUM _2bicssc |
|
| 072 | 7 |
_aUYF _2bicssc |
|
| 072 | 7 |
_aCOM051000 _2bisacsh |
|
| 072 | 7 |
_aCOM036000 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1015113 _223 |
| 100 | 1 |
_aHorimoto, Katsuhisa. _eeditor. |
|
| 245 | 1 | 0 |
_aAlgebraic and Numeric Biology _h[electronic resource] : _b4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers / _cedited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
| 300 |
_aIX, 185 p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6479 |
|
| 520 | _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. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aLogic design. | |
| 650 | 0 |
_aAlgebra _xData processing. |
|
| 650 | 0 | _aBioinformatics. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aLogics and Meanings of Programs. |
| 650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
| 650 | 2 | 4 | _aSymbolic and Algebraic Manipulation. |
| 650 | 2 | 4 | _aComputational Biology/Bioinformatics. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
| 700 | 1 |
_aNakatsui, Masahiko. _eeditor. |
|
| 700 | 1 |
_aPopov, Nikolaj. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642280665 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6479 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-28067-2 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 |
_c102715 _d102715 |
||