Название: Embedded Software Verification and Debugging
Автор: Djones Lettnin and Markus Winterholer
Издательство: Springer
Год: 2017
Формат: PDF, EPUB
Размер: 27,7 Мб
Язык: английский / English

This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.

Название: Introducing Disaster Recovery with Microsoft Azure: Understanding Services and Tools for Implementing a Recovery Solution
Автор: Bapi Chakraborty, Yashajeet Chowdhury
Издательство: Apress
Год: 2020
Формат: true pdf/epub
Страниц: 325
Размер: 16.9 Mb
Язык: English

Explore and learn the key building blocks of Microsoft Azure services and tools for implementing a disaster-recovery solution of any on-premises or cloud-based application. In this book, you will go through various aspects of planning, designing, and configuring a robust recovery solution on Azure.
Introducing Disaster Recovery with Microsoft Azure starts by explaining the disaster-recovery landscape and how Azure disaster recovery is different from the traditional approach. You will learn how to leverage Azure site recovery and various Azure-based services to design and implement a recovery solution and much more. Moving forward, you will design and implement various scenarios such as on-premises to Azure, Azure to Azure, and on-premises to on-premises disaster recovery.

Название: 200 Gems: To Build Programming Logic From Scratch
Автор: Mudit Seksaria
Издательство: Mudit Seksaria
Год: 2020
Страниц: 292
Язык: английский
Формат: pdf, azw3, epub
Размер: 10.1 MB

200 Gems is a compilation of two hundred coding questions and their solution written in Java to help you in your IT job interviews and your school and college academics. The questions are compiled from various sources but all the solutions are written, optimized, and thoroughly tested by me. The difficulty level varies from beginner to intermediate. The primary focus of the book is to make you acquainted with basic coding questions and how they can be solved using programming skills. Only some Java-related information is there which can help you to start writing efficient codes. This book can also be your stepping stone to competitive programming.

Название: The Latest Research: AI and Machine Learning
Автор: Harvard Business Review
Издательство: Harvard Business School Publishing
Год: 2018
Страниц: 155
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

Artificial intelligence (AI) and Machine Learning (ML) may soon drive a massive reshaping of the economy and society. But what impact is AI already making in the workplace? Is it living up to the hype? And what should your company be doing right now to ensure it is poised for success? In this collection, we’ve selected some of HBR’s most important research, analysis, and case studies on AI and Machine Learning from the past two years to help you understand what you and your colleagues need to know about machine intelligence, now. The first section, Understanding AI and Machine Learning, explains the current business potential of AI, helps you identify opportunities in your organization, and provides an inside look at how leaders in the field of AI are deploying the technology in their own companies. The next section, How AI Is Being Used Now, presents current uses of AI ranging from back-office processes in health care to research on board selection to out-of-the-box marketing products for automotive retail. Finally, The Near Future looks ahead to what’s coming next in AI, with our authors predicting that we’ll see new ways of collaborating with machines and increasing automation in more industries and job functions.

Название: Reactive Spring (Version 1.0)
Автор: Josh Long
Издательство: Leanpub
Год: 2018
Формат: true pdf/azw3
Страниц: 242
Размер: 10.4 Mb
Язык: English

Join Spring Developer Advocate Josh Long for an introduction to reactive programming and its implementation in the Spring ecosystem.
Microservices and big-data increasingly confront us with the limitations of traditional input/output. In traditional IO, work that is IO-bound dominates threads. This wouldn't be such a big deal if we could add more threads cheaply, but threads are expensive on the JVM, and most other platforms. Even if threads were cheap and infinitely scalable, we'd still be confronted with the faulty nature of networks. Things break, and they often do so in subtle, but non-exceptional ways.

Название: IC-BCT 2019: Proceedings of the International Conference on Blockchain Technology
Автор: Dhiren Patel, Sukumar Nandi
Издательство: Springer
Год: 2020
Формат: PDF
Размер: 10 Мб
Язык: английский / English

This book presents articles from the International Conference on Blockchain Technology (IC-BCT) 2019, held in Mumbai, India, and highlights recent advances in the field. It brings together researchers and industry practitioners to show case their ideas linked to business case studies, and provides an opportunity for engineers, researchers, startups and professionals in the field of Blockchain technology to further collaboration.

Название: Python Notes for Professionals: 800+ pages of professional hints and tricks
Автор: GoalKicker
Издательство: GoalKicker
Год: 2020
Формат: true pdf/rtf
Страниц: 856
Размер: 14 Mb
Язык: English

Python is a general purpose and high level programming language. You can use Python for developing desktop GUI applications, websites and web applications. Also, Python, as a high level programming language, allows you to focus on core functionality of the application by taking care of common programming tasks.

Название: MATLAB Statistics and Machine Learning Toolbox User’s Guide (R2020a)
Автор: The MathWorks, In
Издательство: The MathWorks, Inc.
Год: 2020
Формат: True PDF
Страниц: 7984
Размер: 46.7 Mb
Язык: English

Statistics and Machine Learning Toolbox™ provides functions and apps to describe, analyze, and model data. You can use descriptive statistics and plots for exploratory data analysis, fit probability distributions to data, generate random numbers for Monte Carlo simulations, and perform hypothesis tests. Regression and classification algorithms let you draw inferences from data and build predictive models.

Название: SAMonNOW – Orlando: Stop Wasting Software Asset Management $$$
Автор: Bill L. Cypert
Издательство: Independently published
Год: 2020
Страниц: 200
Язык: английский
Формат: pdf, epub
Размер: 18.1 MB

This purpose of this book is to provide an effective introduction to and roadmap for Software Asset Management (SAM) implementations leveraging the ServiceNow Orlando version. It would be impossible to address every SAM scenario as these are driven by different factors at each organization. This book should be used as a guideline in terms of procedures in the Software Asset Management space. Your organization can leverage this information as an outline in creating and refining your own SAM process. The bottom line is that your process needs to be owned by you and your organization based on best practices. Wherever possible, I have tried to stay "out of the box" as possible in terms of ServiceNow Platform and the ServiceNow SAM Professional Module. The release of this book is in line with the Orlando release of ServiceNow.

Название: Concurrency in C# Cookbook: Asynchronous, Parallel, and Multithreaded Programming Second Edition
Автор: Stephen Cleary
Издательство: O'Reilly Media
Год: 2019
Формат: true pdf/epub
Страниц: 254
Размер: 15.5 Mb
Язык: English

If you’re one of many developers still uncertain about concurrent and multithreaded development, this practical cookbook will change your mind. With more than 85 code-rich recipes in this updated second edition, author Stephen Cleary demonstrates parallel processing and asynchronous programming techniques using libraries and language features in .NET and C# 8.0.
Concurrency is now more common in responsive and scalable application development, but it’s still extremely difficult to code. The detailed solutions in this cookbook show you how modern tools raise the level of abstraction, making concurrency much easier than before.