- Table View
- List View
Professional ASP.NET 4 in C# and VB
by Scott Hanselman Bill Evjen Devin RaderThis book introduces you to the features and capabilities that ASP.NET 4 offers, and explains the foundation that ASP.NET provides. It covers each major new feature included in ASP.NET 4 in detail. Retaining the unique C# and VB dual language coverage, this edition retains many great features from previous versions, including both printed and downloadable VB and C# code examples. Other expert coverage include IIS and the provider model, site navigation, design, debugging, modules and handlers, Silverlight, CSS, Ajax and the Ajax Control Toolkit, jQuery, and MVC.
Agile in der Unternehmenspraxis: Fallstricke erkennen und vermeiden, Potenziale heben
by Inge HanschkeDas Praxisbuch bietet eine pr#65533;gnante Einf#65533;hrung zum Thema agile Methoden und Techniken wie z. B. Scrum und Kanban sowie Continuous Delivery und DevOps. Weitere Schwerpunktthemen sind u. a. Agilit#65533;t in hierarchisch gepr#65533;gten oder ,,formalen" Unternehmen erfolgreich einf#65533;hren und betreiben sowie agile Planungen im Vorfeld und innerhalb von Projekten. Die Autorin gibt zahlreiche Tipps und Tricks sowie unmittelbar anwendbare Leitf#65533;den und Empfehlungen an die Hand.
Digitaler Wandel – lean & systematisch: Disruptive und evolutionäre Innovationen ganzheitlich vorantreiben in Business & IT
by Inge HanschkeDie digitale Transformation erfolgreich meistern:- Voraussetzungen schaffen und Business-Agilität enablen- Neue disruptive oder evolutionäre Geschäftsmodelle - Wettlauf um Produkte und Märkte von morgen gewinnenStarten Sie Schnellboote und fangen Sie diese geordnet ein!Gestalten Sie Ihre Organisation und Prozesse lean und digital; Nutzen Sie bewährte Best-Practices.Werden Sie zum Innovator, bauen Sie Ihr Business Eco-System auf und befähigen Sie Ihre Organisation für die Digitalisierung mit Hilfe der Best-Practices aus diesem Buch
Informationssicherheit und Datenschutz systematisch und nachhaltig gestalten: Eine kompakte Einführung in die Praxis (essentials)
by Inge HanschkeIn diesem Buch werden die Anforderungen der EU-Datenschutz-Grundverordnung (EU-DSGVO ) und des Informationssicherheitsmanagements eingeführt. Es wird aufgezeigt, welche wesentlichen Bestandteile für ein integriertes, einfaches und effektives Management-Instrumentarium erforderlich sind. Durch die Kombination mit Enterprise Architecture Management, IT-Servicemanagement und weiteren Disziplinen in ein integriertes Managementsystem kann die Wirksamkeit noch erhöht werden. Neben einer Einführung erhält der Leser Tipps und Tricks für die typischen Fallstricke in der Praxis sowie unmittelbar anwendbare Leitfäden und Empfehlungen – und dies kurz und prägnant.
Informationssicherheit und Datenschutz systematisch und nachhaltig gestalten: Eine kompakte Einführung in die Praxis (essentials)
by Inge HanschkeIn diesem Buch werden die Anforderungen der EU-Datenschutz-Grundverordnung (EU-DSGVO) und des Informationssicherheitsmanagements eingeführt. Es wird aufgezeigt, welche wesentlichen Bestandteile für ein integriertes, einfaches und effektives Management-Instrumentarium erforderlich sind. Durch die Kombination mit Enterprise Architecture Management, IT-Servicemanagement und weiteren Disziplinen in ein integriertes Managementsystem kann die Wirksamkeit noch erhöht werden. Neben einer Einführung erhält der Leser Tipps und Tricks für die typischen Fallstricke in der Praxis sowie unmittelbar anwendbare Leitfäden und Empfehlungen – und dies kurz und prägnant. In der 2. Auflage wurden kleinere Fehler korrigiert.
Strategic IT Management
by Inge HanschkeFor you as an IT manager, changes in business models and fast-paced innovation and product lifecycles pose a big challenge: you are required to anticipate the impact of future changes, and to make rapid decisions backed up by solid facts. To be successful you need an overall perspective of how business and IT interact. What you need is a toolkit, enabling you to manage the enterprise from a helicopter viewpoint while at the same time accommodating quite detailed aspects of processes, organization, and software lifecycles. Strategic IT management embraces all the processes required to analyze and document an enterprise's IT landscape. Based on the experience of many projects and long discussions with both customers and academic researchers, Inge Hanschke provides you with a comprehensive and practical toolkit for the strategic management of your IT landscape. She takes a holistic view on the management process and gives guidelines on how to establish, roll out, and maintain an enterprise IT landscape effectively. She shows you how to do it right first time - because often enough there's no second chance. She tells you how to tidy up a IT patchworks - the first step towards strategic management - and she gives you advice on how to implement changes and maintain the landscape over time. The book's structure reflects the patterns that exist in strategic IT management from strategic planning to actual implementation. The presentation uses many checklists, guidelines, and illustrations, which will help you to immediately apply the content. So, if you are a CIO, an IT manager, a business manager, or an IT consultant, this is the book from which you'll benefit in most daily work situations.
Strategische Planung in Business und IT – lean, agil & systematisch: Strategien, Roadmap und Leitplanken für den ständigen Wandel einfach & effektiv
by Inge HanschkeMit diesem Buch erhalten Sie kompaktes Wissen zur Ausrichtung der IT an den Geschäftserfordernissen:- Geschäftstreiber verstehen und nachvollziehbar dokumentieren- Systematisch Anforderungen an die IT ableitenMit dem Ziel-Bild vor Augen und der Roadmap für die Umsetzung gestalten Sie die digitale Transformation – vom Business bis zur technischen Umsetzung. Schaffen Sie so die organisatorischen Voraussetzungen für die strategische IT-Planung. Dashboards und KPIs zur wirksamen Steuerung der Umsetzung der Planung sind dabei wichtige Hilfsmittel. Ein Schritt-für-Schritt-Leitfaden und ein ausführliches Glossar unter-stützen Sie bei Ihrer Arbeit.
Official (ISC)2® Guide to the CISSP®-ISSEP® CBK®
by Susan HanscheThe Official (ISC)2 Guide to the CISSP-ISSEP CBK provides an inclusive analysis of all of the topics covered on the newly created CISSP-ISSEP Common Body of Knowledge. The first fully comprehensive guide to the CISSP-ISSEP CBK, this book promotes understanding of the four ISSEP domains: Information Systems Security Engineering (ISSE); Certifica
Oracle Siebel CRM 8 Developer's Handbook
by Alexander HansalThis book uses a real-life case study to provide easy-to-follow examples that are radically practical and can be easily adapted to similar situations in Siebel CRM implementation projects.The book ensures that you know what you are doing and why you are doing it by providing useful insight along with detailed practical instructions. It contains a multitude of explanatory tables, screenshots, and precise diagrams to illustrate the topics.When you have finished the book you will feel prepared to participate in Siebel CRM implementation projects. In addition you will be able to teach the "old dogs" some new tricks.This book is written for developers who want to develop their Siebel Tools skill set. While the book is intended for beginners, even experienced developers will benefit from the topics presented in this book. Preliminary exposure to or training on technical Siebel topics would be beneficial but is not mandatory before you start reading this book.
Oracle Siebel CRM 8 Installation and Management
by Alexander HansalThis book provides a practical, hands-on experience. Chapter by chapter, a Siebel CRM self-study environment is created which can be used to follow the examples described in the book to explore the Siebel functionality. The book ensures that you understand what you are doing and why you are doing it. It contains clear step-by-step instructions, explanatory tables, screenshots, and precise diagrams. This book is for administrators who want to develop and strengthen their Siebel CRM skills in the areas of installation and system management. Whether you are a novice or a more experienced user, this book will teach you something new in many ways and by the end of the book, you will be ready to install and manage Siebel CRM in a real-world environment.
Oracle Siebel CRM 8 User Management: LITE
by Alexander HansalThe book ensures that you know what you are doing and why you are doing it by providing useful insight along with detailed practical instructions. It contains a multitude of explanatory tables, screenshots, and precise diagrams to illustrate the topics. The material has been carefully selected from Packt's fuller 572 page Oracle Siebel CRM 8 Installation and Management. The book is written with the role of an application administrator in mind who wants to deepen her or his understanding on how user authentication, authorization, and user management are carried out correctly in Siebel CRM.
Appium Essentials
by Manoj HansThis book is intended for automation testers and developers who want to enhance their skills from web-based automation to mobile application automation using Appium. Basic knowledge of mobile application testing, Selenium WebDriver, and programming is assumed.
Artificial Intelligence, Internet of Things, and Society 5.0 (Studies in Computational Intelligence #1113)
by Azzam Hannoon Abdullah MahmoodThis book unlike any other previous book provides a platform for scholars and researchers to present the latest insights and findings on the application of artificial intelligence and other sustainable technologies for a human-centric society. It brings together technology with society with special attention given to AI and IoT-related intricacies for a digital economy. It covers a variety of research topics including block ciphers, network marketing for sustainability entrepreneurship and AI, AI and stock trading decisions, digital transformation, knowledge management, chatbot engineering, cybersecurity, and smart metering system. The book is a comprehensive reference work for scholars, academics, policymakers, students, and professionals presenting an overall understanding of AI, its present and future trends, and presents a discourse on important policies and strategies on inclusivity, diversity, bias, accountability, security, metaverse applications of AI, and other technologies such as IoT.
Modeling Dynamic Economic Systems
by Bruce Hannon Matthias RuthThis book explores the dynamic processes in economic systems, concentrating on the extraction and use of the natural resources required to meet economic needs. Sections cover methods for dynamic modeling in economics, microeconomic models of firms, modeling optimal use of both nonrenewable and renewable resources, and chaos in economic models. This book does not require a substantial background in mathematics or computer science.
Blips on a Screen: How Ralph Baer Invented TV Video Gaming and Launched a Worldwide Obsession
by Kate HanniganAn engaging picture book biography based on the incredible true story of a Jewish refugee who pioneered home video games and launched a worldwide obsession.Do you ever wonder how video gaming was invented? What came before your PlayStation or Xbox? This is the story of Ralph Baer, a refugee from Nazi Germany, who used his skills--and a lot of ingenuity and persistence--to make life a little more fun. Television was new when Ralph returned from serving in World War II, but he didn't settle for watching TV. He knew it could be even more fun if you could play with it. He tinkered and tested, got help and rejected, but with perseverance and skill, he made his vision come true! This is the inspiring story of a fearless inventor who made TV video games a reality.
SEL From a Distance: Tools and Processes for Anytime, Anywhere
by Jessica Djabrayan Hannigan John E. HanniganMake social and emotional learning a way of being—all day, every day, and in any setting The pandemic and subsequent switch to distance learning combined with recent instances of racial injustice has put a spotlight on the cracks in the practice of social and emotional learning (SEL). More than ever before, schools are shifting their focus and prioritizing SEL competencies—around the nation and the world. The call for compassion has never been greater. To easily and effortlessly build SEL into virtual, blended, or in-person environments, behavior experts Jessica Djabrayan Hannigan and John Hannigan have drawn together a collection of tools and processes for SEL that can be applied in any learning environment. In SEL from a Distance, you’ll learn: The five SEL competencies and dozens of easy to use processes for building skills in each How to identify challenging behaviors and prioritize, define mastery, and teach the SEL skills necessary to address them Tips for identifying, teaching, modeling, and reinforcing SEL skills in a virtual setting Strategies for applying SEL to the needs of your unique learning environment Let this practical, easy-to-use toolkit guide you through embedding these critical SEL competencies into your virtual classrooms and make SEL a way of being for you and your students—anytime, anywhere. Endorsements from the People Who Matter Most: "My teacher told our entire class, ‘if you need someone to talk to, I am here for you.’ This was powerful to hear. I have never had a teacher say that to an entire class before." —Ani, 12th grade, Missouri "My teacher helps us use SEL strategies to relax our brains when we are feeling stressed." —Harmon, 4th grade, California
SEL From a Distance: Tools and Processes for Anytime, Anywhere
by Jessica Djabrayan Hannigan John E. HanniganMake social and emotional learning a way of being—all day, every day, and in any setting The pandemic and subsequent switch to distance learning combined with recent instances of racial injustice has put a spotlight on the cracks in the practice of social and emotional learning (SEL). More than ever before, schools are shifting their focus and prioritizing SEL competencies—around the nation and the world. The call for compassion has never been greater. To easily and effortlessly build SEL into virtual, blended, or in-person environments, behavior experts Jessica Djabrayan Hannigan and John Hannigan have drawn together a collection of tools and processes for SEL that can be applied in any learning environment. In SEL from a Distance, you’ll learn: The five SEL competencies and dozens of easy to use processes for building skills in each How to identify challenging behaviors and prioritize, define mastery, and teach the SEL skills necessary to address them Tips for identifying, teaching, modeling, and reinforcing SEL skills in a virtual setting Strategies for applying SEL to the needs of your unique learning environment Let this practical, easy-to-use toolkit guide you through embedding these critical SEL competencies into your virtual classrooms and make SEL a way of being for you and your students—anytime, anywhere. Endorsements from the People Who Matter Most: "My teacher told our entire class, ‘if you need someone to talk to, I am here for you.’ This was powerful to hear. I have never had a teacher say that to an entire class before." —Ani, 12th grade, Missouri "My teacher helps us use SEL strategies to relax our brains when we are feeling stressed." —Harmon, 4th grade, California
Marketing und Sales Automation: Grundlagen – Umsetzung – Anwendungen
by Uwe HannigDieses Buch klärt, was man über Marketing und Sales Automation wissen muss, wie man Projekte zu deren Umsetzung steuert, Werkzeuge auswählt und implementiert und welche Ergebnisse man erzielen kann. Zudem werden die erwartbaren Entwicklungen in der Zukunft aufgezeigt. Über die Hälfte der Inhalte dieser zweiten Auflage wurden im Vergleich zur Vorauflage erneuert. Das Themenspektrum spannt den Bogen von der Schaffung einer validen Datengrundlage über die Auswirkungen der Datenschutzgrundverordnung bei der Ansprache von Kunden und Interessenten bis hin zu Empfehlungen zur Auswahl und Implementierung der notwendigen IT-Systeme. Experten berichten von ihren Erfahrungen und geben Tipps und Hilfestellungen. Dabei wird ein besonderer Fokus auf die Verzahnung von Marketing und Vertrieb und das Management der Customer Journey sowie die Verbesserung der Customer Experience gelegt.Der InhaltDigitalisierung von Marketing und VertriebStatus Quo und Entwicklung von Marketing und Sales AutomationAutomation als WachstumstreiberEntwicklung von Buyer Personas Datenschutz und rechtskonforme Marketing AutomationRoadmap zum Einsatz von Automationslösungen Evaluation von Automation ToolsLead Management AutomationEvaluierung der Touchpoint-Performance entlang der Customer JourneyFunnel Performance ManagementAccount-based MarketingKünstliche Intelligenz in Marketing und VertriebMit Beitragen von Gerrit Ahlers, A.T. KearneyManfred Aull, Aull Sales SuccessJan Beco, Trusted Advisor bei janbeco.chMarc Bernrath, Wendero GmbH Prof. Dr. Nikolas Beutin, PwC DeutschlandProf. Dr. Simone Braun, Hochschule Offenburg Philipp Baron von der Brügen, leadtributor GmbHProf. Dr. Claudia Bünte, SRH Berlin University of Applied Sciences und Kaiserscholle GmbHDr. habil. Roland Burkholz, chain relations GmbHThomas Foell, Kommunikationsagentur wob AG Thomas Geiger, Market Data Analyst in einem internationalen Technologiekonzern Melanie Gipp, Adobe Deutschland Fabienne Halb, leitet das globale Customer Relationship Management in einem internationalen TechnologiekonzernDr. Martin Handschuh, eco2nomy GmbHDr. Klaus Heinzelbecker, Instituts für Sales und Marketing AutomationTorsten Herrmann, chain relations GmbHSabine Heukrodt-Bauer, Kanzlei RESMEDIA in Mainz und BerlinUlrich Hoffmann, ByteConsult Alexander Körner, b.relevant - Agile Digital Marketing Agency GmbH Dennis Krieger, SNP Schneider-Neureither & Partner SE Vivien Kupplmayr, Cisco SystemsPhilipp Moder, Phocus Direct Communication GmbHSteffen Oder, A.T. Kearney Martin Philipp, SC-Networks GmbHAndrew Sanderson, Ansaco Norbert Schuster, Strategieberater bei strike2Dr. Uwe Seebacher, Executive Advisor Thorsten Sydow, SALT Solutions GmbH Tobias Voigt, markenmut AGRoger Voland, t-systems Tony Vormelcher, ByteConsult Alexander Woelke, Cloudbridge Consulting
Architecture of Computing Systems -- ARCS 2016: 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings (Lecture Notes in Computer Science #9637)
by Frank Hannig João M.P. Cardoso Thilo Pionteck Dietmar Fey Wolfgang Schröder-Preikschat Jürgen TeichThis book constitutes theproceedings of the 29th International Conference on Architecture of ComputingSystems, ARCS 2016, held in Nuremberg, Germany, in April 2016. The 29 full papers presented in this volume werecarefully reviewed and selected from 87 submissions. They were organized intopical sections named: configurable and in-memory accelerators;network-on-chip and secure computing architectures; cache architectures andprotocols; mapping of applications on heterogeneous architectures and real-timetasks on multiprocessors; all about time: timing, tracing, and performancemodeling; approximate and energy-efficient computing; allocation: from memoriesto FPGA hardware modules; organic computing systems; and reliability aspects inNoCs, caches, and GPUs.
Computational Intelligence in Logistics and Supply Chain Management (International Series in Operations Research & Management Science #244)
by Thomas Hanne Rolf DornbergerThis book deals with complex problems in the fields of logistics and supply chain management and discusses advanced methods, especially from the field of computational intelligence (CI), for solving them. The first two chapters provide general introductions to logistics and supply chain management on the one hand, and to computational intelligence on the other hand. The subsequent chapters cover specific fields in logistics and supply chain management, work out the most relevant problems found in those fields, and discuss approaches for solving them. Chapter 3 discusses problems in the field of production and inventory management. Chapter 4 considers planning activities on a finer level of granularity which is usually denoted as scheduling. In chapter 5 problems in transportation planning such as different types of vehicle routing problems are considered. While chapters 3 to 5 rather discuss planning problems which appear on an operative level, chapter 6 discusses the strategic problem of designing a supply chain or network. The final chapter provides an overview of academic and commercial software and information systems for the discussed applications. There appears to be a gap between general textbooks on logistics and supply chain management and more specialized literature dealing with methods for computational intelligence, operations research, etc. , for solving the complex operational problems in these fields. For readers, it is often difficult to proceed from introductory texts on logistics and supply chain management to the sophisticated literature which deals with the usage of advanced methods. This book fills this gap by providing state-of-the-art descriptions of the corresponding problems and suitable methods for solving them.
Chinese Power and Artificial Intelligence: Perspectives and Challenges (Asian Security Studies)
by William C. HannasThis book provides a comprehensive account of Chinese AI in its various facets, based on primary Chinese-language sources. China’s rise as an AI power is an event of importance to the world and a potential challenge to liberal democracies. Filling a gap in the literature, this volume is fully documented, data-driven, and presented in a scholarly format suitable for citation and for supporting downstream research, while also remaining accessible to laypersons. It brings together 15 recognized international experts to present a full treatment of Chinese artificial intelligence. The volume contains chapters on state, commercial, and foreign sources of China’s AI power; China’s AI talent, scholarship, and global standing; the impact of AI on China’s development of cutting-edge disciplines; China’s use of AI in military, cyber, and surveillance applications; AI safety, threat mitigation, and the technology’s likely trajectory. The book ends with recommendations drawn from the authors’ interactions with policymakers and specialists worldwide, aimed at encouraging AI’s healthy development in China and preparing the rest of the world to engage with it. This book will be of much interest to students of Chinese politics, science and technology studies, security studies and international relations.
Patterns Identification and Data Mining in Weather and Climate (Springer Atmospheric Sciences)
by Abdelwaheb HannachiAdvances in computer power and observing systems has led to the generation and accumulation of large scale weather & climate data begging for exploration and analysis. Pattern Identification and Data Mining in Weather and Climate presents, from different perspectives, most available, novel and conventional, approaches used to analyze multivariate time series in climate science to identify patterns of variability, teleconnections, and reduce dimensionality. The book discusses different methods to identify patterns of spatiotemporal fields. The book also presents machine learning with a particular focus on the main methods used in climate science. Applications to atmospheric and oceanographic data are also presented and discussed in most chapters. To help guide students and beginners in the field of weather & climate data analysis, basic Matlab skeleton codes are given is some chapters, complemented with a list of software links toward the end of the text. A number of technical appendices are also provided, making the text particularly suitable for didactic purposes.The topic of EOFs and associated pattern identification in space-time data sets has gone through an extraordinary fast development, both in terms of new insights and the breadth of applications. We welcome this text by Abdel Hannachi who not only has a deep insight in the field but has himself made several contributions to new developments in the last 15 years. - Huug van den Dool, Climate Prediction Center, NCEP, College Park, MD, U.S.A.Now that weather and climate science is producing ever larger and richer data sets, the topic of pattern extraction and interpretation has become an essential part. This book provides an up to date overview of the latest techniques and developments in this area. - Maarten Ambaum, Department of Meteorology, University of Reading, U.K.This nicely and expertly written book covers a lot of ground, ranging from classical linear pattern identification techniques to more modern machine learning, illustrated with examples from weather & climate science. It will be very valuable both as a tutorial for graduate and postgraduate students and as a reference text for researchers and practitioners in the field. - Frank Kwasniok, College of Engineering, University of Exeter, U.K.
Mastering Microsoft Lync Server 2013
by Keith Hanna Nathan WintersEverything you need to know to get Lync 2013 up and running smoothly As a Unified Communications (UC) technology, Lync allows you to keep track of your contacts' availability so you can communicate with anyone, anywhere, and at any time. With this hands-on book, you will learn how to administer the newest and most robust version of Lync Server in order to send an IM; start or join an audio, video, or web conference; or make a phone call through a familiar interface. Packed with real-world exercises throughout, this unique resource encourages you to learn from the best practices and deployments of others so that you can benefit from their experiences. Walks you through designing and managing enterprise instant messaging and conferencing solutionsDetails how to configure voicemail, enterprise voice, dual-forking, and VoIPTeaches you how to automate management tasksShares invaluable advice for monitoring, diagnosing, and troubleshooting problems Helps you understand SIP and authentication technologiesWith Mastering Microsoft Lync Server 2013, you'll gain the skills you need to effectively deploy Lync Server 2013 and be on your way to gaining all the benefits UC has to offer.
Mastering Skype for Business 2015
by Keith HannaAuthoritative, hands-on guidance for Skype Business administrators Mastering Skype for Business 2015 gives administrators the comprehensive coverage they need to effectively utilize Skype for Business. Fully up to date for the 2015 release, this guide walks you through industry best practices for planning, design, configuration, deployment, and management with clear instruction and plenty of hands-on exercises. Case studies illustrate the real-world benefits of Unified Communication, and provide expert experiences working with Skype for Business. From server roles, infrastructure, topology, and security to telephony, cloud deployment, and troubleshooting, this guide provides the answers you need and the insight that will make your job easier. Sample automation scripts help streamline your workflow, and full, detailed coverage helps you exploit every capability Skype for Business has to offer. Skype for Business enables more robust video conferencing, and integrates with Office, Exchange, and SharePoint for better on-premises and cloud operations. Organizations are turning to Skype for Business as a viable PBX replacement, and admins need to be up to speed and ready to go. This book provides the clear, explicit instructions you need to: Design, configure, and manage IM, voice mail, PBX, and VoIP Connect to Exchange and deploy Skype for Business in the cloud Manage UC clients and devices, remote access, federation, and public IM Automate management tasks, and implement cross-team backup-and-restore The 2015 version is the first Skype to take advantage of the Windows 10 'touch first' capabilities to provide fast, natural, hands-on control of communications, and users are eager to run VoIP, HD video conferencing, collaboration, instant messaging, and other UC features on their mobile devices. Mastering Skype for Business 2015 helps you get Skype for Business up and running quickly, with hands-on guidance and expert insight.
Proof Technology in Mathematics Research and Teaching (Mathematics Education in the Digital Era #14)
by Gila Hanna David A. Reid Michael De VilliersThis book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use of the internet as a site of proof learning. Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new mathematical results are unaffected by the digital era. The reality is quite different. Digital technologies have transformed how mathematicians work together, how proof is taught in schools and universities, and even the nature of proof itself. Checking billions of cases in extremely large but finite sets, impossible a few decades ago, has now become a standard method of proof. Distributed proving, by teams of mathematicians working independently on sections of a problem, has become very much easier as digital communication facilitates the sharing and comparison of results. Proof assistants and dynamic proof environments have influenced the verification or refutation of conjectures, and ultimately how and why proof is taught in schools. And techniques from computer science for checking the validity of programs are being used to verify mathematical proofs. Chapters in this book include not only research reports and case studies, but also theoretical essays, reviews of the state of the art in selected areas, and historical studies. The authors are experts in the field.