Formal Techniques for Distributed Objects, Components, and Systems: 11th International Symposium, Isbra 2015 Norfolk, USA, June 7-10, 2015 Proceedings

Harrison, Robert (Editor)/ Li, Yaohang (Editor)/ Mandoiu, Ion (Editor)

ISBN 10: 3319190474 / ISBN 13: 9783319190471

Published by Springer-Verlag New York Inc, 2015

About this Item

2015 edition. 451 pages. 9.25x6.25x1.25 inches. In Stock.

Seller Inventory # x-3319190474

Bibliographic Details

• Title: Formal Techniques for Distributed Objects, Components, and Systems: 11th International Symposium, Isbra 2015 Norfolk, USA, June 7-10, 2015 Proceedings
• Publisher: Springer-Verlag New York Inc
• Publication Date: 2015
• Language: English
• ISBN 10: 3319190474
• ISBN 13: 9783319190471
• Binding: Paperback
• Condition: Brand New

About this title

Synopsis

This book constitutes the refereed proceedings of the 11th International Symposium on Bioinformatics Research and Applications, ISBRA 2015, held in Norfolk, VA, USA, in June 2015. The 34 revised full papers and 14 two-page papers included in this volume were carefully reviewed and selected from 98 submissions. The papers cover a wide range of topics in bioinformatics and computational biology and their applications.