skip to content
Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures Preview this item
ClosePreview this item
Checking...

Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures

Author: Marco Bernardo; Pierpaolo Degano; Gianluigi Zavattaro
Publisher: Berlin ; New York : Springer, 2008.
Series: Lecture notes in computer science, 5016.; LNCS sublibrary., SL 2,, Programming and software engineering.; Lecture notes in computer science., Tutorial.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Conference papers and proceedings
Bertinoro (2008)
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Marco Bernardo; Pierpaolo Degano; Gianluigi Zavattaro
ISBN: 9783540688921 3540688927
OCLC Number: 230175096
Notes: Lectures.
Description: x, 523 pages : illustrations ; 24 cm.
Contents: Regular Lectures.- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions.- Pathway Logic.- Formal Cell Biology in Biocham.- Hierarchical Modeling for Computational Biology.- Simulation Methods in Systems Biology.- Membrane Computing as a Modeling Framework. Cellular Systems Case Studies.- Petri Nets for Systems and Synthetic Biology.- Process Algebras in Systems Biology.- The BlenX Language: A Tutorial.- BISCA Talks.- Cells in Silico: A Holistic Approach.- The Calculus of Looping Sequences.- Hybrid Systems and Biology.- ?@: A ?-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi.- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form.
Series Title: Lecture notes in computer science, 5016.; LNCS sublibrary., SL 2,, Programming and software engineering.; Lecture notes in computer science., Tutorial.
Other Titles: SFM 2008
Responsibility: Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/230175096> # Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "230175096" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/205267137#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/205267137#Topic/soft_computing> ; # Soft Computing
   schema:about <http://experiment.worldcat.org/entity/work/data/205267137#Topic/systembiologie> ; # Systembiologie
   schema:about <http://id.worldcat.org/fast/975600> ; # Integrated circuits--Verification
   schema:about <http://dewey.info/class/570.285/e22/ger/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/205267137#Topic/integrated_circuits_verification> ; # Integrated circuits--Verification
   schema:alternateName "SFM 2008" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/80511140> ; # Marco Bernardo
   schema:contributor <http://viaf.org/viaf/246807994> ; # Gianluigi Zavattaro
   schema:contributor <http://viaf.org/viaf/13034291> ; # Pierpaolo Degano
   schema:creator <http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8th_2008_bertinoro_italy> ; # International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th : 2008 : Bertinoro, Italy)
   schema:datePublished "2008" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/205267137> ;
   schema:genre "Kongress"@en ;
   schema:genre "Bertinoro (2008)"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/205267137#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/205267137#Series/tutorial> ; # Tutorial
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/205267137#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/205267137#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:name "Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures"@en ;
   schema:productID "230175096" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/230175096#PublicationEvent/berlin_new_york_springer_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/205267137#Agent/springer> ; # Springer
   schema:url <http://ezproxy.rice.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=5016> ;
   schema:url <http://catdir.loc.gov/catdir/toc/fy1002/2008927604.html> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016515605&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016515605&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=5016> ;
   schema:url <http://d-nb.info/988749904/04> ;
   schema:workExample <http://worldcat.org/isbn/9783540688921> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/230175096> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/205267137#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_8th_2008_bertinoro_italy> # International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th : 2008 : Bertinoro, Italy)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/205267137#Place/bertinoro_italy> ; # Bertinoro, Italy)
   schema:name "International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th : 2008 : Bertinoro, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/205267137#Place/bertinoro_italy> # Bertinoro, Italy)
    a schema:Place ;
   schema:name "Bertinoro, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/205267137#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/230175096> ; # Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures
   schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/205267137#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/230175096> ; # Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/205267137#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/230175096> ; # Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures
   schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/205267137#Series/tutorial> # Tutorial
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/230175096> ; # Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures
   schema:name "Tutorial" ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
   schema:name "Formal methods (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/975600> # Integrated circuits--Verification
    a schema:Intangible ;
   schema:name "Integrated circuits--Verification"@en ;
    .

<http://viaf.org/viaf/13034291> # Pierpaolo Degano
    a schema:Person ;
   schema:birthDate "1950" ;
   schema:familyName "Degano" ;
   schema:givenName "Pierpaolo" ;
   schema:name "Pierpaolo Degano" ;
    .

<http://viaf.org/viaf/246807994> # Gianluigi Zavattaro
    a schema:Person ;
   schema:familyName "Zavattaro" ;
   schema:givenName "Gianluigi" ;
   schema:name "Gianluigi Zavattaro" ;
    .

<http://viaf.org/viaf/80511140> # Marco Bernardo
    a schema:Person ;
   schema:familyName "Bernardo" ;
   schema:givenName "Marco" ;
   schema:name "Marco Bernardo" ;
    .

<http://worldcat.org/isbn/9783540688921>
    a schema:ProductModel ;
   schema:isbn "3540688927" ;
   schema:isbn "9783540688921" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/230175096> ; # Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/230175096>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/230175096> ; # Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures
   schema:dateModified "2018-03-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.