LEADER 04041nam  22006855  450 
001 996465533603316
005 20230406062159.0
010   $a3-540-32340-6
024 7 $a10.1007/11603047
035   $a(CKB)1000000000213571
035   $a(SSID)ssj0000318892
035   $a(PQKBManifestationID)11265707
035   $a(PQKBTitleCode)TC0000318892
035   $a(PQKBWorkID)10329696
035   $a(PQKB)10254773
035   $a(DE-He213)978-3-540-32340-2
035   $a(MiAaPQ)EBC3067945
035   $a(PPN)123130018
035   $a(EXLCZ)991000000000213571
100   $a20100417d2006      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aMembrane Computing$b[electronic resource] $e6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers /$fedited by Rudolph Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (X, 374 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3850
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-30948-9 
320   $aIncludes bibliographical references and index.
327   $aInvited Lectures -- Computational Power of Symport/Antiport: History, Advances, and Open Problems -- Structural Operational Semantics of P Systems -- Some Recent Results Concerning Deterministic P Systems -- Membrane Algorithms -- On Evolutionary Lineages of Membrane Systems -- Regular Presentations -- Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness -- Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules -- On P Systems as a Modelling Tool for Biological Systems -- Encoding-Decoding Transitional Systems for Classes of P Systems -- On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism -- A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment -- P Systems with Memory -- Algebraic and Coalgebraic Aspects of Membrane Computing -- P Systems and the Modeling of Biochemical Oscillations -- P Systems, Petri Nets, and Program Machines -- On the Power of Dissolution in P Systems with Active Membranes -- A Linear Solution for QSAT with Membrane Creation -- On Symport/Antiport P Systems and Semilinear Sets -- Boolean Circuits and a DNA Algorithm in Membrane Computing -- Towards a Petri Net Semantics for Membrane Systems -- Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes -- Editing Distances Between Membrane Structures -- Relational Membrane Systems -- On the Rule Complexity of Universal Tissue P Systems -- Non-cooperative P Systems with Priorities Characterize PsET0L.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3850
606   $aComputer science
606   $aMachine theory
606   $aComputer simulation
606   $aBioinformatics
606   $aTheory of Computation
606   $aFormal Languages and Automata Theory
606   $aComputer Modelling
606   $aBioinformatics
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer simulation.
615  0$aBioinformatics.
615 14$aTheory of Computation.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer Modelling.
615 24$aBioinformatics.
676   $a621.39/1
702   $aFreund$b Rudolph$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPaun$b Gheorghe$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSalomaa$b Arto$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465533603316
996   $aMembrane Computing$9772585
997   $aUNISA