4 द्वारा ईबुक Erik de Vink
Klaus Havelund & Jan Peleska: Formal Methods
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 …
EPUB
अंग्रेज़ी
DRM
€101.37
Ralph-Johan Back & Ion Petre: Transactions on Computational Systems Biology XIII
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 …
PDF
अंग्रेज़ी
DRM
€57.46
Ion Petre & Erik de Vink: Transactions on Computational Systems Biology XIV
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 …
PDF
अंग्रेज़ी
DRM
€57.66
Marco Bernardo & Alessandra Di Pierro: Formal Methods for Dynamical Systems
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, …
PDF
अंग्रेज़ी
DRM
€51.35
