Automated Technology for Verification and Analysis
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification.
Testing Software and Systems
This book constitutes the refereed proceedings of the 36th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2024, held in London, UK, during October 30-November 1, 2024. The 17 full papers and 5 short papers included in this book were carefully reviewed and selected from 40 submissions. They were organized in topical sections as follows: Best Paper Award; Industry and Challenge Tracks; Mutation Testing and Code Generation; Advancing Code Vulnerability Detection; Short Papers; Tutorial; Journal First; Health Track; Innovations in Software Testing and AI Compliance; Improving Software Testing Reliability and Advancements in Testing Methodologies.
Sailing a Software Company
Navigate Challenges with Resilience and Claim Your Treasure! Software development is messy. You start with a clear roadmap, but soon you're lost in uncharted waters-ballooning features, unforeseen dependencies, and endless bugs. Without a clear compass guiding the way, it's easy to drift, wasting time and losing momentum. The key? Resilience and a focus on measurable value. Clear the Decks You can't do it all, and trying will sink the ship. Saying no to non-critical features, pruning the backlog, and delaying releases when necessary aren't failures-they're strategies to keep the team focused on delivering what matters most. The Treasure Map Treasure isn't perfection; it's progress. It's seeing measurable value in every feature-whether that's improved user experience, reduced churn, or streamlined processes. Success comes from learning and improving with each sprint, not chasing unattainable ideals. Tools and Crew Your tools are your auto-pilot, but they're not the whole solution. CI/CD pipelines, automated testing, and monitoring dashboards are game-changers, but they only shine when paired with a strong crew. Invest in your people, provide clear goals, and foster a culture of trust and growth. It's the team, not the tools, that steers the ship. Learn from Mistakes Mistakes are inevitable-embrace them. Each error is a marker on your map, guiding you toward a better process. A failed deployment teaches rollback strategies; a misaligned feature highlights the need for clearer communication. Progress isn't about avoiding mistakes-it's about learning from them. Celebrate the Journey Don't wait for big wins to celebrate. A bug caught before production, a new developer's first successful feature, or a retro where the team solves a major issue-these are the real victories. Recognizing small wins keeps the crew motivated and reminds you why you love this work. Claim Your Treasure Your treasure isn't at the end of the map-it's in the journey. The lessons, relationships, and resilience you build along the way are the true rewards. So hoist the flag, clear the decks, and steer your ship with confidence. The treasure is yours to claim.
Data Structures and Algorithms in JavaScript
Not the Same Old JavaScript. Think you know JavaScript? Think again. This isn't your typical coding book--it's a deep dive into the powerful world of data structures and algorithms that will transform the way you approach problem solving in JavaScript. Whether you're a frontend developer tackling complex applications, a backend engineer building scalable systems, or a programmer preparing for technical interviews, this book will revolutionize the way you code. Key features include: Modern JavaScript techniques: Use the latest language features and functional programming principles for cleaner, more efficient code.Performance-focused approach: Analyze and optimize algorithms using Big O notation.Essential algorithms explained: Implement and fine-tune core algorithms like quicksort, merge sort, digital search, and binary search.Algorithm design strategies: Solve challenging problems with techniques like recursion, dynamic programming, backtracking, and brute-force search.Advanced data structures: Explore complex structures such as binary search trees, heaps, and graphs. Each chapter is carefully crafted with clear, no-nonsense explanations of complex concepts, real-world coding examples, and challenging questions (with answers at the end) to reinforce your understanding. Ready to break free from ordinary JavaScript? Whether your aim is to build cutting-edge web applications, optimize critical systems, or land your dream job, this book equips you with the advanced JavaScript knowledge that sets true experts apart.
Learn Go with Pocket-Sized Projects
These small Go projects will build big Go skills! Learn hands-on as you build 11 engaging applications. In Learn Go with Pocket-Sized Projects you'll create 11 small applications and tools, including: - A currency convertor application - A health tracking app - A load balancer for sharing jobs between workers in the Cloud - An HTML template - A microcontroller-based temperature monitor - ...and more! Learn Go with Pocket-Sized Projects teaches you to write professional-level Go code by creating handy tools and fun apps. Each small, self-contained project introduces important practical skills, including ensuring that your code is thoroughly tested and documented! You'll make architectural decisions for your projects and organize your code in a maintainable way. Everything you learn is easy to scale-up to full-size Go applications. Purchase of the print book includes a free eBook in PDF and ePub formats from Manning Publications. About the technology Go delivers the low-level power of system languages like C and Rust with developer-friendly features like garbage collection and a powerful standard library. Millions of programmers choose Go because it speeds up program construction, streamlines dependency management, and makes complex code simple to write, read, and maintain. About the book In Learn Go with Pocket-Sized Projects you'll learn some of the most important skills of Go programming, from Go's unique idiomatic syntax to writing microservices. You'll develop your Go toolbox with engaging hands-on projects that are fully working and simple to write. Create standalone command-line programs including Wordle-alike games, request data from external APIs, play with the TinyGo compiler for embedded systems, and more. By the time you're done building, you'll be able to create standalone, deployable, and scalable applications with ease! About the reader For beginner Go programmers looking to build their skills with hands-on projects. About the author Ali矇nor Latour is a back-end Golang developer with a decade of experience in various domains, from social media marketing to satellite imagery and e-commerce. Donia Chaiehloudj is a back-end software engineer with experience developing Go distributed systems in cloud environments in aerospatial and gaming sectors. Pascal Bertrand has been developing with Go for the past 6 years as a software engineer, in both big and small companies.
Teach Yourself Visually Windows 11
A fully illustrated, up-to-date, and start-to-finish guide to using Windows 11 devices Tired of tech books that tell you what to do but never actually show you how to use your latest devices? Then Teach Yourself VISUALLY Windows 11, 2nd Edition is for you. This book walks you through exactly how to get things done in Microsoft's newest Windows updates with crystal-clear, high-resolution screenshots and pictures that won't leave you scratching your head and wondering, "Why didn't that work?" Teach Yourself Visually Windows 11 is a complete, start-to-finish visual tour of Windows 11. It will take you from "What do I do first?" to Windows guru, one picture and instruction at a time. Looking for help on how to set up your Windows 11 tablet, laptop, or desktop computer for the first time? Teach Yourself Visually Windows 11 has got you covered with the visual interface explanations, Wi-Fi connection assistance, and Microsoft account setup directions you need to make that PC come alive. And that's just chapter one. Teach Yourself VISUALLY Windows 11 will also guide you through how to customize your PC, get connected to--and stay safe on--the web, message and email your friends and family, find specific files on your hard drive, check the weather forecast, secure your device against hackers and looky-loos, and pretty much everything else you can think of. You'll find: Hundreds of hi-res, full-page images and screenshots that demonstrate basic and advanced Windows 11 tasks you'll use every day Techniques for making your PC easier to use, including changing the font size, using your voice to active your computer, and more Ways to share your photos, videos, voice notes, and messages with your loved ones See Microsoft's new Copilot AI in action and use generated text and images in your documents, emails, and chats Teach Yourself VISUALLY Windows 11 is the easiest, most intuitive, most fun, and most effective guide for everyone who prefers "show" over "tell" and who's ready to master their Windows 11 tablet, laptop, or desktop PC.
50 Algorithms Every Programmer Should Know - Second Edition
Delve into the realm of generative AI and large language models (LLMs) while exploring modern deep learning techniques, including LSTMs, GRUs, RNNs with new chapters included in this 50% new edition overhaulPurchase of the print or Kindle book includes a free eBook in PDF format.Key FeaturesFamiliarize yourself with advanced deep learning architecturesExplore newer topics, such as handling hidden bias in data and algorithm explainabilityGet to grips with different programming algorithms and choose the right data structures for their optimal implementationBook DescriptionThe ability to use algorithms to solve real-world problems is a must-have skill for any developer or programmer. This book will help you not only to develop the skills to select and use an algorithm to tackle problems in the real world but also to understand how it works.You'll start with an introduction to algorithms and discover various algorithm design techniques, before exploring how to implement different types of algorithms, with the help of practical examples. As you advance, you'll learn about linear programming, page ranking, and graphs, and will then work with machine learning algorithms to understand the math and logic behind them.Case studies will show you how to apply these algorithms optimally before you focus on deep learning algorithms and learn about different types of deep learning models along with their practical use.You will also learn about modern sequential models and their variants, algorithms, methodologies, and architectures that are used to implement Large Language Models (LLMs) such as ChatGPT.Finally, you'll become well versed in techniques that enable parallel processing, giving you the ability to use these algorithms for compute-intensive tasks.By the end of this programming book, you'll have become adept at solving real-world computational problems by using a wide range of algorithms.What you will learnDesign algorithms for solving complex problemsBecome familiar with neural networks and deep learning techniquesExplore existing data structures and algorithms found in Python librariesImplement graph algorithms for fraud detection using network analysisDelve into state-of-the-art algorithms for proficient Natural Language Processing illustrated with real-world examplesCreate a recommendation engine that suggests relevant movies to subscribersGrasp the concepts of sequential machine learning models and their foundational role in the development of cutting-edge LLMsWho this book is forThis computer science book is for programmers or developers who want to understand the use of algorithms for problem-solving and writing efficient code.Whether you are a beginner looking to learn the most used algorithms concisely or an experienced programmer looking to explore cutting-edge algorithms in data science, machine learning, and cryptography, you'll find this book useful.Python programming experience is a must, knowledge of data science will be helpful but not necessary.Table of ContentsCore AlgorithmsData StructuresSorting and Searching AlgorithmsDesigning AlgorithmsGraph AlgorithmsUnsupervised Machine Learning AlgorithmsSupervised Learning AlgorithmsNeural Network AlgorithmsNatural Language ProcessingSequential ModelsAdvanced Machine Learning ModelsRecommendation EnginesAlgorithmic Strategies for Data Handling Large-Scale AlgorithmsEvaluating Algorithmic SolutionsPractical Considerations
Bridging the Gap Between AI and Reality
This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous systems; responsible and trusted AI; safe autonomous vehicles; statistical model checking; verification and learning for assured autonomy; verification for neuro-symbolic artificial intelligence.
Developing Mobile Apps
In today's fast-paced digital economy, mobile apps have become more than just tools - they're essential drivers of business success. For non-technical business executives, navigating the world of mobile app development can feel daunting, but understanding its core principles is critical for leading teams, making strategic decisions, and ensuring a return on investment. In Developing Mobile Apps, a comprehensive guide crafted by Mr. Barenboim, a seasoned technology executive with over 25 years of experience, you'll gain the knowledge needed to confidently steer your app development projects toward success. Written specifically for business leaders, this book demystifies the complexities of app development without relying on technical jargon. Drawing from a career managing global teams, launching multi-million-dollar platforms, and delivering apps used by millions of people, Mr. Barenboim bridges the gap between technology and business strategy. With advanced credentials in Computer Science and Business Administration, as well as having held software engineering, organizational leadership, and executive management positions at various firms including IBM, Tyco, Verizon, and Bankrate, Mr. Barenboim brings unparalleled insights into aligning app development with broader business objectives. This book takes you through the entire lifecycle of mobile app creation, from conceptualizing features that resonate with your audience to ensuring seamless design, rigorous testing, and effective post-launch scaling. Along the way, you'll discover actionable strategies to foster collaboration between technical and non-technical teams, use analytics to make informed decisions and balance user experience with business goals. Developing Mobile Apps is a must-read for business executives seeking to unlock the full potential of mobile technologies. Packed with real-world examples, actionable advice, and clear explanations, this guide will empower you to lead with confidence, build impactful digital products, and stay competitive in an increasingly app-driven world. Whether you're launching your first app or looking to refine your digital strategy, this book is your roadmap to success.
Advances in Computing
This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-6, 2024. The 50 full papers and 5 short papers included in this book were carefully reviewed and selected from 124 submissions. They were organized in topical sections as follows: Artificial Intelligence; Pattern recognition and computer vision; Computational statistics and formal methods; Cyber security and information security; Data, information and knowledge; ICT for education and e-Learning; Industry 4.0 and digital transformation; Software engineering and automation.
Advances in Computing
This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-6, 2024. The 50 full papers and 5 short papers included in this book were carefully reviewed and selected from 124 submissions. They were organized in topical sections as follows: Artificial Intelligence; Pattern recognition and computer vision; Computational statistics and formal methods; Cyber security and information security; Data, information and knowledge; ICT for education and e-Learning; Industry 4.0 and digital transformation; Software engineering and automation.
Job Scheduling Strategies for Parallel Processing
This book constitutes the refereed proceedings of the 27th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2024, held in San Francisco, CA, USA, on May 31, 2024. The 10 full papers included in this book were carefully reviewed and selected from 15 submissions. The JSSPP 2024 covers several interesting problems within the resource management and scheduling domains.
Quantum Horizons Unleashed
Hey there, curious minds! Let me introduce you to a book that's about to blow your mind wide open - "Quantum Horizons Unleashed: Real-World Algorithms and Applications." It's not your grandpa's science fiction; this is the real deal, where quantum computing leaps from theory into the tangible world we live in.Imagine a computer that doesn't just crunch numbers but dances with the very fabric of reality. That's the quantum realm, and this book is your backstage pass. We're diving into the nitty-gritty of how quantum computers can revolutionize industries you might not even imagine.So, what are you waiting for? "Quantum Horizons Unleashed: Real-World Algorithms and Applications" is your ticket to the future. Get ready to have your mind expanded, your curiosity ignited, and your understanding of the world transformed. This isn't just about algorithms; it's about unlocking a universe of possibilities that were once confined to the realm of dreams.
Modern Approach to C Programming
DESCRIPTION C is a powerful and versatile programming language used for building everything from operating systems to video games. This book equips you with the essential knowledge to solve problems and create efficient programs using C.This book provides a comprehensive guide to C programming, starting with the fundamentals of the C language and progressing to advanced topics. It begins by introducing the syntax, data types, operators, control flow statements, and functions. The book then delves into arrays and strings, two essential data structures in C programming. Subsequently, it explores advanced topics such as pointers, structures, unions, and file handling. This book will help readers have a solid understanding of C programming and be equipped to write efficient C programs.By the end of this book, you will be a confident C programmer, ready to write effective code and solve real-world problems. The book provides you with the foundational skills and knowledge to approach programming challenges with a newfound sense of ease, paving the way for a rewarding career as a C programmer.WHAT YOU WILL LEARN● Apply operators and control structures to create efficient programs.● Develop modular programs using functions for better code management.● Work with arrays to store and manipulate large datasets.● Use pointers for dynamic memory allocation and data manipulation.● Handle file input/output to store and retrieve program data. WHO THIS BOOK IS FORThis book is designed for beginners with no prior programming knowledge, as well as for those who wish to improve their C programming skills. It is ideal for undergraduate students, educators, and professionals from various disciplines, such as science, engineering, management, and technology, who want to develop strong problem-solving abilities using C.
Mastering Windows 365
Go from zero to hero by unlocking the latest advanced IT Pro skills for Windows 365, Intune and Intune Suite, Microsoft Copilot, AI PCs, and much more!Key Features: - Gain hands-on expertise in deploying and managing Windows 365 cloud PCs- Explore advanced features like Microsoft Intune, Graph API, and Security Copilot- Learn directly from Microsoft experts who helped shape Windows 365 and Azure Virtual DesktopBook Description: Windows 365 Cloud PC is a revolutionary Windows Cloud solution that offers users a seamless and secure Windows experience from virtually any device. The goal of this book is to help you understand, deploy, manage, secure, and optimize Windows 365 Cloud PCs, Intune Suite, Copilot+ AI PCs, and the new Windows App effectively.This comprehensive book takes you on an illuminating journey through the evolving landscape of Windows 365 cloud computing, delving into the core concepts, deployment intricacies, management strategies, and advanced capabilities of this cutting-edge technology. Prepare to embark on a tour into the realm of Windows cloud computing and witness the unfolding evolution of Windows as it becomes increasingly fueled by the synergy of Intune, Intune Suite, Windows Cloud, and AI technologies.Authored by visionaries from the Windows 365 product group and a distinguished Microsoft MVP, this book offers invaluable insights into the intricacies of Windows 365 - its functionalities, features, partner add-value solutions, and best practices. With a wealth of experience, these experts are poised to illuminate the path to the next generation of cloud computing, affording you a rare opportunity to grasp this cutting-edge technology from those embedded within the industryWhat You Will Learn: - Master the deployment and configuration of Windows 365 cloud PCs- Use Intune for streamlined cloud PC management and security- Automate workflows with Microsoft Graph for improved efficiency- Implement robust Microsoft security protocols with Copilot in Intune- Optimize performance, diagnose issues, and troubleshoot cloud environments- Stay ahead with insights into future innovations in cloud computing- Secure your Windows 365 Cloud PC connection efficientlyWho this book is for: This book is for IT administrators, architects, consultants, and CIOs looking to leverage and design Windows 365 cloud PCs effectively and train for the Modern Desktop MD-102 Administrator certification. This book is also for anyone seeking to move their virtualization or Windows endpoints to the cloud with ease. Basic understanding of modern management based on Microsoft Intune and Microsoft 365 is required.Table of Contents- Introduction- Architecture- Deploying Cloud PCs- Managing Cloud PCsPrefinals to Author- Intune Suite: Optimize and Secure Your Cloud PC Deployment- Application Management and Delivery to Cloud PCs- Managing Cloud PCs with Microsoft Copilot in Intune- Accessing Cloud PCs- Accessing Cloud PCs- Securing Cloud PCs- Next-generation NDA content- Analyzing, Monitoring, and Troubleshooting Cloud PCs- Windows 365 Partner Solutions- Community Experts Hall of Fame
Write Your Own Programs
This book introduces you to the world of computer programming. Little prior knowledge is needed except for starting a text editor and typing. The text accompanies you all the way, from first experiments to writing real-world programs. How does a computer work? Which components does a computer have? What is a computer program? How do I analyze problems? How do I formulate solutions in program code? This book answers all these questions by means of numerous example programs of increasing size and complexity, starting with simple code that displays a greeting and ending with a fun video game and a full-featured text editor.
Service-Oriented Computing
The two-volume set LNCS 15404 and 15405 constitutes the refereed proceedings of the 22nd International Conference on Service-Oriented Computing, ICSOC 2024, held in Tunis, Tunisia, during December 3-6, 2024. The 38 full papers and 19 short papers presented in these proceedings were carefully reviewed and selected from 255 submissions. The papers are organized in the following topical sections: Part I: Edge and IoT; Generative AI; Service Security and Privacy; and Processes and Workflows. Part II: Cloud Computing; QoS and SLA; Microservice; Service Recommendation; Emerging Technologies and Approaches; Service Composition; Blockchain; and Industry Papers.
Service-Oriented Computing
The two-volume set LNCS 15404 and 15405 constitutes the refereed proceedings of the 22nd International Conference on Service-Oriented Computing, ICSOC 2024, held in Tunis, Tunisia, during December 3-6, 2024. The 38 full papers and 19 short papers presented in these proceedings were carefully reviewed and selected from 255 submissions. The papers are organized in the following topical sections: Part I: Edge and IoT; Generative AI; Service Security and Privacy; and Processes and Workflows. Part II: Cloud Computing; QoS and SLA; Microservice; Service Recommendation; Emerging Technologies and Approaches; Service Composition; Blockchain; and Industry Papers.
Product-Focused Software Process Improvement
This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2-4, 2024. The 18 full papers, 12 short papers, 9 Industry papers, 2 Workshop papers, 2 Doctoral symposium papers, and one Keynote paper presented in this volume were carefully reviewed and selected from 85 submissions. The main theme of PROFES 2024 was professional software process improvement (SPI) motivated by product, process, and service quality needs. The technical program of PROFES 2024 was selected by a committee of leading experts in software process improvement, software process modeling, and empirical software engineering.
We, Programmers
The Journey of Programming and Its Pioneers: From the Birth of Code to the Rise of AI In We, Programmers, software legend Robert C. Martin--"Uncle Bob"--dives deep into the world of programming, exploring the lives of the groundbreaking pioneers who built the foundation of modern computing. From Charles Babbage and Ada Lovelace to Alan Turing, Grace Hopper, and Dennis Ritchie, Martin shines a light on the figures whose brilliance and perseverance changed the world. This memoir-infused narrative provides a rich human history filled with technical insights for developers, examining the coding breakthroughs that shaped computing at the bit and byte level. By connecting these technical achievements with the human stories behind them, Martin gives readers a rare glimpse into the struggles and triumphs of the people who made modern technology possible. Depression, failure, and ridicule--these pioneers faced it all, and their stories intertwine with the evolution of computing itself as the field evolved from its humble beginnings to the cloud-based AIs of today. With the rise of AI, Martin also explores how this technology is transforming the future of programming and the ethical challenges that come with it. Notable topics include Understanding programming's roots and how they shaped today's tech landscape The human side of coding pioneers--what drove them, and what they overcame Key programming breakthroughs, from the early days of assembly to the rise of object-oriented languages The pivotal role World War II played in advancing computer science Insights and predictions regarding the ethical considerations surrounding AI and the future of programming For programmers, coders, and anyone fascinated by the intersection of people and machines, this guide to the history, humanity, and technology behind the code that powers our world today is a fascinating and essential read. Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vit籀ria, Brazil, during December 4-6, 2024. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.
Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers
This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2-4, 2024. The 9 Industry papers, 2 Workshop papers, 2 Doctoral symposium papers and 1 Keynote paper presented in this volume were carefully reviewed and selected from 85 submissions. The contributions were organized in topical sections as follows: Industry Papers; Third Workshop on Engineering Processes and Practices for Quantum Software (PPQS 2024); and Doctoral Symposium Papers.
Terraform in Depth
An in-depth guide to everything Terraform, complete with newly established best practices and experienced insights into Infrastructure as Code. Terraform, and its new open source fork OpenTofu, practically eliminates manual infrastructure configuration, making it possible to script and automate almost every aspect of system management and administration. Its "Infrastructure as Code (IaC)" approach has a simple-yet-awesome premise: provision, update, scale, and replicate your infrastructure with the same ease as your application code. In Terraform in Depth, you'll discover absolutely everything you need to automate and manage your infrastructure with just a few lines of code. Inside Terraform in Depth, you'll learn how to: - Understand and write basic Terraform code - Avoid vendor lock-in with the open source OpenTofu - Switch between OpenTofu and Terraform as needed - Construct continuous integration and continuous delivery (CI/CD) pipelines with Terraform - Organize Terraform projects and modules for team-based, production use - Develop and test robust Terraform modules - Create custom Terraform providers Terraform in Depth is fully up to date with the latest versions, standards, and approaches of Terraform and OpenTofu. Complete and comprehensive, its one-stop approach covers everything from Terraform and OpenTofu's absolute basics all the way to advanced production uses. Every technique is illustrated with the kind of real-world examples infrastructure engineers encounter every day. About the book Terraform in Depth teaches you to effectively create and manage your infrastructure as Terraform code. Inside, you'll find essential insights into modern Terraform, including newly established patterns, best practices, and methods for empowering your development team with IaC. Each chapter is fully illustrated with hands-on examples, such as creating a flexible Terraform module to launch EC2 instances and debugging complex Terraform plans. Starting with the basics of reading and writing Terraform code, you'll quickly be able to define your infrastructure with Terraform and create reusable instances of your projects. Next, you'll dive into Terraform's advanced functions--including CI/CD pipelines, registries to distribute modules, and utilizing built-in tools for documentation, security, and module quality. Finally, you'll learn the secrets of Terraform code management, including rules for refactoring, testing modules, and advanced module patterns. About the reader For sysadmin and cloud engineers familiar with the CLI. About the author Robert Hafner has led engineering efforts at numerous startups, including Malwarebytes, Vicarious AI, and Rad AI. He is currently a Senior Principal Architect at a Fortune 100 Telecom in their Developer Experience organization. In his career, he has built large-scale infrastructure with reliability typically reserved for large organizations, while utilizing small, focused teams. When he's not working with computers, he's creating resin art or trying something new in the kitchen. He lives in Chicago with his amazing wife and two cats.
Graph Coloring
This book explores the problem of minimal valid graph coloring, first in the form of games and then of resolution algorithms. Emphasis is placed on deterministic, guaranteed and non-guaranteed methods. Stochastic methods are then just mentioned because they are already widely described in previous publications.The study then details a general quantum algorithm of polynomial complexity. A final chapter provides elements of reflection on diplomatic algorithms that, for the problem of coloring under resource constraints, seek a compromise minimizing frustrations. The appendix includes some mathematical additions and the source codes of the main algorithms presented, in particular the one of the quantum method.
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6-8, 2024. The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety-critical, fault-tolerant, and secure systems to real-time, hybrid, and cyber-physical systems and quantum computing.
Building Resilient Architectures on AWS
Unlock the power of AWS to create resilient cloud architectures on AWS and operate your business efficiently using best practicesKey Features: - Transform chaos into reliability with real-world case studies and cutting-edge methods to design robust AWS architectures- Minimize downtime and protect business revenue through battle-tested architectural strategies- Implement scalable architecture solutions on AWS using proven patterns and best practices- Purchase of the print or Kindle book includes a free PDF eBookBook Description: Building systems that can withstand failure is key to running a successful business on the cloud. Learn from distinguished AWS experts-Ajit, Imaya, and Rodrigue-who bring over four decades of experience in architecting enterprise-scale solutions, speaking at major AWS conferences, and implementing resilience strategies across diverse industries, as they guide you through building highly available and fault-tolerant applications on AWS.This book explores resiliency, offering steps to design, build, and operate resilient architectures on AWS. You'll master data security practices, backup strategies, and automation techniques, helping you build strong defenses and reliable recovery plans for resilience against disruptions. You'll also learn how to apply AWS Well-Architected pillars to design applications with redundancy, loose coupling, graceful degradation, and fault isolation. With architecture examples, you'll validate your design's effectiveness through resilient patterns, performance monitoring, and chaos engineering.By the end of this book, you'll be equipped with best practices for creating robust cloud infrastructures to ensure business continuity and success and become proficient at creating fault-tolerant systems, optimizing performance, and ensuring reliability across regions.What You Will Learn: - Master the key concepts and principles of building resilience in the cloud- Architect modern applications using serverless and containers following best practices- Use the AWS Well-Architected Framework to build durable architectures- Anticipate operational events with chaos engineering techniques- Understand when and how to use multi-region and cell-based architectures- Attain highly efficient and reliable workload architectures on AWS- Navigate the collaborative approach of the AWS Shared ResponsibilityWho this book is for: The book is for developers, architects, site reliability engineers, and IT managers who use cloud services for their workloads. It is particularly valuable for those using AWS to develop, deploy, and operate their applications. Prior knowledge of public cloud, architecting highly available infrastructure and applications, software development, deployment, and DevOps practices is assumed. Table of Contents- Understanding Resilience Concepts- Implementing Resilient Compute and Auto Scaling- Securing and Backing Up Critical Data- Orchestrating Graceful Degradation- Exploring the AWS Shared Responsibility Model- Learning AWS Well-Architected Principles for Resiliency- Architecting Fault-Tolerant Applications- Resiliency Considerations for Serverless Applications- Using Containers to Improve Resiliency- Resilient Architectures Across Regions- Examples of Resilient Architecture- Observability, Auditing, and Continuous Improvement- Performing Chaos Engineering Testing- Disaster Recovery Planning and Testing- Finalize Building Resilient Architecture Using AWS Resilience Services
Asynchronous Programming with C++
Design and develop high-performance software solutions by using concurrent and asynchronous techniques provided by the most modern features in C++20 and C++23Key Features: - Learn how to use modern C++ features, including futures, promises, async, and coroutines to build asynchronous solutions- Develop cross-platform network and low-level I/O projects with Boost.Asio- Master optimization techniques by understanding how software adapts to machine hardware- Purchase of the print or Kindle book includes a free PDF eBookBook Description: As hardware advancements continue to accelerate, bringing greater memory capacity and more CPU cores, software must evolve to adapt to efficiently use all available resources and reduce idle CPU cycles. In this book, two seasoned software engineers with about five decades of combined experience will teach you how to implement concurrent and asynchronous solutions in C++.You'll gain a comprehensive understanding of parallel programming paradigms-covering concurrent, asynchronous, parallel, multithreading, reactive, and event-driven programming, as well as dataflows-and see how threads, processes, and services are related. Moving into the heart of concurrency, the authors will guide you in creating and managing threads and exploring C++'s thread-safety mechanisms, including mutual exclusion, atomic operations, semaphores, condition variables, latches, and barriers. With this solid foundation, you'll focus on pure asynchronous programming, discovering futures, promises, the async function, and coroutines. The book takes you step by step through using Boost.Asio and Boost.Cobalt to develop network and low-level I/O solutions, proven performance and optimization techniques, and testing and debugging asynchronous software.By the end of this C++ book, you'll be able to implement high-performance software using modern asynchronous C++ techniques.What You Will Learn: - Explore the different parallel paradigms and know when to apply them- Acquire deep knowledge of thread management and safety mechanisms- Understand asynchronous programming in C++, including coroutines- Leverage network asynchronous programming by using Boost.Asio and Boost.Cobalt- Add proven performance and optimization techniques to your toolbox- Find out how to test and debug asynchronous softwareWho this book is for: This book is for developers who have some experience using C++, regardless of their professional field. If you want to improve your C++ skills and learn how to develop high-performance software using the latest modern C++ features, this book is for you.Table of Contents- Parallel Programming Paradigms- Processes, Threads, and Services- How to Create and Manage Threads in C++- Thread Synchronization with Locks- Atomic Operations- Promises and Futures- The Async Function- Asynchronous Programming Using Coroutines- Asynchronous Programming Using Boost.Asio- Coroutines with Boost.Cobalt- Logging and Debugging Asynchronous Software- Sanitizing and Testing Asynchronous Software- Improving Asynchronous Software Performance
Microsoft Office 365 Bible
OVER 450 PAGES OF CONTENTSEXCLUSIVE BONUS CONTENTS AVAILABLE THROUGH SCANNING A QR CODE IN THE PAPERBACK VERSION: VIDEO MASTERCLASS: Access expert-guided tutorials on Microsoft 365 and discover valuable tips and tricks. MOBILE APP ON THE GO: Gain instant access to a world of resources and tips right from your smartphone. READY-TO-USE TEMPLATES: Simplify your work with a collection of templates ready for immediate use. Ever pondered on transforming your career and daily productivity through mastering Microsoft 365 effortlessly? Feel enticed but hesitant due to the seemingly intricate nature of the suite? Ever found yourself lost amidst the myriad features, wishing for a guide that simplifies it all for you?Look no further! Introduce yourself to a comprehensive, step-by-step exploration of the Microsoft 365 suite with my guide, your compass to navigating and mastering Word, Excel, PowerPoint, Teams, OneNote, OneDrive, Publisher, Access, Outlook, and SharePoint effortlessly!This powerhouse guide, extending over 500 pages, seamlessly combines ten books in one, meticulously crafted for users at all levels, blending straightforward explanations with enriching visuals and rapid learning strategies. With my guide, not only will you familiarize yourself with the software, but you'll evolve into the Microsoft 365 connoisseur every organization covets!Embark on a Journey of Mastery: CAREER PROGRESSION: Stand out as a top performer and gain recognition, enhancing efficiency and showcasing your prowess.PRODUCTIVITY BOOST: Say goodbye to monotonous tasks! Automate processes, conserve energy, and witness a surge in your productivity.FINANCIAL ORGANIZATION: With newfound expertise, optimize personal expenses and investment planning efficiently.ACCESSIBLE EXPLANATIONS: Engage with clear, user-friendly explanations supplemented with instructive images and tutorials for both Windows and iOS.PATH FROM NOVICE TO GURU: Begin with basics and soar to proficiency across all Microsoft 365 applications, understanding their practical applications in various scenarios.SHORTCUTS & COMMANDS: Master essential shortcuts and commands confidently, becoming adept and efficient in your navigation.COMPLEX FEATURES SIMPLIFIED: Effortlessly navigate through advanced features, including data manipulation in Excel, email management in Outlook, and collaboration in Teams!Your journey to unleashing potential and revolutionizing your work landscape begins now. Click "Buy Now" for an immersive experience in the Microsoft 365 world, mastering the suite the effortless way with our unparalleled guide!
Cloud Observability with Azure Monitor
Implement real-time monitoring, visualization, analytics, and troubleshooting strategies on Azure to ensure optimal performance and reliability in your cloud environmentKey Features: - Monitor Azure-native, hybrid, and multi-cloud infrastructure effectively- Design proactive incident responses and visualization dashboards for configuring, optimizing, and monitoring data- Implement strategies for monitoring Azure applications using real-world case studies- Purchase of the print or Kindle book includes a free PDF eBookBook Description: Cloud observability is complex and costly due to the use of hybrid and multi-cloud infrastructure as well as various Azure tools, hampering IT teams' ability to monitor and analyze issues. The authors distill their years of experience with Microsoft to share the strategic insights and practical skills needed to optimize performance, ensure reliability, and navigate the dynamic landscape of observability on Azure.You'll get an in-depth understanding of cloud observability and Azure Monitor basics, before getting to grips with the configuration and optimization of data sources and pipelines for effective monitoring. You'll learn about advanced data analysis techniques using metrics and the Kusto Query Language (KQL) for your logs, design proactive incident response strategies with automated alerts, and visualize reports via dashboards. Using hands-on examples and best practices, you'll explore the integration of Azure Monitor with Azure Arc and third-party tools, such as Datadog, Elastic Stack, or Dynatrace. You'll also implement artificial intelligence for IT Operations (AIOps) and secure monitoring for hybrid and multi-cloud environments, aligned with emerging trends.By the end of this book, you'll be able to develop robust and cost-optimized observability solutions for monitoring your Azure infrastructure and apps using Azure Monitor.What You Will Learn: - Get a holistic overview of cloud observability with Azure Monitor- Configure and optimize data sources to monitor Azure solutions- Analyze logs and metrics using advanced data analysis techniques with KQL- Design proactive incident response strategies with automated alerts- Visualize monitoring data through impactful dashboards and reports- Extend observability to hybrid and multi-cloud environments with Azure Arc- Build and implement monitoring solutions on Azure, aligned with industry standardsWho this book is for: If you're a seasoned cloud engineer, cloud architect, DevOps engineer, SRE, or an aspiring cloud practitioner eager to elevate your observability skills on Azure and implement monitoring strategies using Azure Monitor, then this book is for you. A basic understanding of Azure cloud services, cloud infrastructure management, and network virtualization will be helpful.Table of Contents- Introduction to Observability with Azure Monitor- Understanding Azure Monitor Components and Functions- Exploring Azure Monitor Data Sources and the Ingestion Pipeline- Analyzing Your Data Using Logs and Metrics- Responding to Monitoring Events- Visualizing Your Logs and Metrics- Application Observability and Performance Monitoring with Application Insights- Hybrid and Multi-Cloud Monitoring- Integrating with Third-Party Tools- Building Your Monitoring Strategy- Cost Management and Optimization- Future Trends and Looking Ahead- Appendix
Low Code Development with Mendix
DESCRIPTION This book offers a comprehensive overview of the Mendix platform from a developer's perspective. This powerful technology breaks down barriers, allowing anyone, with or without coding experience, to build custom applications quickly and efficiently with a solid foundation for platform evaluation. Key topics include Mendix's database design, page designer, and visual tools for creating functionality through microflows and nanoflows. You will also learn about security, best practices, and automated performance enhancements. Integration with other applications via REST, SOAP, and OData is explored, as well as the creation of web, progressive, and native mobile apps, all using the same low-code approach.By the end, you will be ready to begin your Mendix certification journey. You will have a thorough understanding of Mendix and through hands-on exercises. You will gain practical experience by developing a cloud-deployed Mendix application, positioning you for success in the fast-evolving low-code development landscape.KEY FEATURES ● Step-by-step instructions for creating Mendix applications from scratch, with practical exercises to build hands-on experience.● Tips and tricks to optimize performance and maintainability of Mendix applications.● Real-world examples, case studies, and optimization tips to enhance Mendix application performance and maintainability.WHAT YOU WILL LEARN● Grasp the essentials of low-code development and discover how it speeds up application creation.● Build robust data models that mirror real-world structures for effective data representation.● Create intuitive and reusable user-friendly interfaces using Mendix's drag-and-drop tools, enhancing user experience.● To automate business processes with microflows, including complex decision-making and data manipulation.● To integrate Mendix applications with external systems using REST, SOAP, and OData APIs.● Advanced topics like security, integration, and mobile development.WHO THIS BOOK IS FORThis book is intended for new and seasoned developers that are starting their journey into low code development and business users evaluating low code software development. A programming background is helpful but not required to understand the content of the book.
Integrated Formal Methods
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.
Collaborative Software Design
Emerging practices, collaboration tools, and effective techniques for incorporating your key stakeholders into the software design process. Don't spend months building the wrong software! Collaborative Software Design is a unique and practical guide for effectively involving all stakeholders in the design of software to ensure sustainable design decisions. In Collaborative Software Design you'll learn how to: - Prepare and facilitate collaborative modeling sessions with tools such as Business Model Canvas, Event Storming, Domain Storytelling, Example Mapping, and Wardley Mapping - Pick and apply heuristics for modeling software design - Techniques for getting all needed knowledge from the group - The influence of ranking - The impact and opportunities of cognitive bias - Resistance and conflict resolution - Practices for following up after a modeling session - Document the session and report to stakeholders Collaborative Software Design combines its authors' deep experience in behavioral science, decision-making theory and software architecture into an essential guide for making collaborative design decisions. You'll learn to use process visualizations, engaging sessions, and social dynamic management to ensure every stakeholder is contributing their vital insights to a project. Best of all, the skills you'll learn make it easy for software teams to develop software directly with their stakeholders--no need to rely on a centralized or top-down design. Forewords by Diana Montalion and Trond Hjorteland. Purchase of the print book includes a free eBook in PDF and ePub formats from Manning Publications. About the technology Delivering high-quality software requires the active participation of all stakeholders in the design process. But how do you align individuals with different roles, perspectives, and priorities to create sustainable software? Collaborative Software Design presents proven strategies that you can use to foster productive decision making, resolve conflicts and uncertainties, and elevate the quality of design outcomes. About the book In Collaborative Software Design, you'll explore principles, techniques, and tools to promote safe communication as you discover business problems, formalize requirements, and implement a software project. It highlights established collaborative modeling tools like Event Storming, Example Mapping, Wardley Mapping, and Domain Storytelling, and introduces unique approaches for managing cognitive biases, conflict, and organizational hierarchy. Whether you're a business stakeholder, a technical contributor, or a professional facilitator, you'll learn how to hear and benefit from every voice in the room. What's inside - Prepare and lead collaborative modeling sessions - Turn conflict into innovation - Make sustainable software design decisions - Improve software design from a sociotechnical perspective About the reader For anyone involved in the software development process. About the author Evelyn van Kelle, Gien Verschatse, and Kenny Baas-Schwegler are internationally recognized experts in collaborative modeling and organizational decision making for sociotechnical systems. The technical editor on this book was Charlie Schafer. Table of Contents 1 The need for collaborative software design 2 What is collaborative modeling? 3 Using collaborative modeling for design and architecture 4 The ingredients of collaborative modeling 5 Facilitating collaborative modeling 6 The influence of ranking 7 The effect and opportunities of cognitive bias 8 Resistance and conflict resolution 9 Making sustainable design decisions 10 Managing unsolvable problems 11 Communicating and documenting decisions 12 Collaborative modeling beyond software design Appendix A
Building a minimal reflective kernel
What is the class Object? What is the class Class? Why the class Object is an instance of the class Class? If you ever ask yourself such questions, this book is for you. After explaining the impact of representing classes as objects, you will develop step by step a minimal reflective kernel. In this book you will learn: - object instantiation, allocation, and initialization, - classes as objects, - description of classes, - creation of classes, - method lookup and error handling, - examples of metaclasses, - bootstrap of a reflective system. The content of this book has been used to teach reflective architectures for more than 15 years.
Introduction to Software Development
This book teaches the essential database development skills that are needed by every software developer, while leaving out ancillary details that could distract from the main mission. With a progression of topics from basic to advanced, and using real-world data in its discussion and examples, it maintains the tutorial style of the first two volumes of the series. The reader learns by doing. Topics covered include importing and exporting data, relational database design, writing SQL queries, modifying data, database performance, connecting from application code, and NoSQL.The overall goal of the series is to prepare students to enter the software development world. Mastering the content in all the volumes will prepare the student for his or her first interview for an entry level developer job.
Programming Microsoft Dynamics 365 Business Central - Seventh Edition
Extend Microsoft Business Central with custom functionality using the AL language in Visual Studio Code, guided by practical examples, expert insights, and real-world use casesKey Features: - Work with the new additions to the AL Language, Visual Studio Code, and Business Central- Enhance your AL programming skills through real-world examples and best practices curated by industry experts- Implement updated best practices for development to build efficient, reliable, and maintainable extensions- Purchase of the print or Kindle book includes a free PDF eBookBook Description: Business Central opens a world of endless possibilities for custom business logic and functionality through extensions and customizations. For beginners in the AL language, navigating the vast landscape can feel overwhelming. It's challenging to know where to start and what's essential to learn. This updated edition offers a concise and well-organized guide, featuring hands-on exercises to support a successful learning journey.You'll get to grips with the basics of Business Central and how to create your first Visual Studio Code project with the AL language. As you learn about the table data structure, simple and complex data types, relationships, validation, and data flow, you'll be able to add and extend tables to your project. Progressively, you'll uncover the intricacies of user interfaces with pages, create advanced Excel report layouts, and harness the power of data queries. Immersing yourself in the AL language syntax, you'll start with variables, methods, procedures, and statements. You'll explore advanced topics to create business logic such as FlowFields, filtering, CRUD methods, interactions between object types, and different API interfaces that can be created using the AL language.By the end of this book, you'll be equipped to build fully featured, robust extensions and custom capabilities for Business Central.What You Will Learn: - Set up your first AL development environment with Visual Studio Code- Understand the data structure and flow of Business Central- Design, build, and extend Table, Page, Report, Codeunit, Query, and XMLport objects in Business Central- Develop AL code for business logic and data manipulation in Visual Studio Code- Use Excel layouts to report Business Central data- Integrate Business Central with external systems using API web services- Implement multi-language in your own extension- Debug and troubleshoot Business Central applicationsWho this book is for: This book is for anyone who wants to learn about Microsoft Dynamics 365 Business Central's powerful and extensive development capabilities. ERP consultants and managers of Business Central development will also find this book helpful. Although you aren't expected to have previously worked with Microsoft Dynamics Business Central, having a basic understanding of programming and familiarity with business applications software will help you understand the concepts covered in this book.Table of Contents- Introduction to Business Central- Tables- Data Types and Table Fields- Pages - The Interactive Interface- Reports and Queries- Introduction to AL- Intermediate AL- Extensibility beyond AL
Software Testing as a Service
Software Testing as a Service explains, in simple language, how to use software testing to improve productivity, reduce time to market, and reduce costly errors. It explains how the normal functions of manufacturing can be applied to commoditize the software testing service to achieve consistent quality across all software projects. This up-to-date reference reviews different software testing tools, techniques, and practices and provides succinct guidance on how to estimate costs, allocate resources, and make competitive bids. Replete with examples and case histories, this resource illustrates how proper planning can lead to the creation of software that's head and shoulders above the competition.
The Official Raspberry Pi Handbook 2025
Dive into the world of Raspberry Pi with this huge book of tutorials, project showcases, guides, product reviews, and much more from the writers of The MagPi, the official Raspberry Pi magazine.Raspberry Pi Pico 2 joins Raspberry Pi 5 in this, The Official Raspberry Pi Handbook 2025. Pico 2 comes with a faster processor than the original Pico, and uses less power -- while still maintaining the same form factor and pinout. With both Pico 2 and Raspberry Pi 5 you can power any project you can imagine.With 200 pages packed full of maker goodness, you'll also find inspiration for your Raspberry Pi Zero 2 W, Raspberry Pi 4, or any other Raspberry Pi model you have -- there's something for everyone.In this handbook you'll find: A get started guide that covers every Raspberry PiEverything you need to know about the brand-new Raspberry Pi Pico 2Inspiring projects to spark your next build ideaTutorials for makers of all skill levelsGuides for media centres, game emulators, and more!This bumper book is your definitive guide to everything Raspberry Pi. It's essential for any maker with big dreams and a thirst for knowledge.
