Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, I.F.M. 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods,... | | Business Intelligence in Microsoft SharePoint 2010
Whether you are a SQL Server business intelligence (BI) developer or a SharePoint Administrator,
this book shows you how Microsoft is delivering on its commitment to provide useful, usable BI to
its customers. It provides a quick dive into new Microsoft SharePoint 2010 BI features and offerings
as well as new SQL Server BI... | | |