FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Programming, Software Development, General Computing
Big bigCover of FM 2016: Formal Methods

More books from Springer International Publishing

bigCover of the book Social Networks: A Framework of Computational Intelligence by
bigCover of the book Smartphone-Based Human Activity Recognition by
bigCover of the book The Ethics of Citizenship in the 21st Century by
bigCover of the book Big Data-Enabled Nursing by
bigCover of the book Advances in Web-Based Learning -- ICWL 2015 by
bigCover of the book Machine Learning and Data Mining in Pattern Recognition by
bigCover of the book Quantum Physics in the Nanoworld by
bigCover of the book Information- and Communication Theory in Molecular Biology by
bigCover of the book Advances in Geroscience by
bigCover of the book Soda Lakes of East Africa by
bigCover of the book Granular Computing in Decision Approximation by
bigCover of the book Niels Bohr, 1913-2013 by
bigCover of the book Economics of Unconventional Shale Gas Development by
bigCover of the book New Directions in Third Wave Human-Computer Interaction: Volume 2 - Methodologies by
bigCover of the book Big Data for Urban Sustainability by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy