Informatyka
Andrzej Indrzejczak, Marek Nowak
Metody logiki. Dedukcja to pierwsza publikacja z planowanego cyklu poświęconego najważniejszym metodom i technikom wypracowanym na gruncie nowoczesnej logiki formalnej. W dostępnych monografiach i podręcznikach z zakresu logiki zazwyczaj więcej uwagi poświęcano prezentacji materiału teoretycznego. a zamieszczano zbyt mało wskazówek pokazujących. w jaki sposób konstruować dowody. Niniejsza książka i cały planowany cykl mają wypełnić tę lukę w polskim piśmiennictwie logicznym. Autorzy opracowania przedstawiają rozmaite sposoby konstrukcji dowodów metodą dedukcji naturalnej (założeniową) w logice klasycznej. arytmetyce liczb naturalnych i teorii mnogości. Dedukcja naturalna zaprezentowana jest najpierw w sposób formalny. na przykładach z logiki klasycznej, a następnie zastosowana w nieformalnej postaci do dowodzenia tez w teoriach matematycznych. Za pomocą bogatego materiału ilustracyjnego omówiono różne strategie i techniki dowodzenia, takie jak: wprost, nie wprost, dowody warunkowe i rozgałęzione oraz dowody z wykorzystaniem indukcji matematycznej.
Metody opisu i symulacji układów elektronicznych
Jan Ogrodzki
Niniejsza monografia poświęcona jest metodom formalnego opisu układów elektronicznych i opartej na tym opisie komputerowej symulacji. W procesie projektowania i fabrykacji współczesnych układów scalonych symulacja komputerowa jest nieodzownym narzędziem wspomagającym. Przytoczono podstawowe, najbardziej rozpowszechnione modele elementów półprzewodnikowych, by na ich podstawie wprowadzić Czytelników w dziedzinę opisów matematycznych układów fizycznych. Opisy te mogą mieć postać równań algebraicznych, różniczkowych zwyczajnych lub cząstkowych, lub, co jest równoważne, sieci elektrycznej, czyli połączenia wyidealizowanych elementów elektronicznych. Monografia zajmuje się tylko układami o stałych skupionych, a więc takimi, w których długość fali sygnału zmiennego jest dużo większa od rozmiarów geometrycznych układu.
Daishi Kato
State management is one of the most complex concepts in React. Traditionally, developers have used monolithic state management solutions. Thanks to React Hooks, micro state management is something tuned for moving your application from a monolith to a microservice.This book provides a hands-on approach to the implementation of micro state management that will have you up and running and productive in no time. You’ll learn basic patterns for state management in React and understand how to overcome the challenges encountered when you need to make the state global. Later chapters will show you how slicing a state into pieces is the way to overcome limitations. Using hooks, you'll see how you can easily reuse logic and have several solutions for specific domains, such as form state and server cache state. Finally, you'll explore how to use libraries such as Zustand, Jotai, and Valtio to organize state and manage development efficiently.By the end of this React book, you'll have learned how to choose the right global state management solution for your app requirement.
Micro:bit. Nauka programowania i elektroniki dla małych oraz dużych
Witold Krieser
Zabawę w programowanie czas zacząć! Pod intrygująco brzmiącą nazwą micro:bit kryje się niewielkich rozmiarów płytka będąca mikrokontrolerem ― czy inaczej: mikrokomputerem. Sercem wielu urządzeń, takich jak różne roboty i inteligentne modele samochodów. Micro:bit stanowi punkt wyjścia dla ich konstrukcji i jest urządzeniem niezwykle często pojawiającym się przy okazji rozmaitych projektów związanych z nauką programowania ― korzystają z niego nauczyciele i uczniowie na całym świecie. Mikrokontroler micro:bit pozwala im się sprawnie uczyć i rozwiązywać pojawiające się przy okazji realizacji zadań problemy poprzez zabawę. Bo programowania, podobnie jak każdej innej dziedziny wiedzy, najlepiej uczyć się przez sprawiające radość praktykowanie. Ta książka stanowi swojego rodzaju instrukcję obsługi płytki micro:bit. Zawiera aż sześćdziesiąt gotowych projektów, z których mniej więcej jedna trzecia dotyczy samego mikrokontrolera, pozostałe zaś wymagają zastosowania modułu rozszerzeń i (lub) dodatkowych akcesoriów. Podręcznik proponuje projekty i gotowe programy korzystające z bloczków, a także z bardziej zaawansowanych języków programowania, jakimi są JavaScript i Python. Przekonaj się, że zabawa z micro:bitem jest przyjemna, stosunkowo prosta i równocześnie inspirująca ― z tym mikrokontrolerem wykonasz zarówno prosty włącznik światła, użytecznego robota, samosterujący samochód, jak i bardziej zaawansowane rozwiązania dla tzw. inteligentnego domu.
Vinicius Feitosa Pacheco
Microservices are a hot trend in the development world right now. Many enterprises have adopted this approach to achieve agility and the continuous delivery of applications to gain a competitive advantage. This book will take you through different design patterns at different stages of the microservice application development along with their best practices.Microservice Patterns and Best Practices starts with the learning of microservices key concepts and showing how to make the right choices while designing microservices. You will then move onto internal microservices application patterns, such as caching strategy, asynchronism, CQRS and event sourcing, circuit breaker, and bulkheads. As you progress, you'll learn the design patterns of microservices.The book will guide you on where to use the perfect design pattern at the application development stage and how to break monolithic application into microservices. You will also be taken through the best practices and patterns involved while testing, securing, and deploying your microservice application. At the end of the book, you will easily be able to create interoperable microservices, which are testable and prepared for optimum performance.
Vinicius Feitosa Pacheco
Microservices are a hot trend in the development world right now. Many enterprises have adopted this approach to achieve agility and the continuous delivery of applications to gain a competitive advantage. This book will take you through different design patterns at different stages of the microservice application development along with their best practices.Microservice Patterns and Best Practices starts with the learning of microservices key concepts and showing how to make the right choices while designing microservices. You will then move onto internal microservices application patterns, such as caching strategy, asynchronism, CQRS and event sourcing, circuit breaker, and bulkheads. As you progress, you'll learn the design patterns of microservices.The book will guide you on where to use the perfect design pattern at the application development stage and how to break monolithic application into microservices. You will also be taken through the best practices and patterns involved while testing, securing, and deploying your microservice application. At the end of the book, you will easily be able to create interoperable microservices, which are testable and prepared for optimum performance.
Fiodar Sazanavets
Explore gRPC's capabilities for faster communication between your microservices using the HTTP/2 protocol in this practical guide that shows you how to implement gRPC on the .NET platform.gRPC is one of the most efficient protocols for communication between microservices that is also relatively easy to implement. However, its official documentation is often fragmented and.NET developers might find it difficult to recognize the best way to map between C# data types and fields in gRPC messages. This book will address these concerns and much more. Starting with the fundamentals of gRPC, you'll discover how to use it inside .NET apps. You’ll explore best practices for performance and focus on scaling a gRPC app. Once you're familiar with the inner workings of the different call types that gRPC supports, you'll advance to learning how to secure your gRPC endpoints by applying authentication and authorization.With detailed explanations, this gRPC .NET book will show you how the Protobuf protocol allows you to send messages efficiently by including only the necessary data. You'll never get confused again while translating between C# data types and the ones available in Protobuf.By the end of the book, you’ll have gained practical gRPC knowledge and be able to use it in .NET apps to enable direct communication between microservices.
Microservices Deployment Cookbook. Deploy and manage scalable microservices
Vikram Murugesan
This book will help any team or organization understand, deploy, and manage microservices at scale. It is driven by a sample application, helping you gradually build a complete microservice-based ecosystem. Rather than just focusing on writing a microservice, this book addresses various other microservice-related solutions: deployments, clustering, load balancing, logging, streaming, and monitoring.The initial chapters offer insights into how web and enterprise apps can be migrated to scalable microservices. Moving on, you’ll see how to Dockerize your application so that it is ready to be shipped and deployed. We will look at how to deploy microservices on Mesos and Marathon and will also deploy microservices on Kubernetes. Next, you will implement service discovery and load balancing for your microservices. We’ll also show you how to build asynchronous streaming systems using Kafka Streams and Apache Spark. Finally, we wind up by aggregating your logs in Kafka, creating your own metrics, and monitoring the metrics for the microservice.
Microservices Deployment Cookbook. Deploy and manage scalable microservices
Vikram Murugesan
This book will help any team or organization understand, deploy, and manage microservices at scale. It is driven by a sample application, helping you gradually build a complete microservice-based ecosystem. Rather than just focusing on writing a microservice, this book addresses various other microservice-related solutions: deployments, clustering, load balancing, logging, streaming, and monitoring.The initial chapters offer insights into how web and enterprise apps can be migrated to scalable microservices. Moving on, you’ll see how to Dockerize your application so that it is ready to be shipped and deployed. We will look at how to deploy microservices on Mesos and Marathon and will also deploy microservices on Kubernetes. Next, you will implement service discovery and load balancing for your microservices. We’ll also show you how to build asynchronous streaming systems using Kafka Streams and Apache Spark. Finally, we wind up by aggregating your logs in Kafka, creating your own metrics, and monitoring the metrics for the microservice.
Microservices Deployment Cookbook. Deploy and manage scalable microservices
Vikram Murugesan
This book will help any team or organization understand, deploy, and manage microservices at scale. It is driven by a sample application, helping you gradually build a complete microservice-based ecosystem. Rather than just focusing on writing a microservice, this book addresses various other microservice-related solutions: deployments, clustering, load balancing, logging, streaming, and monitoring.The initial chapters offer insights into how web and enterprise apps can be migrated to scalable microservices. Moving on, you’ll see how to Dockerize your application so that it is ready to be shipped and deployed. We will look at how to deploy microservices on Mesos and Marathon and will also deploy microservices on Kubernetes. Next, you will implement service discovery and load balancing for your microservices. We’ll also show you how to build asynchronous streaming systems using Kafka Streams and Apache Spark. Finally, we wind up by aggregating your logs in Kafka, creating your own metrics, and monitoring the metrics for the microservice.
Trevoir Williams
Are you a developer seeking practical, up-to-date insights into designing scalable and resilient microservices? Microservices Design Patterns in .NET, Second Edition provides a comprehensive exploration of modern microservices using C# 14 and .NET 10.This edition expands on core patterns such as CQRS, event sourcing, and Saga, while introducing advanced concepts such as observability with OpenTelemetry, zero-trust security, and container-based workflows.You’ll explore both synchronous and asynchronous communication, apply domain-driven design to define service boundaries, and manage data consistency using proven persistence strategies. The book also guides you through container hosting, serverless functions, and production-ready deployment pipelines.By the end of this book, you’ll know how to design and deploy secure, maintainable, and resilient microservices that fit perfectly in modern cloud ecosystems.Free with your book: DRM-free PDF version + access to Packt's next-gen Reader*