LEADER 03801nam  22007335  450 
001 996466158903316
005 20200706220306.0
010   $a3-540-46236-8
024 7 $a10.1007/11880646
035   $a(CKB)1000000000284036
035   $a(SSID)ssj0000320467
035   $a(PQKBManifestationID)11235224
035   $a(PQKBTitleCode)TC0000320467
035   $a(PQKBWorkID)10247638
035   $a(PQKB)11114212
035   $a(DE-He213)978-3-540-46236-1
035   $a(MiAaPQ)EBC3068453
035   $a(PPN)123138736
035   $a(EXLCZ)991000000000284036
100   $a20100324d2006      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTransactions on Computational Systems Biology VI$b[electronic resource] /$fedited by Gordon Plotkin
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (VII, 247 p.) 
225 1 $aTransactions on Computational Systems Biology,$x1861-2075 ;$v4220
300   $a"This issue of Transactions on Computational Systems Biology contains fully-refereed selection of papers from the Fourth International Conference on Computational Methods in Systems Biology, held in Edinburgh, Scotland, April 3-5, 2005."--Pref.
311   $a3-540-45779-8 
320   $aIncludes bibliographical references and index.
327   $aProperty-Driven Statistics of Biological Networks -- On the Computational Power of Brane Calculi -- Analysis of Signalling Pathways Using Continuous Time Markov Chains -- Machine Learning Biochemical Networks from Temporal Logic Properties -- Qualitative Petri Net Modelling of Genetic Networks -- Simulating Bacterial Transcription and Translation in a Stochastic ? Calculus -- Automated Abstraction Methodology for Genetic Regulatory Networks -- P Systems, a New Computational Modelling Tool for Systems Biology -- Equivalence of Metabolite Fragments and Flow Analysis of Isotopomer Distributions for Flux Estimation -- Multiple Representations of Biological Processes.
410  0$aTransactions on Computational Systems Biology,$x1861-2075 ;$v4220
606   $aComputers
606   $aLife sciences
606   $aBioinformatics
606   $aMathematical logic
606   $aAlgorithms
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aLife Sciences, general$3https://scigraph.springernature.com/ontologies/product-market-codes/L00004
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aBioinformatics$3https://scigraph.springernature.com/ontologies/product-market-codes/L15001
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
615  0$aComputers.
615  0$aLife sciences.
615  0$aBioinformatics.
615  0$aMathematical logic.
615  0$aAlgorithms.
615 14$aTheory of Computation.
615 24$aLife Sciences, general.
615 24$aComputation by Abstract Devices.
615 24$aBioinformatics.
615 24$aMathematical Logic and Formal Languages.
615 24$aAlgorithm Analysis and Problem Complexity.
676   $a004.0151
702   $aPlotkin$b Gordon$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aCMSB 2005$f(2005 :$eEdinburgh, Scotland)
906   $aBOOK
912   $a996466158903316
996   $aTransactions on Computational Systems Biology VI$9772553
997   $aUNISA

LEADER 01908oam  2200421   450 
001 9910704807303321
005 20140410085106.0
035   $a(CKB)5470000002445667
035   $a(OCoLC)861337630
035   $a(EXLCZ)995470000002445667
100   $a20131024d2013      ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aDraft legislation regarding authorization for use of United States armed forces in connection with the conflict in Syria $ecommunication from the President of the United States transmitting draft legislation regarding authorization for use of United States armed forces in connection with the conflict in Syria
210  1$aWashington :$cU.S. Government Printing Office,$d2013.
215   $a1 online resource (2 pages)
225 1 $aHouse document / 113th Congress, 1st session ;$v113-54
300   $aTitle from title screen (viewed on Oct. 24, 2013).
300   $a"Referred to the Committee on Foreign Affairs."
300   $a"September 6, 2013."
517   $aDraft legislation regarding authorization for use of United States armed forces in connection with the conflict in Syria 
606   $aIntervention (International law)$xGovernment policy$zUnited States
607   $aUnited States$xForeign relations$zSyria
607   $aSyria$xForeign relations$zUnited States
607   $aSyria$xPolitics and government
615  0$aIntervention (International law)$xGovernment policy
701   $aObama$b Barack$0329673
712 02$aUnited States.$bCongress.$bHouse.$bCommittee on Foreign Affairs.
801  0$bGPO
801  1$bGPO
801  2$bGPO
906   $aBOOK
912   $a9910704807303321
996   $aDraft legislation regarding authorization for use of United States armed forces in connection with the conflict in Syria$93451881
997   $aUNINA