LEADER 04830nam 22008175 450 001 996465407303316 005 20230222025749.0 010 $a3-540-85101-1 024 7 $a10.1007/978-3-540-85101-1 035 $a(CKB)1000000000490291 035 $a(SSID)ssj0000446282 035 $a(PQKBManifestationID)11297661 035 $a(PQKBTitleCode)TC0000446282 035 $a(PQKBWorkID)10495959 035 $a(PQKB)10301621 035 $a(DE-He213)978-3-540-85101-1 035 $a(MiAaPQ)EBC3063141 035 $a(MiAaPQ)EBC6511652 035 $a(Au-PeEL)EBL6511652 035 $a(OCoLC)288440366 035 $a(PPN)128125896 035 $a(EXLCZ)991000000000490291 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgebraic Biology$b[electronic resource] $eThird International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings /$fedited by Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XII, 245 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5147 300 $aIncludes index. 311 $a3-540-85100-3 320 $aIncludes bibliographical references and index. 327 $aAlgorithms for Inference, Analysis and Control of Boolean Networks -- Tutorial on Model Checking: Modelling and Verification in Computer Science -- Differential Algebra and System Modeling in Cellular Biology -- Hybrid Semantics for Stochastic ?-Calculus -- Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits -- On the Computational Power of Biochemistry -- The Geometry of the Neighbor-Joining Algorithm for Small Trees -- Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets -- An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions -- Property Preservation along Embedding of Biological Regulatory Networks -- Process Algebra Models of Population Dynamics -- Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems -- The Smallest Multistationary Mass-Preserving Chemical Reaction Network -- Local Structure and Behavior of Boolean Bioregulatory Networks -- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology -- An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods. 330 $aThis book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held at the Castle of Hagenberg, Austria in July 2008 as part of the RISC Summer 2008, organized by the Research Institute for Symbolic Computation. The 14 revised full papers presented together with 3 tutorial lectures were carefully reviewed and selected from 27 submissions. The conference is the interdisciplinary forum for the presentation of research on all aspects of applications of symbolic computation (computer algebra, computational logic, and related methods) to various issues in biology and life sciences as well as other problems in biology being approached with symbolic methods. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5147 606 $aComputer science 606 $aMachine theory 606 $aComputer science?Mathematics 606 $aBioinformatics 606 $aSoftware engineering 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 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputer science?Mathematics. 615 0$aBioinformatics. 615 0$aSoftware engineering. 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. 676 $a570.151 686 $a570$2sdnb 686 $aBIO 110f$2stub 686 $aSS 4800$2rvk 702 $aHorimoto$b Katsuhisa 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465407303316 996 $aAlgebraic Biology$9772546 997 $aUNISA LEADER 02830nam1 22004693i 450 001 VAN00114231 005 20260616041259.143 100 $a20180131d1761 |0itac50 ba 101 $alat 102 $aIT 140 $a||||||||| ||||||||| 181 $ai$b e 182 $an 183 $anc 200 1 $aDisciplina populi Dei in Novo Testamento ex scriptoribus sacris et profanis collecta a Claudio Fleury presbytero et priore Argentoliensi Gallice scripta Herbipoli a Societatis Jesu sacerdote Latine reddita, nunc vero a Francisco Antonio Zaccaria ... adnotationibus, ac variorum dissertationibus illustrata. Tomus 1. [-2.] 210 $aVenetiis$ctypis Antonii Zatta$d1761 215 $a2 volumi$d4º 300 $aMarca non censita (Paesaggio con fontana con tre delfini, quattro personaggi, due piedistalli con un vaso ed una statua antica, serpe che si specchia. Motto: Auxilium ab alto plus pressa plus surgit 300 $aOcchietto 300 $aSigla: G.B.) sui frontespizi 300 $aTesto su due colonne 463 \1$1001VAN00114232$12001 $a<<>>Disciplina populi Dei in Novo Testamento ex scriptoribus sacris et profanis collecta a Claudio Fleury presbytero et priore Argentoliensi Gallice scripta Herbipoli a Societatis Jesu sacerdote Latine reddita, nunc vero a Francisco Antonio Zaccaria ... adnotationibus, ac variorum dissertationibus illustrata. 1 463 \1$1001VAN00114233$12001 $a2 620 $dVenezia$3VANL000080 700 1$aFleury$bClaude$3VANV088337$0180905 702 1$aZaccaria$bFrancesco Antonio$3VANV088338 712 02$aZatta, Antonio$3VANV088349 790 1$aFleury, Claudius$zFleury, Claude$3VANV088339 790 1$aFleury, Claudio$zFleury, Claude$3VANV088340 790 1$aFleurius, Claudius$zFleury, Claude$3VANV088341 790 1$aBonel, Charles$zFleury, Claude$3VANV088342 790 0$aFleury $zFleury, Claude$3VANV088343 790 1$aZaccaria, Francescantonio$zZaccaria, Francesco Antonio$3VANV088344 790 1$aZaccaria, Francisco Antonio$zZaccaria, Francesco Antonio$3VANV088345 790 0$aPistofilo Romano$zZaccaria, Francesco Antonio$3VANV088346 790 1$aZacharia, Francisco Antonio$zZaccaria, Francesco Antonio$3VANV088347 790 1$aEupistinus, Theotimus$zZaccaria, Francesco Antonio$3VANV088348 801 $aIT$bSOL$c20260619$gRICA 912 $aVAN00114231 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$3780382$b00vol. 1-2 996 $aDisciplina populi Dei in Novo Testamento ex scriptoribus sacris et profanis collecta a Claudio Fleury presbytero et priore Argentoliensi Gallice scripta Herbipoli a Societatis Jesu sacerdote Latine reddita, nunc vero a Francisco Antonio Zaccaria ... adnotationibus, ac variorum dissertationibus illustrata. Tomus 1.$91520319 997 $aUNICAMPANIA