MPG.eBooks - Search Results - "systems biology"

Cover Image

1

Computer Aided Systems Theory - EUROCAST '91 : A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991. Pro...

Published 1992

Springer Berlin Heidelberg

Subjects: “...Computational and Systems Biology...”

Cover Image

2

Computer Aided Systems Theory - EUROCAST '93 : A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22 - 26, 19...

Published 1994

Springer Berlin Heidelberg

Subjects: “...Computational and Systems Biology...”

Cover Image

3

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “...: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology -- A Static Analysis...”