Erik de Vink – författare
Visar alla böcker från författaren Erik de Vink. Handla med fri frakt och snabb leverans.
8 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
Av Klaus Havelund, Jan Peleska m. fl.
Häftad, 2018
1017 kr
Lägg i varukorg
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. They present formal methods for …
Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Av Erik de Vink, Bill Roscoe m. fl.
E-bok, 2018
1306 kr
Lägg i varukorg
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. They present formal methods for …
Transactions on Computational Systems Biology XIII
Av Ralph-Johan Back, Ion Petre m. fl.
Häftad, 2011
552 kr
Lägg i varukorg
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 …
Transactions on Computational Systems Biology XIII
Av Erik de Vink, Ion Petre m. fl.
E-bok, 2011
718 kr
Lägg i varukorg
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 …
Transactions on Computational Systems Biology XIV
Special Issue on Computational Models for Cell Processes
Häftad, 2012
552 kr
Lägg i varukorg
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 …
Transactions on Computational Systems Biology XIV
Special Issue on Computational Models for Cell Processes
E-bok, 2012
718 kr
Lägg i varukorg
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 …
Formal Methods for Dynamical Systems
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Av Marco Bernardo, Erik de Vink m. fl.
Häftad, 2013
523 kr
Lägg i varukorg
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 …
Formal Methods for Dynamical Systems
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Av Herbert Wiklicky, Alessandra Di Pierro m. fl.
E-bok, 2013
652 kr
Lägg i varukorg
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 …
