| |
Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically...
Editeur :
Apress
Parution :
2023-03-17
PDF, ePub
|
This book presents reference architecture as a key blueprint to develop and evolve critical software-intensive systems, emphasizing both the state of the art in research and successful industrial cases.
After outlining the theoretical foundations of reference...
Editeur :
Springer
Parution :
2023-03-14
PDF, ePub
|
Learn to write better automated tests that will dramatically increase your productivity and have fun while doing so. This book is a build-your-own adventure designed for individual reading and for collaborative workshops. You will build an xUnit automated test...
Editeur :
Apress
Parution :
2023-03-09
PDF, ePub
|
Discover the RESTful technologies, including REST, JSON, XML, JAX-RS web services, SOAP and more, for building today's Java-based microservices, big data applications, and web service applications using the Micronaut framework. This book is based on a course the...
Editeur :
Apress
Parution :
2023-03-09
PDF, ePub
|
Immerse yourself in the architecture of an Angular application, starting with an introduction to TypeScript and ES6, and progressing to modules and components used to build complex applications. This book presents a hands-on approach to becoming a proficient Angular...
Editeur :
Apress
Parution :
2023-03-09
PDF, ePub
|
Learn the value that OpenTelemetry can bring to organizations that aim to implement observability best practices, and gain a deeper understanding of how different building blocks interact with each other to bring out-of-the-box, vendor-neutral instrumentation to your...
Editeur :
Apress
Parution :
2023-03-02
PDF, ePub
|
This book introduces PYNQ, a Python-based framework from Xilinx® that makes it easier for users to build electronic systems on Xilinx platforms. The book covers the architecture of PYNQ, the design tools and methods, software and hardware design approach, as well as...
Editeur :
Springer
Parution :
2023-03-01
Collection :
SpringerBriefs in Applied Sciences and Technology
PDF, ePub
|
Start creating highly scalable apps and monitoring your Azure functions in production using Azure Functions 4.0. This book thoroughly explains durable functions for statefulness, covering the basics all the way through how to create bindings in durable functions....
Editeur :
Apress
Parution :
2023-03-01
PDF, ePub
|
Leverage the power of Svelte to quickly produce the foundations of a framework-agnostic component library that can extend and develop over time. This is a project-oriented book that simplifies setting up the skeleton of the library and adding components, using little...
Editeur :
Apress
Parution :
2023-02-24
PDF, ePub
|
Learn to create stunning animated and interactive charts using Highcharts and Angular. This updated edition will build on your existing knowledge of HTML, CSS, and JavaScript to develop impressive dashboards that will work in all modern browsers.You will learn how to...
Editeur :
Apress
Parution :
2023-02-23
PDF, ePub
|
Use this book to study for the PL-300 Microsoft Power BI Data Analyst exam. The book follows the “Skills Measured” outline provided by Microsoft to help focus your study. Each topic area from the outline corresponds to an area covered by the exam, and the book helps you...
Editeur :
Apress
Parution :
2023-02-23
Collection :
Certification Study Companion Series
PDF, ePub
|
A strategic state-of-the-art software architecture manual for all skill levels In Software Architect, veteran enterprise and solution architect Michael Bell delivers a hands-on playbook of best practices for aspiring and practicing software architects, seeking to...
Editeur :
Wiley
Parution :
2023-02-22
PDF, ePub
|
Working effectively with Apple platforms at a corporate or business level includes not only infrastructure, but a mode of thinking that administrators have to adopt to find success. A mode of thinking that forces you to leave 30 years of IT dogma at the door. This book...
Editeur :
Apress
Parution :
2023-02-21
PDF, ePub
|
Develop well-structured applications using tested techniques and patterns. When you start to develop an application, you not only have to think about the idea of the finished application, but also about how it will evolve as it is built. This book shows you how to plan...
Editeur :
Apress
Parution :
2023-02-17
PDF, ePub
|
This book is about software product lines (SPLs) designed and developed taking UML diagrams as the primary basis, modeled according to a rigorous approach composed of an UML profile and a systematic process for variability management activities, forming the...
Editeur :
Springer
Parution :
2023-02-06
PDF
|
This open access book provides information how to choose and collect the appropriate metrics for a software project in an organization. There are several kinds of metrics, based on the analysis of source code and developed for different programming paradigms such as...
Editeur :
Springer
Parution :
2023-02-06
Collection :
SpringerBriefs in Computer Science
PDF, ePub
|
Create, edit, modify and convert multimedia files using FFmpeg, the most versatile open source audio and video processing tool available for Linux, Mac and Windows users. After reading this book, you will be able to work with video and audio files, images, text,...
Editeur :
Apress
Parution :
2023-02-02
PDF, ePub
|
Gain a solid understanding of how Linux C and C++ compilers generate binary code. This book explains the reversing and binary analysis of ARM64 architecture now used by major Linux cloud providers and covers topics ranging from writing programs in assembly language,...
Editeur :
Apress
Parution :
2023-01-30
PDF, ePub
|
Review topics ranging from Intel x64 assembly language instructions and writing programs in assembly language, to pointers, live debugging, and static binary analysis of compiled C and C++ code. This book is ideal for Linux desktop and cloud developers.
Using the...
Editeur :
Apress
Parution :
2023-01-30
PDF, ePub
|
Build production-grade web apps from scratch – without using frameworks – with Kotlin on the Java platform. You’ll learn how to use and compose libraries, how to choose between different libraries, and the benefits of explicit and straight-forward code, vs. the implicit...
Editeur :
Apress
Parution :
2023-01-24
PDF, ePub
|