×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 276-288 (2012).
BibTeX Cite
Full Text: DOI
WorldCat.org
Fisher, Jasmin (ed.), Formal methods in systems biology. First international workshop, FMSB 2008, Cambridge, UK, June 4–5, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68410-7/pbk). Lecture Notes in Computer Science 5054. Lecture Notes in Bioinformatics, 103-122 (2008).
MSC:  92C42 92C40 05C90
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification