Advances in Computing
This book constitutes revised selected papers from the refereed proceedings of the 17th Colombian Conference on Computing on Advances in Computing, CCC 2023, held in Medellin, Colombia, during August 10-11, 2023.The 22 full papers and 11 short papers included in this book were carefully reviewed and selected from 68 submissions. They were organized in topical sections as follows: Industrial Applications - Industry 4.0 - Precision Agriculture, Artificial Intelligence, Distributed systems and large-scale computing, Computational Statistics, Digital Learning - E-learning, Software Engineering, Human Machine Interaction, Image processing and Computer Vision, Robotics in Industry 4.0 and Scientific Applications.
Project Management for Practice
In the 2nd edition, this book conveys updated content and, in addition to classic project management, now also agile project management in a practical manner and serves as a toolbox for projects. To this end, the most important terms and phases of project management are first explained in a standard-compliant manner. Then this book deals with cross-project cross-sectional topics and project phase-specific content, divided into agile and classic project management. Tips and hints, examples, templates and checklists from project practice in the automotive and IT environment complement the contents.For student readers, there is also an extensive question catalog to consolidate the knowledge learned. This gives readers good and quick access to the topic of project management and helps them to be able to carry out their projects successfully.
Learn Microsoft Power Apps - Second Edition
A step-by-step guide that will help you create, share, and deploy applications across your organization using Microsoft Power AppsPurchase of the print or Kindle book includes a free PDF eBookKey FeaturesBuild apps from scratch to solve real-world business scenariosLearn how to keep app data secure with expanded coverage on DataverseIncorporate AI into your app building process using AI Builder and CopilotBook DescriptionMicrosoft Power Apps provides a modern approach to building low-code business applications for mobiles, tablets, browsers, and Microsoft Teams. The second edition of Learn Microsoft Power Apps will guide you in creating well designed and secure apps that transform old processes and workflows.Learn Microsoft Power Apps starts with an introduction to Power Apps to help you feel comfortable with the creation experience. Using screenshots from the latest UI, you will be guided through how to create an app, building your confidence to start developing further. This book will help you design, set up, and configure your first application by writing simple formulas. You'll learn about the different types of apps you can build in Power Apps and which one applies best to your requirements.In addition to this, you'll learn how to identify the right data storage system for you, with new chapters covering how to integrate apps with SharePoint or Dataverse. As you advance, you'll be able to use various controls, connectors, and data sources to create a powerful, interactive app. For example, this book will help you understand how Power Apps can use Microsoft Power Automate, Power BI, and Azure functionalities to improve your applications. Finally, you will be introduced to the emerging Power Apps Copilot tool, which uses artificial intelligence to accelerate the app building process.By the end of this Power Apps book, you'll be ready to confidently develop lightweight business applications with minimal code.What you will learnUnderstand the Power Apps ecosystem and licensingTake your first steps building canvas appsDevelop apps using intermediate techniques such as the barcode scanner and GPS controlsExplore new connectors to integrate tools across the Power PlatformStore data in Dataverse using model-driven appsDiscover the best practices for building apps cleanly and effectivelyUse AI for app development with AI Builder and CopilotWho this book is forThis book is intended for business analysts, IT professionals, and both developers and non-developers alike. If you want to meet business needs by creating purpose-built apps, this book is for you. To get the most out of this book, it is recommended that you have a basic understanding of Microsoft 365 as you will interact with various elements of it while developing apps.Table of ContentsIntroducing Power AppsCreating Your First Canvas Power AppCreating Apps in SharePointPublishing and Leveraging in Power AppsExploring ControlsExploring FormulasExploring Reusable ControlsWorking With DataIntroducing ConnectorsUsing GPS in Power AppsWorking with Images and BarcodesSecuring Your PowerAppsWorking OfflineUsing Power Automate with Power AppsUsing Azure with Power AppsVisualizing DataIntroducing Artificial IntelligenceIntroducing Microsoft DataverseIntroducing Model-Driven AppsCreating Model-Driven AppsExploring Environments and Data PoliciesIntroducing the Future of Power AppsGood Practices for Creating Power AppsAppendix
Fundamentals of Computation Theory
This book constitutes the proceedings of the 24th International Symposium on Fundamentals of Computation Theory, FCT 2023, held in Trier, Germany, in September 2023. The __ full papers included in this volume were carefully reviewed and selected from __ submissions. In addition, the book contains ____ invited talks. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.
Pro Exchange Administration
Move to the current version of Exchange Server, whether it be stand-alone, on-premises, or in a hybrid configuration with Exchange Online. This updated edition provides background information on Exchange 2019, and teaches you how to bring it up to date and keep it up to date in a consistent state.The book starts with an introduction to Exchange Server, Active Directory, Exchange Online, and Azure Active Directory (AD). It takes you through designing and installing Exchange Server and guides you in managing it. You will learn Microsoft 365 integration with Azure AD in your Exchange Server. Moving to Exchange Online, Mail Flow, and authentication are also discussed, so you will better understand hybrid transport. As you progress through the book, you will see how to secure your Exchange Server with Azure App Proxy, message hygiene, and multi-factor authentication. Also covered are corporate compliance needs such as backup and restore, message records management, auditing, and information rights management. After reading this book, you will not only be able to install, configure, and maintain Exchange Server, you will also know how to secure and monitor the environment. What You Will LearnSecure your Exchange environment, including message hygieneCreate the best hybrid solution available for your needs using the best of both worldsImplement compliancy features in Exchange ServerManage and monitor the Exchange environmentWho This Book Is For System administrators, Windows administrators, network administrators, system engineers
Functional Design
A Practical Guide to Better, Cleaner Code with Functional Programming In Functional Design, renowned software engineer Robert C. Martin ("Uncle Bob") explains how and why to use functional programming to build better systems for real customers. Martin compares conventional object-oriented coding structures in Java to those enabled by functional languages, identifies the best roles for each, and shows how to build better systems by judiciously using them in context. Martin's approach is pragmatic, minimizing theory in favor of "in the-trenches" problem-solving. Through accessible examples, working developers will discover how the easy-to-learn, semantically rich Clojure language can help them improve code cleanliness, design, discipline, and outcomes. Martin examines well-known SOLID principles and Gang of Four Design Patterns from a functional perspective, revealing why patterns remain extremely valuable to functional programmers, and how to use them to achieve superior results. Understand functional basics: immutability, persistent data, recursion, iteration, laziness, and statefulness Contrast functional and object approaches through expertly crafted case studies Explore functional design techniques for data flow Use classic SOLID principles to write better Clojure code Master pragmatic approaches to functional testing, GUIs, and concurrency Make the most of design patterns in functional environments Walk through building an enterprise-class Clojure application "Functional Design exudes 'classic-on-arrival'. Bob pulls back the curtain to reveal how functional programming elements make software design simple yet pragmatic. He does so without alienating experienced object-oriented programmers coming from languages like C#, C++, or Java."--Janet A. Carr, Independent Clojure Consultant Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.
Coding Interview
Coding interviews have changed over the years, and the expectations are now firmer than ever. Interviewers not only want to assess your programming skills but also want to assess your behavior during the interview. It is important to develop the right practices and attitude before you go for the interview. You need to display the right skills so the interviewer can hire you without a doubt. Your communication and problem-solving methods also give the interviewer a fair idea about how well you can approach different situations at work. This book has all the information you need about coding interviews and leaves you with some example programs you can use in the interview. The book also has some tips and tricks you can use to determine how to behave in an interview. The list is not exhaustive, but it should give you an edge over the other applicants.
Introduction to Probability for Computing
Learn about probability as it is used in computer science with this rigorous, yet highly accessible, undergraduate textbook. Fundamental probability concepts are explained in depth, prerequisite mathematics is summarized, and a wide range of computer science applications is described. Throughout, the material is presented in a "question and answer" style designed to encourage student engagement and understanding. Replete with almost 400 exercises, real-world computer science examples, and covering a wide range of topics from simulation with computer science workloads, to statistical inference, to randomized algorithms, to Markov models and queues, this interactive text is an invaluable learning tool whether your course covers probability with statistics, with stochastic processes, with randomized algorithms, or with simulation. The teaching package includes solutions, lecture slides, and lecture notes for students.
Designing and Implementing Cloud-Native Applications Using Microsoft Azure Cosmos DB
This book will help prepare you for the Microsoft DP-420 exam. Whether you are new to Azure Cosmos DB or have experience working with the platform, Designing and Implementing Cloud-Native Applications Using Microsoft Azure Cosmos DB is organized to address the specific skills measured in the DP-420 exam. The topics covered include NoSQL models, code, and real-world scenarios aimed at helping you to understand and solve the case studies included in the exam. Beyond the exam, this book will assist you in your journey to adopt Microsoft Azure Cosmos DB for your own projects. You'll learn what makes Azure Cosmos DB such a robust NoSQL service, as well as how NoSQL approaches help enable modern applications. You'll also get practical guidance for your own implementations. The topics covered in this book are essential to knowing how to leverage the Cosmos DB service and provide best practices that will guide you to success both on the exam and in your career. What You Will Learn Understand and hone the skills needed to pass the DP-420 examGain insight into the test-taking experience, whether at a testing center or virtuallyEvaluate and understand features of Azure Cosmos DB using real-world use cases and code samplesLearn from case studies in the book that will help you to correctly address case studies in the examBuild a foundation that goes beyond the exam and gives you the confidence to implement Azure Cosmos DB in your own projectsDetermine the trade-offs between different configurations, whether your implementation is small and local or large and requires global scale Who This Book Is For Anyone planning to take the DP-420 exam, as well as developers, engineers, and architects seeking a better understanding of Azure Cosmos DB and how it is used in developing modern applicationsusing a NoSQL approach.
Applied Computer Sciences in Engineering
This book constitutes the refereed proceedings of the 10th Workshop on Engineering Applications, WEA 2023, held in Cartagena, Colombia, during November 1-3, 2023. The 37 full papers included in this book were carefully reviewed and selected from 93 submissions. They were organized in topical sections as follows: ​ artificial intelligence; optimization; and simulation.
Jetpack Compose 1.4 Essentials
This book teaches you how to build Android applications using Jetpack Compose 1.4, Android Studio Giraffe (2023.2.1), Material Design 3, and the Kotlin programming language.The book begins with the basics by explaining how to set up an Android Studio development environment.The book also includes in-depth chapters introducing the Kotlin programming language, including data types, operators, control flow, functions, lambdas, coroutines, and object-oriented programming.An introduction to the key concepts of Jetpack Compose and Android project architecture is followed by a guided tour of Android Studio in Compose development mode. The book also covers the creation of custom Composables and explains how functions are combined to create user interface layouts, including row, column, box, flow, pager, and list components.Other topics covered include data handling using state properties, key user interface design concepts such as modifiers, navigation bars, and user interface navigation. Additional chapters explore building your own reusable custom layout components.The book covers graphics drawing, user interface animation, transitions, Kotlin Flows, and gesture handling.Chapters also cover view models, SQLite databases, Room database access, the Database Inspector, live data, and custom theme creation. Using in-app billing, you will also learn to generate extra revenue from your app.Finally, the book explains how to package up a completed app and upload it to the Google Play Store for publication.Along the way, the topics covered in the book are put into practice through detailed tutorials, the source code for which is also available for download.Assuming you already have some rudimentary programming experience, are ready to download Android Studio and the Android SDK, and have access to a Windows, Mac, or Linux system, you are ready to start.
Coding Clean, Reliable, and Safe Rest APIs with ASP.NET Core 8
Learn ASP.NET Core APIs delivered in its latest version of the Microsoft Framework: .NET 8. This book will show you how to develop APIs with ASP.NET Core 8. Author Anthony Giretti will reveal all you need to know about HTTP protocol, REST architecture style, and ASP.NET Core 8. You will learn what reflexes and mindset a developer must have to approach the development of an API of medium complexity. By performing CRUD operations on a SQL Server database, you will see how to set up a clean and reliable application with industry best practices (clean code, security, observability, optimization and testing). After completing Coding Clean, Reliable, and Safe REST APIs with ASP.NET Core 8, you will be able to develop many kinds of APIs that require a senior developer level of knowledge and provide your customers with high-quality APIs. What You Will Learn Discover the latest version of ASP.NET Core 8Code REST APIs with minimal APIsBecome familiar with clean code principlesOptimize performances with caching, background tasks and moreMake APIs resilient by handling SQL and HttpClient transient errorsUnderstand the importance of observabilityImplement Authentication and AuthorizationGrasp OWASP principlesProtect sensitive dataMaster unit testing best practices Who This Book Is For Beginner and intermediate professionals wishing to build clean, reliable and safe ASP.NET Core APIs and elevate their skills to a senior developer level.
Power BI DAX
"Power BI DAX: A Guide to Using Basic Functions in Data Analysis" is your gateway to unleashing the full potential of Power BI. Discover the language of DAX, from fundamentals to advanced techniques. Learn essential functions like SUM, AVERAGE, IF, and explore advanced calculations with strings, time, and finance. With step-by-step guidance and real-world examples, you'll master DAX for dynamic visualizations, data modeling, and performance optimization. Whether a seasoned analyst or a beginner, this book empowers you to transform raw data into valuable insights. Unlock the power of DAX in Power BI and become a true data analysis master. Get your copy now!
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.
Technologies and Innovation
This book constitutes the refereed proceedings of the 9th International Conference on Technologies and Innovation, CITI 2023, held in Guayaquil, Ecuador, during November 13-16, 2023. The 20 full papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: Machine Learning; Natural Language Processing and Semantic Web; Computer vision; and Knowledge-based systems.
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.
Quantum Computing Algorithms
Explore essential quantum computing algorithms and master concepts intuitively with minimal math expertise required Key Features: Learn the fundamentals with an introduction to matrix arithmeticWrite quantum computing programs in Qiskit-IBM's publicly available quantum computing websiteEmail your questions directly to the author-no question is too elementaryPurchase of the print or Kindle book includes a free PDF eBookBook Description: Navigate the quantum computing spectrum with this book, bridging the gap between abstract, math-heavy texts and math-avoidant beginner guides. Unlike intermediate-level books that often leave gaps in comprehension, this all-encompassing guide offers the missing links you need to truly understand the subject.Balancing intuition and rigor, this book empowers you to become a master of quantum algorithms. No longer confined to canned examples, you'll acquire the skills necessary to craft your own quantum code. Quantum Computing Algorithms is organized into four sections to build your expertise progressively.The first section lays the foundation with essential quantum concepts, ensuring that you grasp qubits, their representation, and their transformations. Moving to quantum algorithms, the second section focuses on pivotal algorithms - specifically, quantum key distribution and teleportation.The third section demonstrates the transformative power of algorithms that outpace classical computation and makes way for the fourth section, helping you to expand your horizons by exploring alternative quantum computing models.By the end of this book, quantum algorithms will cease to be mystifying as you make this knowledge your asset and enter a new era of computation, where you have the power to shape the code of reality.What You Will Learn: Define quantum circuitsHarness superposition and entanglement to solve classical problemsGain insights into the implementation of quantum teleportationExplore the impact of quantum computing on cryptographyTranslate theoretical knowledge into practical skills by writing and executing code on real quantum hardwareExpand your understanding of this domain by uncovering alternative quantum computing modelsWho this book is for: This book is for individuals familiar with algebra and computer programming, eager to delve into modern physics concepts. Whether you've dabbled in introductory quantum computing material or are seeking deeper insights, this quantum computing book is your gateway to in-depth exploration.
Research and Evidence in Software Engineering
Research and Evidence in Software Engineering: From Empirical Studies to Open Source Artifacts introduces advanced software engineering to software engineers, scientists, postdoctoral researchers, academicians, software consultants, management executives, doctoral students, and advanced level postgraduate computer science students.This book contains research articles addressing numerous software engineering research challenges associated with various software development-related activities, including programming, testing, measurements, human factors (social software engineering), specification, quality, program analysis, software project management, and more. It provides relevant theoretical frameworks, empirical research findings, and evaluated solutions addressing the research challenges associated with the above-mentioned software engineering activities.To foster collaboration among the software engineering research community, this book also reports datasets acquired systematically through scientific methods and related to various software engineering aspects that are valuable to the research community. These datasets will allow other researchers to use them in their research, thus improving the quality of overall research. The knowledge disseminated by the research studies contained in the book will hopefully motivate other researchers to further innovation in the way software development happens in real practice.
SQL Server Database Programming with Java
This textbook covers both fundamental and advanced Java database programming techniques for beginning and experienced students as well as programmers (courses related to database programming in Java with Apache NetBeans IDE 12 environment). A sample SQL Server 2019 Express database, CSE_DEPT, is created and implemented in all example projects throughout this textbook. Over 40 real sample database programming projects are covered in this textbook with detailed illustrations and explanations to help students understand the key techniques and programming technologies. Chapters include homework and selected solutions to strengthen and improve students' learning and understanding for topics they study in the classroom. Both Java desktop and Web applications with SQL Server database programming techniques are discussed and analyzed. Some updated Java techniques, such as Java Server Pages (JSP), Java Server Faces (JSF), Java Web Service (JWS), JavaServer Pages Standard Tag Library (JSTL), JavaBeans and Java API for XML Web Services (JAX-WS) are also discussed and implemented in the real projects developed in this textbook. This textbook targets mainly advanced-level students in computer science, but it also targets entry-level students in computer science and information system. Programmers, software engineers and researchers will also find this textbook useful as a reference for their projects.
C# for Beginners
Looking For An Easy To Follow & Comprehensive C# Programming Guide? Want to learnthe secrets of C# programming language but don't have the time to watch all those endless explainer videosand tutorials? Need a quick, simple and easy-to-follow C# guide? Here's how you can master the popular C#programming language and start developing your own Microsoft platform apps!The Ultimate C#Programming Language Guide - Everything You Need To Know In A Nutshell! By the end of thisall-inclusive beginner's guide to C# programming language, you will learn everything you need, including: - Variables- Data Types- User Input- Operators- Functions-Control Structures- Programming TutorialsAs a result, our all-in-one C# guide will help yougain an in-depth understanding of programming fundamentals and enhance your programming skills withouthaving to spend a small fortune or waste time watching hours of boring videos.And The BestPart?You can do it at your own pace, come back to any part you need to revise and re-take everystep from the beginning. Unlike those videos that you have to rewind every time you have a questions, our C#guide will allow you to maximize your efficiency and minimize the time needed to master the C# programminglanguage!What Are You Waiting For? Nathan Metzler, the author of this in-depthguide, has been one of the C# language pioneers ever since it was first developed and started gainingpopularity. His years of experience will enable you to understand the basics of C# programming languagefaster in a fun and easy way. Plus, the simple writing style will make you forget that you are reading a bookabout computer programming languages and allow you to focus better on your results.Click "BuyNow" If You Want To Take Your App Programming Skills To Another Level & Master C#!
Fighting Back the von Neumann Bottleneck with Small- and Large-Scale Vector Microprocessors
In his seminal Turing Award Lecture, Backus discussed the issues stemming from the word-at-a-time style of programming inherited from the von Neumann computer. More than forty years later, computer architects must be creative to amortize the von Neumann Bottleneck (VNB) associated with fetching and decoding instructions which only keep the datapath busy for a very short period of time. In particular, vector processors promise to be one of the most efficient architectures to tackle the VNB, by amortizing the energy overhead of instruction fetching and decoding over several chunks of data. This work explores vector processing as an option to build small and efficient processing elements for large-scale clusters of cores sharing access to tightly-coupled L1 memory
The Scrum Anti-Patterns Guide
Unlock Scrum success for beginners and experts alike with The Scrum Anti-Patterns Guide, your key to understanding and elevating Scrum practices. Scrum is simple to understand but difficult to master. As a framework, Scrum is particularly challenging as there is no formal education tailored to these roles and no comprehensive set of practices readily available to those interested in applying it. The Scrum Guide 2020 describes its underlying principles only in the broadest strokes--from applying Scrum to complex adaptive problems to embracing self-management--but the Scrum Guide is not at all prescriptive about how Scrum Teams work. The Scrum Anti-Patterns Guide compiles the most common challenges that every Scrum Team faces and how to remedy them. Stefan Wolpers uses the Scrum Guide as a template to structure the content, thus supporting the junior practitioner's Scrum discovery journey (categorized by roles, events, artifacts, and commitments) while allowing the more experienced reader to use the book to reference individual problems or situations. Addresses Scrum anti-patterns for both novices and experienced practitioners Offers actionable insights into why Scrum implementations fall short and how to improve Covers real-time course corrections and improvements in Scrum practice Maximize Scrum success with this quick reference to the most common Scrum anti-patterns and how to resolve them. "Stefan Wolpers has a remarkable ability to highlight underlying traps and issues for stakeholders, teams, and process. Wolpers documents sources of waste and frustration, an amazing compendium of typical ways progress becomes blocked. Depressing! He doesn't leave us there though. He also recommends insightful remedies. Uplifting!" --Diana Larsen, speaker, advisor, author, and co-developer of the Agile Fluency(R) Model Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.
Software Development: A Career Guide
Software is typically developed to meet the demands of potential customers, clients and businesses or for personal use. Software development refers to the process of designing, programming, conceiving, testing, documenting and bug fixing which are inherent processes involved in the creation and maintenance of software components. Writing and managing the source code is an important aspect of software development. Software products are developed through meticulous research, prototyping, reuse, re-engineering, etc. Some of the many professionals involved in this functional domain are computer programmers, software developers, software engineers, consulting software engineers and software publishers, among many others. This textbook provides comprehensive insights into the field of software development. Most of the topics introduced herein discuss the various careers involved in this domain and the ways to succeed in them. It is an essential guide for both academicians and those who wish to pursue this discipline further.
Web API Development for the Absolute Beginner
If you are a developer who wants to learn the basic skills of web and application programming interfaces (APIs) with .NET, this book is your complete introduction. The book takes a learn-by-experience approach. You will hit the ground running with a sample project that has everything you need to be wired up.As you follow along, you will learn simple and intuitive conventions that will free you from some of the more tedious decisions and work, in order to allow you to focus on the business requirements required by your team. Certain components of the framework should always appear in certain folders in the solution to speed up development while others need a name that follows particular conventions. You will learn the building blocks of Web API and how to leverage them to have a well-rounded API. Understanding these small but important tricks will make development faster, easier, and more pleasant, and will prevent time-consuming errors.Part I introduces you to the basics of Web. Part II gets you started creating an API that you will use and build upon throughout the book until you have a complete project. All companion code is available via GitHub. Part III covers more advanced concepts, including how to override out-of-the-box conventions to customize an API to meet your specific business needs. By the end of the book you will have a fully functional API, and you will be better prepared for an interview for a .NET backend developer job.What You Will Learn Build a start-to-finish Web APIKnow the main concepts of the WebApply best practices in API development to your own projectsKnow the fundamentals of Web API developmentKnow the fundamentals of a RESTful APILeverage Web API constructs to implement a clean and extensible APIGet hands-on experience to unit test a Web APIGain the skills required to apply for a junior or entry-level .NET Web developer job Who This Book Is ForDevelopers who want to learn API development with .NET. It is helpful to have some basic C# programming knowledge because it is used in API development in .NET, but it is not mandatory. Readers should be familiar with a programming language to be able to understand code and examples. Experience with web development is not necessary.
Confident Coding
Coding is one of the most in-demand skills in the job market. Whether you're a recent graduate or a professional, Confident Coding offers the career insights and technical knowledge you need for success. A unique combination of technical insights and fascinating career guidance, this book highlights the importance of coding, whatever your professional profile. For entrepreneurs, being able to create your own website or app can grant you valuable freedom and revolutionize your business. For aspiring developers, this book will give you the building blocks to embark on your career path. This new and improved third edition of the award-winning book gives you a step-by-step learning guide to HTML, CSS, JavaScript, Python, building iPhone and Android apps and debugging. Confident Coding is the essential guide to mastering the fundamentals of coding. About the Confident series...From coding and data science to cloud and cyber security, the Confident books are perfect for building your technical knowledge and enhancing your professional career.
Applicable Formal Methods for Safe Industrial Products
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems. Since 1994 he has worked as a consultant to industry, specializing in development methods, verification, validation and test of safety-critical systems, and since 1995 he has been a Professor of Computer Science at the University of Bremen. In his research he has been most interested in the combination and application of existing methods and corresponding tools to real-world problems, particularly in the field of safety-critical embedded systems and distributed systems, including avionics and railway control systems. The papers in this volume reflect those interests, and the impact he has had on colleagues and collaborators. The volume is structured into sections on testing; railway verification and safety & security; intelligent systems and cyber-physical systems; and tools and techniques for specification, verification and code generation.
Logic and Engineering of Natural Language Semantics
This volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference, LENLS 2019, held in November 2022, in Tokyo, Japan. The 13 full papers presented were carefully reviewed and selected from 34 submissions. The conference focuses on theoretical and computational linguistics covering topics ranging from syntax, semantics, and pragmatics to the philosophy of language and natural language processing.
Job Scheduling Strategies for Parallel Processing
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2023, held in St. Petersburg, FL, USA, during May 19, 2023. The 8 full papers and one keynote paper included in this book were carefully reviewed and selected from 14 submissions. The volume contains two sections: keynote and technical papers.
String Processing and Information Retrieval
This volume LNCS 14240 constitutes the refereed proceedings of the 30th International Symposium on String Processing and Information Retrieval, SPIRE 2023, held in Pisa, Italy, during September 26-28, 2023. The 31 full papers presented were carefully reviewed and selected from 47 submissions. They cover topics such as: data structures; algorithms; constrained Substring complexity; data compression codes; succinct k-spectra; and LCP array of wheeler DFAs.
Electronic Governance with Emerging Technologies
This book constitutes the refereed proceedings of the Second International Conference on Electronic Governance with Emerging Technologies, EGETC 2023, held in Poznan, Poland, during September 11-12, 2023.The 15 full papers and one short paper presented were thoroughly reviewed and selected from the 76 submissions. This volume focuses on the recent developments in the domain of eGovernment and governance of digital organizations also aims to shed light on the emerging research trends and their applications.
Pro Power Bi Theme Creation
Use JSON theme files to standardize the look of Power BI dashboards and reports. This book shows how you can create theme files using the Power BI Desktop application to define high-level formatting attributes for dashboards as well as how to tailor detailed formatting specifications for individual dashboard elements in JSON files. Standardize the look of your dashboards and apply formatting consistently over all your reports. The techniques in this book provide you with tight control over the presentation of all aspects of the Power BI dashboards and reports that you create. Power BI theme files use JSON (JavaScript Object Notation) as their structure, so the book includes a brief introduction to JSON as well as how it applies to Power BI themes. The book further includes a complete reference to all the current formatting definitions and JSON structures that are at your disposal for creating JSON theme files up to the May 2023 release of Power BI Desktop. Finally, the book includes dozens of theme files, from the simple to the most complex, that you can adopt and adapt to suit your own requirements. What You Will Learn Produce designer output without manually formatting every individual visual in a Power BI dashboardStandardize presentation for families of dashboard typesSwitch presentation styles in a couple of clicksSave dozens, or hundreds, of hours laboriously formatting dashboardsDefine enterprise-wide presentation standardsRetroactively apply standard styles to existing dashboards Who This Book Is For Power BI users who want to save time by defining standardized formatting for their dashboards and reports, IT professionals who want to create corporate standards of dashboard presentation, and marketing and communication specialists who want to set organizational standards for dashboard delivery.
Theories of Programming and Formal Methods
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. The first paper in the volume provides an overview of Jifeng's research contributions, especially in the area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng's recent roadmap for UTP.
Persistence Best Practices for Java Applications
The definitive guide for designing and delivering reliable and high-performing persistence layers using Java in the cloud-native agePurchase of the print or Kindle book includes a free PDF eBookKey Features: Uncover database patterns for designing readable and maintainable architectures and Java applicationsMaster various techniques to overcome application and architecture persistence challengesDiscover painless application modernization with change-data-capture powered by cloud-native technologiesBook Description: Having a solid software architecture breathes life into tech solutions. In the early stages of an application's development, critical decisions need to be made, such as whether to go for microservices, a monolithic architecture, the event-driven approach, or containerization. In Java contexts, frameworks and runtimes also need to be defi ned. But one aspect is often overlooked - the persistence layer - which plays a vital role similar to that of data stores in modern cloud-native solutions. To optimize applications and data stores, a holistic understanding of best practices, technologies, and existing approaches is crucial.This book presents well-established patterns and standards that can be used in Java solutions, with valuable insights into the pros and cons of trending technologies and frameworks used in cloud-native microservices, alongside good Java coding practices. As you progress, you'll confront the challenges of cloud adoption head-on, particularly those tied to the growing need for cost reduction through stack modernization. Within these pages, you'll discover application modernization strategies and learn how enterprise data integration patterns and event-driven architectures enable smooth modernization processes with low-to-zero impact on the existing legacy stack.What You Will Learn: Gain insights into data integration in Java services and the inner workings of frameworksApply data design patterns to create a more readable and maintainable design systemUnderstand the impact of design patterns on program performanceExplore the role of cloud-native technologies in modern application persistenceOptimize database schema designs and leverage indexing strategies for improved performanceImplement proven strategies to handle data storage, retrieval, and management efficientlyWho this book is for: If you're a developer, engineer, or software architect working in the field of software development, particularly with a focus on Java solutions, this book is for you.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.
Quality of Information and Communications Technology
This book constitutes the refereed proceedings of the 16th International Conference on Quality of Information and Communications Technology, QUATIC 2023, held in Aveiro, Portugal, during September 11-13, 2023.The 17 full papers and 4 short papers included in this book were carefully reviewed and selected from 37 submissions. They were organized in topical sections as follows: Disseminating Advanced Methods, Techniques, and Tools for Supporting Quality ICT Engineering and Management Approaches.
Formal Methods for an Informal World
This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understanding and formal and informal analysis. The target audience consists of graduate students, young researchers and industrial practitioners, from both computer science and other fields that make use of computational methods.
Linux Containers and Virtualization
This book is a practical, comprehensive guide to creating secure and efficient Linux containers using the Rust programming language. It utilizes a hands-on approach to teach Rust's programming constructs, security features, and its application in containerization. Author Shashank Mohan Jain starts with a gentle introduction to Rust to help you grasp the language's core concepts, syntax, and unique memory safety guarantees. He then transitions into the realm of Linux container development, where Rust shines as a robust and secure language for building containerized applications. Through hands-on examples, you will gain a deep understanding of how to harness Rust's features to create lightweight and secure Linux containers and how to leverage its strong type system and ownership model to eliminate common bugs and ensure memory safety in containerized applications. As you progress, you'll explore the intricacies of working with system resources, networking, and interacting withthe host operating system while maintaining isolation and security within the containers, as well as how Rust's concurrency model can build performant and responsive containerized applications. The book also covers advanced topics such as secure configuration handling, logging, and handling authentication within your containerized environment. After completing this book, you will be well-versed in Rust programming, equipped to create efficient and secure Linux containers, and confident in your ability to develop containerized applications for a variety of use cases. What You Will Learn Understand the basics of the Rust programming languageUnderstand Rust's security featuresCreate Linux constructs like namespaces in RustDevelop your own container runtime using Rust Who This Book Is For Developers, Architects and SREs working with cloud applications and dealing with container based workloads.
Grokking Algorithms
Algorithms will always be the central point of efficient development, and you will use them everywhere. You'll need to use them when writing code, you'll come across them at every coding interview you attend, and they will definitely be part of your daily development work. Even more, they are part of life, and throughout this book, I'll show you some real-world examples of algorithms to help you understand them more easily. What is algorithmic thinking, though? And how do you use it to help you work through a problem?How to Use Algorithmic Thinking For many people, algorithmic thinking is a complete change in their thinking. The concept isn't difficult - it's merely a way of systematically thinking through a problem and finding the solution, much the same way a computer runs.
Grokking Algorithms
Welcome to Grokking Algorithms: Advanced Methods to learn and use Grokking Algorithms and Data structures for Programming.Even before the conception of the computer itself, algorithms existed. After the computer was introduced and with all the development that followed, the number of existing algorithms grew increasingly. At this stage, it wouldn't be wrong to say that algorithms are the core of what computing today is capable of. Grokking Algorithms provides a very comprehensive and interesting introduction to the world of computer algorithms. We will look at a lot of algorithms and their uses, and we'll even learn how to manipulate them step by step. Even though the book is aimed at an audience with a more advanced level of knowledge, we have tried to convey most of the explanations and knowledge contained within the book in an easygoing manner to make it easier to understand.
Hands-On Test-Driven Development
Learn to properly test Ruby and Ruby on Rails applications by first writing failing tests, and then by implementing application code to make the failing tests pass. This book will teach you how to employ test-driven development (TDD) using RSpec while building a blog from start to finish. By the end of the book, you will be ready to deploy their fully tested blog to their own production web server using the latest versions of Ruby 3 and Ruby on Rails 7. The biggest challenge with learning and becoming comfortable with test-driven development is that software engineers often cannot imagine what writing a failing test looks like in practice. They write their implementation code first, and only then think about writing tests around their implementation code. This leads to tests that pass by accident, or tests that do not actually test anything. This book will give you the confidence to write tests in the RSpec domain-specific language. You will see your tests fail "properly" before proceeding with writing any implementation code to get them to pass. This book covers the latest techniques for writing RSpec tests, including "system" specs, and the often overlooked "view" specs, and how to integrate RSpec with other tools like Capybara, headless Chrome, and the new web driver gem. It also covers FactoryBot for mock test data and offers experienced advice on how to avoid creating tests that fail randomly. What You Will Learn Build a blog application from start to finish using test driven developmentInstall and explore popular tools used in professional Ruby software engineeringEvaluate the benefits of effective testing in RSpecExplore Capistrano for advanced user interface testing Who Is This Book For Beginner to intermediate Ruby software engineers who are interested in learning to use TDD with RSpec to test and build web applications using Ruby on Rails. Readers should have some basic experience with Ruby and Ruby on Rails and have read the "Getting Started with Rails" guide, or something similar.
Testing Software and Systems
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.
Modern Data Architecture on Azure
This book is an exhaustive guide to designing and implementing data solutions on Azure. It covers the process of managing data from end to end, starting from data collection all the way through transformation, distribution, and consumption. Modern Data Architecture on Azure begins with an introduction to the fundaments of data management, followed by a demonstration of how to build relational and non-relational data solutions on Azure. Here, you will learn data processing for complex analysis and how to work with CSV and JSON files. Moving forward, you will learn the foundational concepts of big data architecture, along with data management patterns and technology options offered by Azure. From there, you'll be walked through the data architecture process, including data consortium on Azure, enterprise data governance, and much more. The book culminates with a deep dive into data architecture frameworks with data modeling. After reading this book, you will have a thorough understanding of data design and analytics using Azure, allowing you to collect and analyze massive amounts of data to optimize business performance, forecast future results, and more. What Will You Learn Understand the fundamentals of data architecture including data management, data handling ethics, data governance, and metadata managementAnalyze and understand business needs to choose the right Azure services and make informed business decisionsUnderstand Azure Cloud Data design patterns for relational and non-relational data, batch real-time processing, and ETL/ELT pipelinesModernize data architecture using Azure to leverage data and AI to enable digital transformation by securing and optimizing overall data lifecycle management Who Is This Book For: Data solution architects, data engineers, and IT consultants who want to gain a better understanding of modern data architecture design and implementation on Azure.
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).
Origins and Development of Recollection
In the past decade, artificial intelligence has been making waves. From self-driving cars to Siri to Alexa, artificial intelligence is everywhere. But what exactly is it? The term "artificial intelligence" was coined in 1956 by John McCarthy, a computer scientist at Dartmouth College. His work was based on the idea that computers could be made to exhibit intelligent behavior if they were programmed correctly. Since then, many people have taken up the mantle of creating intelligent machines-from engineers and computer scientists like Alan Turing and John von Neumann to psychologists like B. F. Skinner and Ivan Pavlov. And today, dozens of different types of artificial intelligence algorithms are being used by companies worldwide: deep learning algorithms, machine learning algorithms... even genetic algorithms!
Artist Management for the Music Business
This book provides detailed guidance around architecting and deploying Power BI reporting solutions, including help and best practices for sharing and security. You'll find chapters on dataflows, shared datasets, composite model and DirectQuery connections to Power BI datasets, deployment pipelines, XMLA endpoints, and many other important features related to the overall Power BI architecture that are new since the first edition. You will gain an understanding of what functionality each of the Power BI components provide (such as Dataflow, Shared Dataset, Datamart, thin reports, and paginated reports), so that you can make an informed decision about what components to use in your solution. You will get to know the pros and cons of each component, and how they all work together within the larger Power BI architecture. Commonly encountered problems you will learn to handle include content unexpectedly changing while users are in the process of creating reports and building analyses, methods of sharing analyses that don't cover all the requirements of your business or organization, and inconsistent security models. Detailed examples help you to understand and choose from among the different methods available for sharing and securing Power BI content so that only intended recipients can see it. The knowledge provided in this book will allow you to choose an architecture and deployment model that suits the needs of your organization. It will also help ensure that you do not spend your time maintaining your solution, but on using it for its intended purpose: gaining business value from mining and analyzing your organization's data. What You Will Learn Architect Power BI solutions that are reliable and easy to maintain Create development templates and structures in support of reusabilitySet up and configure the Power BI gateway as a bridge between on-premises data sourcesand the Power BI cloud serviceSelect a suitable connection type--Live Connection, DirectQuery, Scheduled Refresh, or Composite Model--for your use caseChoose the right sharing method for how you are using Power BI in your organizationCreate and manage environments for development, testing, and productionSecure your data using row-level and object-level security Save money by choosing the right licensing plan Who This Book Is For Data analysts and developers who are building reporting solutions around Power BI, as well as architects and managers who are responsible for the big picture of how Power BI meshes with an organization's other systems, including database and data warehouse systems.
