Catalog

Record Details

Catalog Search


Search Results Showing Item 34 of 43

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

Electronic resources

Record details

  • ISBN: 9783540688945
  • Physical Description: electronic
    electronic resource
    access
    remote
    X, 527 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Subject: Computer science
Computer Communication Networks
Software engineering
Logic design
Bioinformatics
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Special Purpose and Application-Based Systems
Computer Communication Networks
Computational Biology/Bioinformatics
Search Results Showing Item 34 of 43

Additional Resources