Physical and digital books, media, journals, archives, and databases.
Results include
  1. Artificial life X : proceedings of the Tenth International Conference on the Simulation and Synthesis of Living Systems

    Cambridge, Mass. : MIT Press, c2006.

    This work includes proceedings from the Tenth International Conference on Artificial Life, marking two decades of interdisciplinary research in this growing scientific community. "Artificial Life" is an interdisciplinary effort to investigate the fundamental properties of living systems through the simulation and synthesis of life-like processes in artificial media. The field brings a powerful set of tools to the study of how high-level behavior can arise in systems governed by simple rules of interaction. This tenth volume marks two decades of research in this interdisciplinary scientific community, a period marked by vast advances in the life sciences. The field has contributed fundamentally to our understanding of life itself through computer models, and has led to novel solutions to complex real-world problems - from disease prevention to stock market prediction - across high technology and human society. The proceedings of the biennial A-life conference - which has grown over the years from a small workshop in Santa Fe to a major international meeting - reflect the increasing importance of the work to all areas of contemporary science.

  2. Formal methods in systems biology [electronic resource] : first international workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008 : proceedings

    Berlin ; New York : Springer-Verlag, c2008.

    This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008. The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contributions. The purpose of this meeting was to identify techniques for the specification, development and verification of biological models. It also focused on the design of tools to execute and analyze biological models that can significantly advance our understanding of biological systems.

    Online SpringerLink


Course- and topic-based guides to collections, tools, and services.
No guide results found... Try a different search

Library website

Library info; guides & content by subject specialists
No website results found... Try a different search


Digital showcases for research and teaching.
No exhibits results found... Try a different search


Geospatial content, including GIS datasets, digitized maps, and census data.
No earthworks results found... Try a different search

More search tools

Tools to help you discover resources at Stanford and beyond.