WOW! eBook

Introducing Software Verification with Dafny Language 0

Programming / Software Development

Introducing Software Verification with Dafny Language

eBook Details: Paperback: 151 pages Publisher: WOW! eBook (March 1, 2022) Language: English ISBN-10: 1484279778 ISBN-13: 978-1484279779 eBook Description: Introducing Software Verification with Dafny Language: Proving Program Correctness Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It’s the perfect primer for software programmers and developers with C# and other programming language skills. Writing correct software can be hard, so you’ll learn the concept of...

Analytics Optimization with Columnstore Indexes in Microsoft SQL Server 1

Databases & Big Data / Networking & Server

Analytics Optimization with Columnstore Indexes in Microsoft SQL Server

eBook Details: Paperback: 299 pages Publisher: WOW! eBook (February 27, 2022) Language: English ISBN-10: 1484280474 ISBN-13: 978-1484280478 eBook Description: Analytics Optimization with Columnstore Indexes in Microsoft SQL Server: Optimizing OLAP Workloads Meet the challenge of storing and accessing analytic data in SQL Server in a fast and performant manner. This book illustrates how columnstore indexes can provide an ideal solution for storing analytic data that leads to faster performing analytic queries and the ability to ask and answer business intelligence questions with alacrity. The Analytics Optimization with Columnstore Indexes in Microsoft SQL Server book provides a complete walk through of columnstore...

Machine Learning for Auditors 0

Computer Science & Computer Engineering / Databases & Big Data

Machine Learning for Auditors

eBook Details: Paperback: 259 pages Publisher: WOW! eBook (February 27, 2022) Language: English ISBN-10: 1484280504 ISBN-13: 978-1484280508 eBook Description: Machine Learning for Auditors: Automating Fraud Investigations Through Artificial Intelligence Use artificial intelligence (AI) techniques to build tools for auditing your organization. This Machine Learning for Auditors is a practical book with implementation recipes that demystify AI, ML, and data science and their roles as applied to auditing. You will learn about data analysis techniques that will help you gain insights into your data and become a better data storyteller. The guidance in this book around applying artificial intelligence in support of...

Patterns of Software Construction 2

Software Development

Patterns of Software Construction

eBook Details: Paperback: 154 pages Publisher: WOW! eBook (March 1, 2022) Language: English ISBN-10: 1484279352 ISBN-13: 978-1484279359 eBook Description: Patterns of Software Construction: How to Predictably Build Results Master how to implement a repeatable software construction system. This Patterns of Software Construction book closely examines how a system is designed to tie a series of activities together that are needed when building software-intensive systems. Software construction and operations don’t get enough attention as a repeatable system. The world is stuck in agile backlog grooming sessions, and quality is not increasing. Companies’ budgets are shrinking, and teams need a way to get...

Wireshark Fundamentals 0

Networking & Server / Security & Encryption

Wireshark Fundamentals

eBook Details: Paperback: 272 pages Publisher: WOW! eBook (March 4, 2022) Language: English ISBN-10: 1484280016 ISBN-13: 978-1484280010 eBook Description: Wireshark Fundamentals: A Network Engineer’s Handbook to Analyzing Network Traffic Understand the fundamentals of the Wireshark tool that is key for network engineers and network security analysts. This Wireshark Fundamentals book explains how the Wireshark tool can be used to analyze network traffic and teaches you network protocols and features. Author Vinit Jain walks you through the use of Wireshark to analyze network traffic by expanding each section of a header and examining its value. Performing packet capture and analyzing network traffic...