Erik de Vink - Böcker
Visar alla böcker från författaren Erik de Vink. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Häftad, Engelska, 2018
987 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions.
535 kr
Skickas inom 10-15 vardagar
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena.This, the 13th Transactions on Computational Systems Biology volume, guest edited by Ralph-Johan Back, Ion Petre, and Erik de Vink, focuses on Computational Models for Cell Processes and features a number of carefully selected and enhanced contributions initially presented at the CompMod workshop, which took place in Eindhoven, The Netherlands, in November 2009. From different points of view and following various approaches, the papers cover a wide range of topics in systems biology, addressing the dynamics and the computational principles of this emerging field.
Transactions on Computational Systems Biology XIV
Special Issue on Computational Models for Cell Processes
Häftad, Engelska, 2012
535 kr
Skickas inom 10-15 vardagar
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena.This, the 14th Transactions on Computational Systems Biology volume, guest edited by Ion Petre and Erik de Vink, focuses on Computational Models for Cell Processes and features a number of carefully selected and enhanced contributions, initially presented at the CompMod workshop, which took place in Aachen, Germany, in September 2011. The papers, written from different points of view and following various approaches, cover a wide range of topics within the field of modeling and analysis of biological systems. In addition, two regular submissions deal with models of self-assembling systems and metabolic constraints on the evolution of genetic codes.
508 kr
Skickas inom 10-15 vardagar
This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics;