The Art of Algorithm Design
The Art of Algorithm Design is a complementary perception of all books on algorithm design and is a roadmap for all levels of learners as well as professionals dealing with algorithmic problems. Further, the book provides a comprehensive introduction to algorithms and covers them in considerable depth, yet makes their design and analysis accessible to all levels of readers. All algorithms are described and designed with a "pseudo-code" to be readable by anyone with little knowledge of programming.This book comprises of a comprehensive set of problems and their solutions against each algorithm to demonstrate its executional assessment and complexity, with an objective to: Understand the introductory concepts and design principles of algorithms and their complexities Demonstrate the programming implementations of all the algorithms using C-Language Be an excellent handbook on algorithms with self-explanatory chapters enriched with problems and solutions While other books may also cover some of the same topics, this book is designed to be both versatile and complete as it traverses through step-by-step concepts and methods for analyzing each algorithmic complexity with pseudo-code examples. Moreover, the book provides an enjoyable primer to the field of algorithms.This book is designed for undergraduates and postgraduates studying algorithm design.
Kubernetes - An Enterprise Guide - Third Edition
Elevate your Kubernetes expertise with seamless Istio integration, cutting-edge security insights, advanced CI/CD strategies, robust Prometheus and Grafana monitoring, all while excelling in multitenancy, secrets management, and global load balancing for exceptional proficiency.Key Features: - Focuses on what you need to run Kubernetes in an Enterprise environment, based on real-world experience- Learn how to secure clusters by adding runtime security and enhancing secrets management using direct pod mounting and Vault integration- Get a firm command of Kubernetes from a dual perspective of an admin as well as a developerBook Description: Stay at the forefront of cloud-native technologies with the eagerly awaited 'Kubernetes - An Enterprise Guide, Third Edition.' Delve deep into Kubernetes and emerge with the latest insights to conquer today's dynamic enterprise challenges.This meticulously crafted edition equips you with the latest insights to skillfully navigate the twists and turns of ever-evolving cloud technology. Experience a more profound exploration of advanced Kubernetes deployments, revolutionary techniques, and expert strategies that redefine your cloud-native skillset. Discover cutting-edge topics reshaping the technological frontier like virtual clusters, container security, and secrets management. Gain an edge by mastering these critical aspects of Kubernetes and propelling your enterprise to new heights.Expertly harness Kubernetes' power for business-critical applications with insider techniques. Smoothly transition to microservices with Istio, excel at modern deployments with GitOps/CI/CD and bolster security with OPA/Gatekeeper and KubeArmor. Integrate Kubernetes with leading tools for maximum impact in a competitive landscape. Stay ahead of the technology curve with cutting-edge strategies for innovation and growth.Redefine cloud-native excellence with this definitive guide to leveraging Kubernetes. Pre-order now for a transformative journey.What You Will Learn: - Learn to manage secrets with Vault and External Secret Operator- Create multitenant clusters with vCluster for isolated environments- Monitor clusters with Prometheus and visualize metrics using Grafana- Aggregate and analyze logs centrally with OpenSearch for insights- Build a developer platform integrating GitLab and ArgoCD for CI/CD- Deploy apps in Istio service mesh and secure with OPA and GateKeeper- Secure your container runtime and halt hackers in their tracks with KubeArmor- Set up KinD clusters and optimize access with Ingress and MetalLBWho this book is for: Tech enthusiasts, DevOps aficionados, and those keen on mastering containerization will revel in the insights offered by this book. Designed for DevOps engineers, developers, and system administrators seeking to amplify their IT journey, this guide is your gateway to next-level Kubernetes expertise. While some familiarity with Docker and Kubernetes is advantageous, fear not if you're new to these concepts. A Kubernetes bootcamp is thoughtfully included, ensuring a seamless learning experience for beginners and those in need of a refresher.Table of Contents- Docker and Container Essentials- Deploying Kubernetes Using KinD- Kubernetes Bootcamp- Services, Load Balancing, and Network Policies- External DNS and Global Load Balancing- Integrating Authentication into Your Cluster(N.B. Please use the Read Sample option to see further chapters)
Machine Learning and Generative AI for Marketing
Start transforming your data-driven marketing strategies and increasing customer engagement. Learn how to create compelling marketing content using advanced gen AI techniques and stay in touch with the future AI ML landscape.Purchase of the print or Kindle book includes a free eBook in PDF formatKey Features: - Enhance customer engagement and personalization through predictive analytics and advanced segmentation techniques- Combine Python programming with the latest advancements in generative AI to create marketing content and address real-world marketing challenges- Understand cutting-edge AI concepts and their responsible use in marketingBook Description: In the dynamic world of marketing, the integration of artificial intelligence (AI) and machine learning (ML) is no longer just an advantage-it's a necessity. Moreover, the rise of generative AI (gen AI ) helps the creation of highly personalized, engaging content that resonates with the target audienceThis book provides a comprehensive toolkit for harnessing the power of gen AI to craft marketing strategies that not only predict customer behaviors but also captivate and convert, leading to improved cost per acquisition, boosted conversion rates, and increased net salesStarting with the basics of Python for data analysis and progressing to sophisticated ML and gen AI models, this book is your comprehensive guide to understanding and applying AI to enhance marketing strategies. Through engaging content and hands-on examples, you'll learn to harness the capabilities of AI to unlock deep insights into customer behaviors, craft personalized marketing messages, and drive significant business growth. Additionally, you'll explore the ethical implications of AI, ensuring that your marketing strategies are not only effective but also responsible and compliant with current standardsBy the conclusion of this book, you'll be equipped to design, launch, a nd manage marketing campaigns that are not just successful but also cutting-edge.What You Will Learn: - Master key marketing KPIs with advanced computational techniques- Use explanatory data analysis to drive marketing decisions- Leverage ML models to predict customer behaviors, engagement levels, and customer lifetime value- Enhance customer segmentation with ML and develop highly personalized marketing campaigns- Design and execute effective A/B tests to optimize your marketing decisions- Apply natural language processing (NLP) to analyze customer feedback and sentiments- Integrate ethical AI practices to maintain privacy in data-driven marketing strategiesWho this book is for: This book targets a diverse group of professionals: - Data scientists and analysts in the marketing domain looking to apply advanced AI ML techniques to solve real-world marketing challenges- Machine learning engineers and software developers aiming to build or integrate AI-driven tools and applications for marketing purposes- Marketing professionals, business leaders, and entrepreneurs who must understand the impact of AI on marketing- Reader are presumed to have a foundational proficiency in Python and a basic to intermediate grasp of ML principles and data science methodologiesTable of Contents- The Evolution of Marketing in the AI Era & Preparing Your Toolkit- Decoding Marketing Performance with KPIs- Unveiling the Dynamics of Marketing Success- Harnessing Seasonality and Trends for Strategic Planning- Enhancing Customer Insight with Sentiment Analysis- Leveraging Predictive Analytics and A/B Testing for Customer Engagement(N.B. Please use the Read Sample option to see further chapters)
System Design Guide for Software Professionals
Enhance your system design skills to build scalable and efficient systems by working through real-world case studies and expert strategies to excel in interviewsKey Features: - Comprehensive coverage of distributed systems concepts and practical system design techniques.- Insider tips and proven strategies from engineering leaders at top tech companies.- Detailed case studies of widely used applications and their system architectures.- Purchase of the print or Kindle book includes a free PDF eBookBook Description: Building scalable software systems is more critical than ever. Yet, many software professionals struggle to navigate the complexities of system design, especially when aiming for positions at top tech companies. Written by Dhirendra Sinha, a seasoned Engineering Leader at Google with a blend of experience working at large companies such as Cisco, Oracle, and Yahoo, and Tejas Chopra, a Senior Software Engineer at Netflix, a TEDx speaker, and a Co-Founder of GoEB1, this comprehensive and authoritative resource on system design offers invaluable insights and strategies to help you excel in interviews with all major tech companies.This guide covers the basics of system design, including the principles and techniques of distributed systems, and delves into core building blocks such as distributed system theorems, attributes, and the design and implementation of system components. Following examples of popular applications such as Uber, Twitter, Instagram, Google Docs, and Netflix, you'll learn how to apply concepts to real-world scenarios. The book offers expert advice and strategies for preparing and acing system design interviews, along with a mind map/cheat sheet summarizing the key takeaways.By the end of this book, you'll be equipped with unique techniques and the confidence to solve any coding interview question.What You Will Learn: - Design for scalability and efficiency with expert insights- Apply distributed system theorems and attributes- Implement DNS, databases, caches, queues, and APIs- Analyze case studies of real-world systems- Discover tips to excel in system design interviews with confidence- Apply industry-standard methodologies for system design and evaluation- Explore the architecture and operation of cloud-based systemsWho this book is for: This book is a must-have resource for experienced software professionals, particularly those with 5-15 years of experience in building scalable distributed systems, web applications, and backend microservices. Whether you're a seasoned developer or an architect looking to deepen your expertise in system design, this book provides the insights and practical knowledge you need to excel in tech interviews and advance your career. A solid foundation in distributed systems, data structures/algorithms, and web development will help you get the most out of this comprehensive guide.Table of Contents- Basics of System Design- Distributed System Attributes- Distributed Systems Theorems and Data Structures- Distributed Systems Building Blocks: DNS, Load Balancers, and Application Gateways- Design and Implementation of System Components - Databases and Storage- Distributed Cache- Pub/Sub and Distributed Queues- Design and Implementation of System Components: API, Security, and Metrics- System Design - URL Shortener- System Design - Proximity Service- Designing a Service Like Twitter- Designing a Service Like Instagram- Designing a Service Like Google Docs- Designing a Service Like Netflix- Tips for Interviewees- System Design Cheat Sheet
Soft Computing in Renewable Energy Technologies
This book addresses and disseminates state-of-the-art research and development in the applications of soft computing techniques for renewable energy systems. In addition, our book can be considered as a reference for researchers and academics, since it will include applications of soft computing in different renewable energy systems.
Knowledge Based Program Construction II
No detailed description available for "Knowledge Based Program Construction II".
The Design and Construction of Deadlock-Free Concurrent Systems
It is a difficult task to produce software that is guaranteed never to fail, but it is a vital goal for which to strive in many real-life situations. The problem is especially complex in the field of parallel programming, where there are extra things that can go wrong. A particularly serious problem is deadlock. Here, we consider how to construct systems that are guaranteed deadlock-free by design.Design rules, old and new, that eliminate deadlock are catalogued and their theoretical foundation illuminated. Then the development of a software engineering tool is described, which proves deadlock freedom by verifying adherence to these methods. The use of this tool is illustrated with several case studies.The thesis concludes with a discussion of related issues of parallel program reliability.
Modern Algorithms for Large Sparse Eigenvalue Problems
No detailed description available for "Modern Algorithms for Large Sparse Eigenvalue Problems".
Secure Data Science
This book is a useful resource for researchers, software developers, educators and managers who want to understand both the high level concepts as well as the technical details on the design and implementation of secure data science-based systems. It can also be used as a reference book for a graduate course in Secure Data Science.
A Software Development Approach for Driving Competitiveness in Small Firms
This book tells the story of the entrepreneurial journey that small firms should take to deliver high-quality software products. By utilizing practical examples and providing several recommended solutions to decrease the likelihood of producing low quality software.
Lizard Optimization
Lizard Optimization is a technique for designing product development experiments by engaging long-tail users that seem to follow some unexplainable "lizard" logic. It can help you understand your audience better and improve your products.The method is based on the author's experience managing an online software product that grew explosively from November 2021 to November 2022. The key user metric, tracking when people are getting value from the product, increased by more than 500 times in those 12 months (times, not percent). This happened after a period of unremarkable growth and a slow decline. Looking back, the key factor in reversing the decline and unlocking exponential growth was a counter-intuitive approach to engaging users.This book is a summary of the key lessons from that crazy growth phase, synthesized into a simple process that you can apply to improve your products, and help you unlock growth, reduce churn and increase revenue. Who should read this book?This book is primarily for software product managers, product data scientists, senior engineers and anyone else involved in product management and guidance.If your role involves coming up with new feature ideas, approving or rejecting proposed changes, or supporting people who do, this is a book for you.How can Lizard Optimization help you?If your product is still looking for a market, Lizard Optimization can help you find it sooner. For products that need to grow their user base, this technique can help you reduce churn and keep customers engaged for longer. For more mature products, Lizard Optimization could uncover new feature ideas, engage overlooked categories of users, and help you address larger markets. It can also reveal interesting ideas for increasing customer lifetime value. AuthorGojko Adzic is a partner at Neuri Consulting LLP. He is one of the 2019 AWS Serverless Heroes, the winner of the 2016 European Software Testing Outstanding Achievement Award, and the 2011 Most Influential Agile Testing Professional Award. Gojko's book Specification by Example won the Jolt Award for the best book of 2012, and his blog won the UK Agile Award for the best online publication in 2010.Gojko is a frequent speaker at software development conferences and one of the founders of MindMup and Narakeet.
8051 Microcontroller- Programming and Practice
This brings us to the "8051 Microcontroller - Programming and Practice." This is a book aimed at introducing the reader to the 8051 microcontrollers. Written to both programming and application development, this book intends to teach its readers how to utilize the potentials of 8051 microcontroller in their projects. The 8051 microcontroller is well known for its performance, flexibility, and reliability, and has been widely used in embedded systems for many years now. The fact that electronics and industrial automation is replete with applications invoking the Fourier transform underlines its relevance to present day society. By gaining proper knowledge and having control over all those details of 8051 microcontroller programming, one gets the gateway to explore numerous ideas and construct unique solutions and applications.
Mastering Git - Second Edition
Harness the full power of the Git version control system, gaining insights into Git best practices and strengthening your understanding of its architecture, underlying concepts, and behaviorKey Features: - Set up Git for solo and collaborative development as well as for code, documentation, configuration, or data- Leverage the Git version control system to customize and extend existing recipes, and write your own- Discover how to efficiently manage large and complex repositories- Purchase of the print or Kindle book includes a free PDF eBookBook Description: Developers often feel overwhelmed by complex version control issues, especially when managing large repositories. This updated second edition of our Git guide empowers you to tackle these challenges head-on and emerge as a Git pro.The book gets you up to speed with the latest Git version, its features, and advanced branching techniques, helping you master complex development scenarios. A new chapter on tackling challenges while managing large repositories has been added, providing invaluable strategies for efficient version control with Git. The book goes beyond the basics to take you through Git's architecture, behavior, and best practices in depth. The chapters help you develop a clear understanding of customizing workflows, creating unique solutions, and tackling any version control hurdle. As you advance, you'll explore a wide range of functionalities, from examining project history to collaborating seamlessly with teammates. Detailed descriptions guide you through managing your work, collaborating with others, administering Git, and navigating project history.By the end of this book, you'll have become a Git pro and be confident enough to handle advanced branching, manage large repositories, customize workflows, collaborate effectively, and troubleshoot any version control issues.What You Will Learn: - Explore project history and find revisions using different criteria- Manage your working directory and staging area- Set up repositories and branches for collaboration- Configure and set up support for the chosen workflow- Submit your own contributions and integrate contributions made by others- Customize Git behavior system-wide, from per-user to per-file basis- Perform Git administration to set up and manage repositories Who this book is for: This book is for developers looking to elevate their Git skills beyond the basics. Whether you're a seasoned developer or just getting started with version control, this book will help you leverage Git for efficient collaboration, code management, and improved workflows. The book also equips DevOps professionals with the knowledge they need to configure Git for seamless integration within DevOps workflows, enabling smoother collaboration between development and operations teams.Table of Contents- Git Basics in Practice- Developing with Git- Managing Your Worktrees- Exploring Project History- Searching Through the Repository- Collaborative Development with Git- Publishing Your Changes- Advanced Branching Techniques- Merging Changes Together- Keeping History Clean- Managing Subprojects- Managing Large Repositories- Customizing and Extending Git- Git Administration- Git Best Practices
Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops
This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6-10, 2023 The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions. SEFM 2023 Collocated Workshops presents the following two workshops: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023) 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023)
15 Math Concepts Every Data Scientist Should Know
Create more effective and powerful data science solutions by learning when, where, and how to apply key math principles that drive most data science algorithmsKey Features: - Understand key data science algorithms with Python-based examples- Increase the impact of your data science solutions by learning how to apply existing algorithms- Take your data science solutions to the next level by learning how to create new algorithms- Purchase of the print or Kindle book includes a free PDF eBookBook Description: Data science combines the power of data with the rigor of scientific methodology, with mathematics providing the tools and frameworks for analysis, algorithm development, and deriving insights. As machine learning algorithms become increasingly complex, a solid grounding in math is crucial for data scientists. David Hoyle, with over 30 years of experience in statistical and mathematical modeling, brings unparalleled industrial expertise to this book, drawing from his work in building predictive models for the world's largest retailers.Encompassing 15 crucial concepts, this book covers a spectrum of mathematical techniques to help you understand a vast range of data science algorithms and applications. Starting with essential foundational concepts, such as random variables and probability distributions, you'll learn why data varies, and explore matrices and linear algebra to transform that data. Building upon this foundation, the book spans general intermediate concepts, such as model complexity and network analysis, as well as advanced concepts such as kernel-based learning and information theory. Each concept is illustrated with Python code snippets demonstrating their practical application to solve problems.By the end of the book, you'll have the confidence to apply key mathematical concepts to your data science challenges.What You Will Learn: - Master foundational concepts that underpin all data science applications- Use advanced techniques to elevate your data science proficiency- Apply data science concepts to solve real-world data science challenges- Implement the NumPy, SciPy, and scikit-learn concepts in Python- Build predictive machine learning models with mathematical concepts- Gain expertise in Bayesian non-parametric methods for advanced probabilistic modeling- Acquire mathematical skills tailored for time-series and network data typesWho this book is for: This book is for data scientists, machine learning engineers, and data analysts who already use data science tools and libraries but want to learn more about the underlying math. Whether you're looking to build upon the math you already know, or need insights into when and how to adopt tools and libraries to your data science problem, this book is for you. Organized into essential, general, and selected concepts, this book is for both practitioners just starting out on their data science journey and experienced data scientists.Table of Contents- Recap of Mathematical Notation and Terminology- Random Variables and Probability Distributions- Matrices and Linear Algebra- Loss Functions and Optimization- Probabilistic Modeling- Time Series and Forecasting- Hypothesis Testing- Model Complexity- Function Decomposition- Network Analysis- Dynamical Systems- Kernel Methods- Information Theory- Non-Parametric Bayesian Methods- Random Matrices
Python 3, Essentials for Beginners, Volume 1
Master Python ProgrammingDiscover a top-rated Python programming course with our beginner-friendly book, designed for Python 3. This clear and concise guide provides essential information without overwhelming details. Perfect for middle and high school students, college students, educators, and anyone passionate about coding. This is the most popular Python course in Romania, a best seller on the educational market! Whether you're new to programming or have some experience, this book is tailored to help you become a skilled Python programmer. Start your coding journey today!Who is this course for?★ Middle school and high school students★ Computer Science and IT teachers★ Students at relevant faculties★ Anyone interested in learning the Python language★ Anyone who wants to start with an easy-to-learn programming language★ Learn a new programming language at any age!Why Learn Python?The Python language is widely used today, being very popular, easy to learn, and user-friendly. Python is free, open-source, and strongly object-oriented. It is simple and minimalist, close to pseudocode, allowing you to focus on solving the problem rather than on the language itself. Starting from middle school, students learn programming at school. Unlike other languages, Python 3 has simplified syntax, making it much easier to write code! It is perfect for beginners, user-friendly, and future-oriented. Embark on your Python programming journey today and transform your skills with "Python 3, Essentials for Beginners, Volume 1". Get your copy now and start coding with confidence!
Azure Bicep QuickStart Pro
"Azure Bicep QuickStart Pro" is a handy reference for getting up and running with the Azure Bicep platform and deploying your first projects quickly and easily. Starting with the basics, this book walks you through the syntax of JSON and the templates available in Azure Resource Manager (ARM). With Bicep's declarative syntax and structure, you'll be up and running in no time, making infrastructure code management a breeze.Parameters, conditions, and loops are some of the Bicep features that you will learn how to use to manage infrastructure deployments. Reusable module definition, decomposing complicated deployments into manageable components, and Bicep integration with CI/CD pipelines are all covered in the book. You will automate deployments and maintain consistency across development, staging, and production environments by utilizing GitHub Actions and Azure DevOps. To deal with deployment failures and minimize downtime, the book offers rollback and rollforward strategies, which are based on real-world problems.Additionally, Blue-Green Deployments are covered, which involve running two identical production environments to reduce risk during updates. Managing dependencies, securely handling secrets, and monitoring and auditing your deployments are all within your reach with the help of practical solutions and troubleshooting techniques. When you finish this book, you will be able to confidently and efficiently deploy Azure resources.Key LearningsLearn the ins and outs of Azure deployments using ARM templates written in JSON syntax.Efficiently manage your infrastructure by mastering Bicep's declarative syntax.Create a system of parameters, conditions, and loops to deploy resources dynamically.Decompose complex deployments into Bicep modules that can be reused.Create CI/CD pipelines to automate deployments with Azure DevOps and GitHub Actions.Distribute to various environments to ensure uniformity in staging, production, and development.Master the art of handling deployment failures with rollback and rollforward strategies.Make use of Blue-Green Deployments to reduce update risk.Use Azure Key Vault to safely store sensitive information in Bicep templates.
Neural-Symbolic Learning and Reasoning
This book constitutes the refereed proceedings of the 18th International Conference on Neural-Symbolic Learning and Reasoning, NeSy 2024, held in Barcelona, Spain during September 9-12th, 2024. The 30 full papers and 18 short papers were carefully reviewed and selected from 89 submissions, which presented the latest and ongoing research work on neurosymbolic AI. Neurosymbolic AI aims to build rich computational models and systems by combining neural and symbolic learning and reasoning paradigms. This combination hopes to form synergies among their strengths while overcoming their complementary weaknesses.
Neural-Symbolic Learning and Reasoning
This book constitutes the refereed proceedings of the 18th International Conference on Neural-Symbolic Learning and Reasoning, NeSy 2024, held in Barcelona, Spain during September 9-12th, 2024. The 30 full papers and 18 short papers were carefully reviewed and selected from 89 submissions, which presented the latest and ongoing research work on neurosymbolic AI. Neurosymbolic AI aims to build rich computational models and systems by combining neural and symbolic learning and reasoning paradigms. This combination hopes to form synergies among their strengths while overcoming their complementary weaknesses.
Tools and Skills for .NET 8
Elevate your career by mastering key .NET tools and skills, including debugging, source code management, testing, cloud-native development, intelligent apps and more.Purchase of the print or Kindle book includes a free PDF eBook.Key features: - Coverage of key .NET tools and skills including refactoring, source code management, debugging, memory troubleshooting, and more- Practical guidance on using code editors effectively, implementing best practices, and protecting data- Explore cutting-edge techniques like building intelligent apps, cloud native development with .NET Aspire, and Docker containerizationBook Description: Unlock the full potential of .NET development with Tools and Skills for .NET 8.Dive into source code management using Git and learn how to navigate projects while ensuring version control. Discover advanced debugging techniques and troubleshooting strategies to identify and resolve issues, and gain practical insights on documenting your code, APIs, and services, fostering project clarity and maintainability. Delve into the world of cryptography, ensuring confidentiality and integrity throughout your development lifecycle.Elevate your skills as you explore cutting-edge topics such as building intelligent apps using custom LLM-based chat services, mastering dependency injection, optimizing performance through testing, and Docker containerization. Harness the power of cloud-native development with .NET Aspire, unlocking the benefits of modern cloud platforms. With guidance on software architecture best practices, this book empowers you to build robust, scalable and maintainable applications.Advance your career with invaluable insights on job readiness and interview preparation, positioning yourself as a top-tier candidate in today's competitive job market.Whether you're a seasoned .NET professional or an aspiring developer looking to enhance your skills, this book is your ultimate companion on the journey to .NET mastery.What You Will Learn: - Make the most of code editor tools for efficient development- Learn advanced debugging techniques and troubleshooting strategies- Understand how to protect data and applications using cryptography- Build a custom LLM-based chat service- Discover how to master dependency injection- Optimize performance through benchmarking and testing- Delve into cloud-native development using .NET Aspire- Advance your career with advice on job readiness and interviewsWho this book is for: .NET professionals seeking to enhance their expertise, as well as aspiring developers aiming to advance their careers in the field. This book caters to individuals eager to master essential .NET tools, refine their development practices, explore advanced techniques and cutting-edge tools, and prepare themselves for job opportunities and interviews in the competitive landscape of .NET developmentTable of Contents- Introducing Tools and Skills for .NET- Making the Most of the Tools in your Code Editor- Source Code Management Using Git- Debugging and Memory Troubleshooting- Alerts, Metrics, and Logging for Observability- Documenting Code, APIs, and Services- Observing and Modifying Code Execution Dynamically- Protecting Data and Apps Using Cryptography- Building a Custom LLM-based Chat Service- Dependency Injection, Containers and Service Lifetime- Unit Testing and Mocking- Integration and Security Testing- Benchmarking Performance, Load, and Stress Testing- (N.B. Please use the Read Sample option to see further chapters)
Formal Methods
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows: Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.
C# 12 for Cloud, Web, and Desktop Applications
DESCRIPTION The world of application development is constantly changing with the rise of open-source languages and technologies. Since Microsoft made the .NET platform and C# open-source in 2014, a vibrant community of developers has contributed to the language's evolution on GitHub. Microsoft releases a new version of .NET every year, leading to newer patterns, frameworks, and design approaches in active application development. Learn C# 11 & 12 and use Entity Framework Core for data management. Explore cloud development with Azure Functions, Azure SQL Database, Cosmos DB, and Blob Storage. Implement async communication with Azure Service Bus and secure apps with Azure Key Vault. Build web apps with Blazor and ASP.NET, and add real-time features with SignalR. Discover microservices with Web APIs, and streamline your workflow using Azure DevOps and Docker. Develop applications for mobile, desktop, and Windows with .NET MAUI, Blazor Hybrid, and WinUI.Upon completion, readers will have a solid understanding of the latest C# features and how they fit into current design approaches. The book is not intended to be an exhaustive reference on the subject, but rather a jumping-off point for developers with some experience to begin working with the newest concepts. WHAT YOU WILL LEARN● Learning the fundamentals of C# 12 programming language.● Understanding advanced concepts like LINQ and asynchronous programming.● Building web applications using ASP.NET Core, MVC and Blazor.● Crafting cross-platform desktop applications using .NET MAUI.● Unit testing using NUnit for robust code validation. WHO THIS BOOK IS FORThis book is geared towards intermediate to advanced .NET developers and software engineers seeking to expand their skill set in building modern cloud-based applications, web apps, and mobile experiences.
Spring Boot 3.0 Crash Course
This Spring Boot 3.0 Crash Course will teach you all you need to know to create powerful Spring applications with the latest version of the framework. You will be able to create any feature that an application may require because this book covers everything from the fundamentals to advanced features.First things first: get your development environment ready and build your very first Spring Boot App. Data access, security, configuration, and testing are some of the more advanced subjects you'll cover as you go along. This crash course will teach you how to create RESTful services, use Spring Data JPA to integrate different types of data, and work with properties and YAML files to oversee configurations. You practice to manage application properties, get into the application of annotations, and master the Spring MVC architecture. It will teach you to manage form submissions, validate user input, and construct dynamic web pages using Thymeleaf templates. The book also covers topics like integrating front-end frameworks, handling errors, and deploying applications to cloud platforms and Kubernetes.Issues with configuring URL authorization, implementing JWT authentication, and integrating with OAuth2 and OpenID Connect are some of the critical problems that are being solved in this book. Methods for troubleshooting auto-configuration issues, managing environment variables in Docker, and making use of performance testing tools such as JMeter are all topics that will be covered. Additionally, the book delves into the topic of how to integrate with Active Directory and LDAP for centralized user management and authentication.Key LearningsIntegrate various data sources and construct strong RESTful services with the help of Spring Data JPA.Get to know Spring Boot's properties and YAML files to set up customizable apps.Use Spring Security and JWT tokens to implement secure authorization and authentication.Use Thymeleaf templates to build interactive websites and easily handle form submissions.Use Kubernetes and cloud platforms to effortlessly deploy Spring Boot applications.Use Docker to manage environment variables and JMeter to optimize application performance.Table of ContentUp and Running with Spring BootBuilding First Spring Boot AppConfiguration and PropertiesSpring Boot Packaging and DeploymentSpring Boot Auto-configurationData Access with Spring Data JPABuilding Web ApplicationsTesting Spring Boot ApplicationsSecurity in Spring Boot
Continuous Deployment
Methods of delivering software are constantly evolving in order to increase speed to market without sacrificing reliability and stability. Mastering development end to end, from version control to production, and building production-ready code is now more important than ever. Continuous deployment takes it one step further. This method for delivering software automates the final step to production and enables faster feedback and safer releases. Based on years of work with medium to large organizations at Thoughtworks, author Valentina Servile explains how to perform safe and reliable deployments with no manual gate to production. You'll learn a framework to perform incremental, safe releases during everyday development work, structured exclusively around the challenges of continuous deployment in nontrivial, distributed systems. Complete with interviews and case studies from fellow industry professionals. Close the feedback loop and leverage the production environment to manage your end-to-end development lifecycle efficiently. This book helps you: Take observability, performance, test automation, and security into account when splitting work into increments Create a daily development plan that takes immediate deployments to production into account Deploy work in progress to production incrementally without causing regressions Use patterns to refactor live functionality and alter persistence layers Test and release features in production using different feature toggle configurations
Applications of Blockchain and Big IoT Systems
Explores a plethora of blockchain-based solutions for big data and IoT real-world applications in several sectors, including higher education, cybersecurity, agriculture, business and management, healthcare and biomedical science, construction and project management, smart city development, and others.
Computing and Communications Engineering in Real-Time Application Development
Experts in research, industry, and academia cover recent trends and state-of-the art solutions in computer and communications engineering, focusing specifically on real-time applications of electronics, communications, computing, and information technology. The volume provides sound theoretical and application-oriented knowledge with a special focus on the development of safety-critical networks and integrated electrical and electronics systems. The volume also features numerous new algorithms that assist in solving computer and communication engineering problems.
Software Architecture
This book constitutes the refereed proceedings of the 18th European Conference on Software Architecture, ECSA 2024, held in Luxembourg City, Luxembourg, during September 2-6, 2024. The 14 full research papers, 3 experience report papers, 7 short papers and 3 industry papers included in this book were carefully reviewed and selected from 89 submissions They were organized in topical sections as follows: Architecture modeling and design; Architecture evaluation; Microservices architecture; Sustainability; Trustworthiness; Architecture decision making; and Architecture documentation.
Mastering Terraform
Learn from Terraform expert Mark Tinderholt and excel in designing and automating your infrastructure and CI/CD pipelines with Terraform across major cloud platforms and paradigmsPurchase of the print or Kindle book includes a free PDF eBookKey Features: - Comprehensive guide to building end-to-end solutions with Terraform using VMs, Kubernetes, and Serverless architectures- In-depth coverage of integrating Terraform with HashiCorp tools and popular platforms like Packer, Docker, Kubernetes, and Helm- Practical insights on streamlining operations with GitHub Actions CI/CD pipelines using the Gitflow workflowBook Description: As cloud technology and automation evolve, managing infrastructure as code, integrating security, and handling microservices complexity have become critical challenges. This book takes a hands-on approach to teaching Terraform, helping you build efficient cloud infrastructure using real-world scenarios and best practices.It begins with an introduction to Terraform's architecture, covering its command-line interface and HashiCorp Configuration Language. You'll learn best practices, architectural patterns, and how to implement Terraform across virtual machines, Docker/Kubernetes, serverless environments, and cloud platforms like AWS, Azure, and GCP. The book also covers integrating Terraform into CI/CD pipelines with other technologies to automate infrastructure provisioning and management.Additional chapters focus on security, monitoring, troubleshooting, and cost optimization. You'll also gain insights into preparing for the Terraform Associate certification. By the end, you'll have the skills to build, automate, and manage cloud infrastructure effectively.What You Will Learn: - Explore Terraform architecture and configurations in depth- Integrate Packer with Terraform for VM-based solutions- Containerize apps with Docker and Kubernetes- Explore GitOps and CI/CD deployment patterns- Transform existing applications into serverless architectures- Migrate and modernize legacy apps for the cloud- Implement Terraform on AWS, Azure, and GCP- Use Terraform with teams of varying size and responsibilityWho this book is for: This book is for Devops engineers, cloud engineers, platform engineers, infrastructure engineers, site reliability engineers, developers, and cloud architects who want to utilize Terraform to automate their cloud infrastructures and streamline software delivery. Prior knowledge of cloud architecture, infrastructure, and platforms, as well as Terraform basics, will help you understand the topics present in this book.Table of Contents- Understanding Terraform Architecture- Using HashiCorp Configuration Language- Harnessing HashiCorp Utility Providers- Foundations of Cloud Architecture - Virtual Machines and Infrastructure-as-a-Service- Beyond VMs - Core Concepts of Containers and Kubernetes- Connecting It All Together - GitFlow, GitOps, and CI/CD- Getting Started on AWS - Building Solutions with AWS EC2- Containerize with AWS - Building Solutions with AWS EKS- Go Serverless with AWS - Building Solutions with AWS Lambda- Getting Started on Azure - Building Solutions with Azure Virtual Machines- Containerize on Azure - Building Solutions with Azure Kubernetes Service- Go Serverless on Azure - Building Solutions with Azure Functions(N.B. Please use the Read Sample option to see further chapters)
Learning Microsoft Power Apps
In today's fast-paced world, more and more organizations require rapid application development with reduced development costs and increased productivity. This practical guide shows application developers how to use Power Apps, Microsoft's low-code, no-code application framework that helps developers make apps faster, modernize business processes, and solve tough challenges. Author Arpit Shrivastava provides a comprehensive overview of designing and building cost-effective applications with Microsoft Power Apps. You'll learn how to design robust apps with minimal code and familiar tools such as drag-and-drop controls and Excel-like formulas, and connect them to external data sources. With this book, you'll: Learn the importance of low-code, no-code application development Design mobile/tablet canvas apps using prebuilt and blank templates Design model-driven apps using low-code, no-code, and pro-code components Integrate Power Apps with external applications Learn basic coding concepts by using JavaScript, Power Fx, and C# Apply best practices to customize Power Apps-based business applications Use Power Apps solutions and variety of options to automate the deployment
AI Assisted MBSE with SysML
Unlock the potential of Model-Based Systems Engineering (MBSE) and Artificial Intelligence in "AI Assisted MBSE with SysML: An Integrated Systems/Software Approach." Authored by experts Doug Rosenberg, Tim Weilkiens, and Brian Moberley, this book bridges systems and software engineering, offering a holistic approach to modern engineering challenges. Explore the integration of AI and MBSE with SysML to enhance systems and software design processes. This book provides practical insights and methodologies for leveraging AI in MBSE, making it a resource for engineers, developers, and technical managers. Follow a comprehensive example, the design of a Scanning Electron Microscope, covering both hardware and software development from start to finish. Key Features: - Comprehensive AI Integration: Understand how AI can be integrated into MBSE practices to boost efficiency and accuracy. - Practical Example: Follow a end-to-end case study of a Scanning Electron Microscope to see AI-assisted MBSE in action. - AI Personas: Learn how to interact with various AI personas specialized in different aspects of engineering. - SysML v1 and SysML v2: Get up-to-date with the latest advancements in SysML. - Expert Insights: Benefit from the combined expertise of Doug Rosenberg, Tim Weilkiens, and Brian Moberley, each a thought leader in their field. - Systems Engineering: Requirements modeling, domain modeling, logical/physical architecture, parametric simulation. - Software Engineering: Use case development, code generation for microcontroller code, UI design/wireframing, DBMS integration, and testing. About the Authors: - Doug Rosenberg, founder and CEO of Parallel Agile Inc., has over three decades of experience in software and systems engineering. A pioneer in object-oriented design and a leader in MBSE, Doug offers insights into integrating AI and systems engineering. - Tim Weilkiens, a prominent MBSE consultant, trainer, and member of the executive board of oose, has extensive involvement in the development of SysML and MBSE methodologies. - Brian Moberley, the Chief Model-Based Systems Engineer at STC, an Arcfield Company, is a leading expert in modeling and simulation. His expertise spans defense systems, commercial projects, and digital transformation. Foreword by Dr. Azad M. Madni: Gain insights from a renowned expert in systems engineering and artificial intelligence as he highlights the importance of bridging systems and software engineering through AI.
Reuse and Software Quality
This volume constitutes the refereed proceedings of the 21st International Conference on Software and Systems Reuse, ICSR 2024, held in Limassol, Cyprus, during June 19-20, 2024. The 9 full papers presented together with 2 short papers were carefully reviewed and selected from 25 submissions. They focus on the following topics: artificial intelligence and reuse; variability and reuse; adaptation and reuse; and code reuse.
Euro-Par 2024: Parallel Processing
The three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conference on Parallel and Distributed Processing, Euro-Par 2024, which took place in Madrid, Spain, during August 26-30, 2024. The 88 full papers included in the proceedings were carefully reviewed and selected from 293 submissions. They were organized in topical sections as follows: Part I: Programmind, compilers, and performance; scheduling, resource management, cloud, edge computing, and workflows; Part II: Architectures and accelerators; data analytics, AI and computational science; Part III: Theory and algorithms; multidisciplinary, domain-specific and applied parallel and distributed computing.
Quality of Information and Communications Technology
This book constitutes the proceedings of the 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, held in Pisa, Italy, during September 11-13, 2024. The 34 full and short papers of QUATIC 2024 included in this book were carefully reviewed and selected from 49 submissions. QUATIC is a forum for disseminating advanced methods, techniques and tools to support quality approaches to ICT engineering and management. Practitioners and researchers are encouraged to exchange ideas and approaches on how to adopt a quality culture in ICT process and product improvement and to provide practical studies in varying contexts.
Mathematical Methods of Specification and Synthesis of Software Systems '85
No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems '85".
Design and Development of a New Algorithm for Customer Churn Prediction through Class Imbalance
