- Table View
- List View
Mysteries of the Overworld: An Unofficial Overworld Heroes Adventure, Book Two (Unofficial Overworld Heroes Adventure #2)
by Danica DavidsonStevie and Alex are still looking for answers about the mysterious Ender crystal Stevie discovered, and the sinister voice that seems to emanate from it. Their search leads them to a strange book filled with writing in a strange language, and pictures that seem to show two adventurers trapping the evil Ender Dragon in the End.As the writing in the book slowly reveals itself, the friends realize that the Overworld is in danger! The Ender crystal Stevie stumbled upon in the Overworld is one piece of an enchanted crystal that, if fully assembled, could either destroy the dragon—or set it free to destroy the world!Now Stevie and his friends must race to find the pieces of the broken Ender crystal. Can they find them all before the Ender Dragon discovers a way to stop them?Fans of Minecraft will be at the edge of their seats all the way through this second book in the Unofficial Overworld Heroes Adventure series by Danica Davidson!
Mystery on Mushroom Island (Unofficial Minecraft Mysteries #6)
by Winter MorganEdison and Billy finally have a chance for a vacation, joining Amira to celebrate her birthday on peaceful Mushroom Island. But before celebrations can get underway, Mushroom Island is rocked by a mysterious explosion. As they investigate the fire, they discover rumors that the island, itself, is cursed. Of course, Edison and Billy don’t believe in curses. There must be a logical explanation behind the explosion, and they just have to find it. So not only do they have solve the mystery of the fire, but they have to prove to theirs friend and the residents of Mushroom Island that there is no such thing as a curse.Join Edison and Billy their explosive final adventure in the final installment of the Unofficial Minecraft Mystery series!
Myten om internet
by Robert Levine Pelle Snickars Mariam Kirollos Paul Frigyes Lisa Ehlin Anders R. Olsson Helienne Lindvall Per Strömbäck Anders RydellVilken funktion hade egentligen sociala medier under den arabiska våren? Vilka är den digiala underklassen? Och hur har en handfull teknikföretag i Silicon Valley lyckats sprida ryktet om sig själva som det fria ordet och kunskapens främsta förespråkare När internet ska diskuteras används ofta begrepp som frihet, demokrati och delaktighet. Att internet har haft en otrolig betydelse tvivlar ingen på, men samtidigt finns en mängd löst grundade föreställningar att internet kommer infria alla förhoppningar, en sorts tekno-utopi. Internet är på ett plan öppet och fritt, men lika mycket är det skapat av offentliga regleringar, teknik och affärsintressen. 85 procent av de så kallade stadsnäten ägs av kommunala bolag. Den grundläggande infrastrukturen för nätet i Sverige är alltså i allmän ägo, tvärtemot den gängse bilden att internet drivs av marknadskrafterna. I Myten om internet har såväl svenska som internationella namn samlats för att nyansera bilden av internet, och inte minst blottlägga vilka som har gynnats av de rådande föreställningarna. Bland skribenterna märks egyptiska Mariam Kirollos, aktivist och doktorand, som starkt ifrågasätter hyllningarna av sociala mediers roll i den arabiska våren, och Robert Levine, amerikansk författare och journalist, som utkom med den mycket uppmärksammade boken Free Ride 2011.
Mythopoeic Narrative in The Legend of Zelda (Routledge Interdisciplinary Perspectives on Literature)
by Anthony G. Cirilla Vincent E. RoneThe Legend of Zelda series is one of the most popular and recognizable examples in videogames of what Tolkien referred to as mythopoeia, or myth-making. In his essay On Fairy Stories and a short poem entitled Mythopoeia, Tolkien makes the case that the fairy tale aesthetic is simply a more intimate version of the same principle underlying the great myths: the human desire to make meaning out of the world. By using mythopoeia as a touchstone concept, the essays in this volume explore how The Legend of Zelda series turns the avatar, through which the player interacts with the in-game world, into a player-character symbiote wherein the individual both enacts and observes the process of integrating worldbuilding with storytelling. Twelve essays explore Zelda’s mythmaking from the standpoints of literary criticism, videogame theory, musicology, ecocriticism, pedagogy, and more.
Myths of Branding: A Brand is Just a Logo, and Other Popular Misconceptions (Business Myths)
by Simon Bailey Andy MilliganA brand is just a logo - everyone knows that, don't they? After all, it's not as though a good brand can save a bad business, and besides, the digital revolution is making branding irrelevant...Myths of Branding, written by renowned branding experts Andy Milligan and Simon Bailey, explores the huge number of misguided, mistaken and blatantly false myths that abound in the branding arena. From the belief that developing brands is nothing more than fiddling with logos, to the perception that it's a 'soft' area of marketing that doesn't go beyond visual identity - these myths are all surprisingly entrenched, yet could not be further from the truth. Myths of Branding takes the most up-to-date research and evidence to debunk these popular misconceptions, and replaces them with the reality of what it's really like to work in the world of branding. Jam-packed with entertaining anecdotes and useful information that practitioners' can learn from, it guarantees a deeper, sharper understanding of the realities of branding and brand management.
Myths of Branding: Dispel the Misconceptions and Become a Brand Expert (Business Myths)
by Simon Bailey Andy MilliganA brand is just a logo - everyone knows that, don't they? After all, it's not as though a good brand can save a bad business, and besides, the digital revolution is making branding irrelevant...Myths of Branding, written by renowned branding experts Andy Milligan and Simon Bailey, explores the huge number of misguided, mistaken and blatantly false myths that abound in the branding arena. From the belief that developing brands is nothing more than fiddling with logos, to the perception that it's a 'soft' area of marketing that doesn't go beyond visual identity and that the customer is always right - these myths are all surprisingly entrenched, yet could not be further from the truth.Myths of Branding uses up-to-date case studies and witty examples to debunk these popular misconceptions, and replaces them with the reality of what it's really like to work in the world of branding. Jam-packed with entertaining anecdotes and useful information that practitioners can learn from, it guarantees a deeper, sharper understanding of the realities of branding and brand management.About the Business Myths series... The Business Myths series tackles the falsehoods that pervade the business world. From leadership and management to social media, strategy and the workplace, these accessible books overturn out-of-date assumptions, skewer stereotypes and put oft-repeated slogans to the test. Entertaining and rigorously researched, these books will equip you with the insight and no-nonsense wisdom you need to succeed.
Myths of Social Media: Dismiss the Misconceptions, Side-step the Slip-ups and Use Social Media Effectively in Business (Business Myths)
by Michelle Carvill Ian MacRaeEveryone knows that social media is free, millennials are all adept social media experts, that businesses always have to be available 24/7 and ultimately none of it really matters, as the digital space is full of fake news and online messaging is seen as inauthentic. Don't they?The use of social media as a business tool is dominated by falsehoods, fictions and fabrications. In Myths of Social Media, digital consultant Michelle Carvill and workplace psychologist Ian MacRae dismiss many of the most keenly-held misconceptions and instead, present the reality of social media best practice. Using helpful and instructive, sometimes entertaining and occasionally eye-watering examples of what you should and should not do, Myths of Social Media debunks the most commonly held myths and shows you how to use social media effectively for work and at work.
Myths of Social Media: Dispel the Misconceptions and Master Social Media (Business Myths)
by Michelle Carvill Ian MacRaeEveryone knows that social media is free, millennials are all adept social media experts, that businesses always have to be available 24/7 and ultimately none of it really matters, as the digital space is full of fake news and online messaging is seen as inauthentic. Don't they?The use of social media as a business tool is dominated by falsehoods, fictions and fabrications. In Myths of Social Media, digital consultant Michelle Carvill and workplace psychologist Ian MacRae dismiss many of the most keenly-held misconceptions and instead, present the reality of social media best practice. Using helpful and instructive, sometimes entertaining and occasionally eye-watering examples of what you should and should not do, Myths of Social Media debunks the most commonly held myths and shows you how to use social media effectively for work and at work.About the Business Myths series... The Business Myths series tackles the falsehoods that pervade the business world. From leadership and management to social media, strategy and the workplace, these accessible books overturn out-of-date assumptions, skewer stereotypes and put oft-repeated slogans to the test. Entertaining and rigorously researched, these books will equip you with the insight and no-nonsense wisdom you need to succeed.
N 2 Deep (TodaysGirls.com #7)
by Terry Brown Laurie KnowltonAmber needs help from God when she is talked into trying out for the soccer team while being swamped with demands for the Web site she is developing for her school.
NASA Formal Methods
by Sanjai Rayadurgam Oksana TkachukThis book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.
NASA Formal Methods: 10th International Symposium, Nfm 2018, Newport News, Va, Usa, April 17-19, 2018, Proceedings (Lecture Notes in Computer Science #10811)
by Aaron Dutle César Muñoz Anthony NarkawiczThis book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Lecture Notes in Computer Science #11460)
by Julia M. Badger Kristin Yvonne RozierThis book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings (Lecture Notes in Computer Science #12229)
by Ritchie Lee Susmit Jha Anastasia MavridouThis book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems. *The conference was held virtually due to the COVID-19 pandemic.
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings (Lecture Notes in Computer Science #12673)
by César A. Muñoz Aaron Dutle Mariano M. Moscato Laura Titolo Ivan PerezThis book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (Lecture Notes in Computer Science #13260)
by Klaus Havelund Ivan Perez Jyotirmoy V. DeshmukhThis book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (Lecture Notes in Computer Science #13903)
by Swarat Chaudhuri Kristin Yvonne RozierThis book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings (Lecture Notes in Computer Science #14627)
by Nathaniel Benz Divya Gopinath Nija ShiThis LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.
NB-IoT Use Cases and Devices: Design Guide
by Kersten HeinsThis book presents the cellular wireless network standard NB-IoT (Narrow Band-Internet of Things), which addresses many key requirements of the IoT. NB-IoT is a topic that is inspiring the industry to create new business cases and associated products. The author first introduces the technology and typical IoT use cases. He then explains NB-IoT extended network coverage and outstanding power saving features which are enabling the design of IoT devices (e.g. sensors) to work everywhere and for more than 10 years, in a maintenance-free way. The book explains to industrial users how to utilize NB-IoT features for their own IoT projects. Other system ingredients (e.g. IoT cloud services) and embedded security aspects are covered as well. The author takes an in-depth look at NB-IoT from an application engineering point of view, focusing on IoT device design. The target audience is technical-minded IoT project owners and system design engineers who are planning to develop an IoT application.
NEW PERSPECTIVES Microsoft Windows 10
by Dan Oja Patrick Carey Lisa Ruffolo June Parsons Joan CareyDiscover a unique, critical-thinking approach to mastering MS Windows 10 concepts and skills with NEW PERSPECTIVES MICROSOFT WINDOWS 10: COMPREHENSIVE. In addition to in-depth coverage of essential topics, this book highlights some of the best new features in the Windows 10 Operating System, including Cortana, the new Edge browser, and new search functions. As part of the acclaimed New Perspectives Series, this book offers proven learning features to help you absorb key information, no matter what your learning style. A dynamic Visual Overview at the beginning of each module gives you a graphic preview of content and serves as a study guide for later use. ProSkills Boxes provide information about professional skills that relate to the module’s content. Troubleshoot Exercises let you apply your skills in a critical-thinking setting. Readers can trust NEW PERSPECTIVES MICROSOFT WINDOWS 10: COMPREHENSIVE for all of the MS Windows skills needed.
NFT Arte y Coleccionables: La Guía Imprescindible para Comprender Los Tokens No Fungibles (NFT)
by Chris Collins¿Está buscando aprender cómo sacar provecho de la revolución NFT? ¿Acaba de enterarse de las NFT? ¿Quieres unirte a la locura como artista, jugador o músico? ¿Le resulta difícil encontrar toda la información en el mismo lugar o simplemente es completamente confuso? Si esto te suena, ¡sigue leyendo! NFT Arte y Coleccionables para Principiantes ofrece, información completa sobre esta reciente tendencia rentable. Esta guía habla sobre qué son las NFT y también proporciona una breve historia de su aparición. Después de conocer las NFT, también encontrará información sobre los tokens Ethereum. Estos son los estándares que unen el sistema de coleccionables digitales. El funcionamiento interno de las NFT, junto con su importancia y valor, también se tratan en esta guía detallada. Las áreas de aplicación y usos le brindarán el conocimiento de áreas en las que puede ingresar en esta tendencia digital. Además, la información de este libro también enumera los principales mercados y el proceso de creación de NFT. En este libro también se desmienten varios mitos de las NFT. El arte y los juegos son las áreas más importantes que están surgiendo dentro de la moda de NFT. Esto es particularmente cierto para la industria del juego, ya que permite a personas de todas las edades aprender esta tecnología de una manera nueva y divertida.
NFTs Are a Scam / NFTs Are the Future: The Early Years: 2020-2023
by Bobby HundredsThe nationally bestselling author and streetwear entrepreneur Bobby Hundreds’s manifesto about NFTs, the future of creativity, and bringing his brand and community into the modern digital space.Bobby Hundreds has spent twenty years building his streetwear company, The Hundreds, to be as much a community as a brand. So when Bobby discovered NFTs in 2020, he knew that the technology had the makings of a revolution. Now fans could not only directly support artists and creators but also have a genuine stake in the success of the work. Here, Bobby saw a way for the Hundreds community to participate in the brand as never before. But was this a good idea? Are NFTs truly the future of creativity? Or just a fad? Are they a scam? Maybe they are all those things. In NFTs Are a Scam / NFTs Are the Future, Bobby digs deep into these questions and more: Are NFTs fashion? A cult? Already over? Just beginning? None of the answers are simple, and Bobby works through each with the thoughtfulness and hard-earned insight that have made him a fervently sought-after voice in conversations about creativity, commerce, and community in the digital age. Over the course of just a few years, NFTs have been celebrated and derided; fortunes have been made and lost, empires built and toppled, and Bobby has been, and remains, in the thick of it. For the reader sitting on a collection of NFTs, this is an obvious must-read. For those wondering what’s been going on—and why it’s worth paying attention to—it is the perfect primer.
NFTs For Dummies
by Tiana Laurence Seoyoung KimGet a grip on NFTs and learn how to get in the game It’s not often that a brand-new investment comes along that revolutionizes how we buy and sell digital assets. But that’s what non-fungible tokens (NFTs) did. Built on blockchain tech, NFTs are shaking up the world of digital commodity investing. And you can get your slice of the pie before everyone jumps into the arena. In NFTs For Dummies, you’ll find straightforward answers to critical aspects of the NFT phenomenon. You’ll learn exactly what non-fungible tokens really are, how you can find them, and even how to create your own valuable NFTs. You’ll also discover: How to find reliable and safe NFT marketplaces where you can be sure you’re dealing with reputable buyers and sellers A peek behind the NFT curtain to see how NFTs work and what, exactly, you own when you buy or make an NFT Discussions of the kinds of digital properties that can be converted into an NFT Perfect for anyone who wants to learn about the market for buying, selling, and creating crypto collectibles, NFTs For Dummies is the only resource you’ll need to get a handle on this cutting-edge tech and start making it work for you.
NFTs de Artes e Colecionáveis para Iniciantes: O Guia Obrigatório para a Compreensão Dos Tokens Não Fungíveis (NFTs)
by Chris CollinsNFTs de Artes e Colecionáveis para Iniciantes por Chris Collins O guia obrigatório para compreender os tokens não fungíveis (NFTs) Este guia fala sobre o que são os NFTs e também fornece um breve histórico de seu surgimento. Você está à procura de aprender como poderá lucrar com a revolução NFT? Você acabou de descobrir sobre os NFTs? Você quer participar desta onda, seja como artista, jogador ou músico? Você está achando difícil encontrar todas as informações no mesmo lugar? Se é isso que você quer, então continue lendo! NFTs de Artes e Colecionáveis para Iniciantes oferece informações abrangentes sobre esta tendência recente e lucrativa. Este guia fala sobre o que são NFTs e também fornece um breve histórico de seu surgimento. Depois de aprender sobre os NFTs, você também encontrará informações sobre os tokens Ethereum. Esses são os padrões que unem o sistema de colecionáveis digitais. O funcionamento interno dos NFTs, juntamente com sua importância e valor, também são abordados neste guia detalhado. As áreas de aplicação e usos proporcionarão o conhecimento do exato ponto em que você pode entrar nesta tendência digital. Além disso, as informações neste livro também listam os principais mercados e o processo de criação de NFTs. Vários mitos sobre NFTs são também desmascarados neste livro. Arte e jogos são as áreas mais importantes que estão surgindo dentro da onda NFT. Isso é particularmente verdadeiro para a indústria de jogos, pois permite que pessoas de todas as idades aprendam essa tecnologia de uma maneira divertida. Neste livro, você descobrirá: Uma maior compreensão sobre NFT e Ethereum Introdução aos termos-chave Riscos envolvidos História e surgimento de NFTs Padrões do Token Ethereum Como funcionam os NFTs Por que os NFTs têm valor Usos dos NFTs Tokens Não Fungíveis, baseados em Blockchain O Merca
NFTs for Business: A Practical Guide to Harnessing Digital Assets
by Steve Wood Ahmed Bouzid Paolo NarcisoMove beyond the tech jargon and the hype of non-fungible tokens (NFT)s and become empowered to think through solutions to solve your specific business problems. NFTs are important because they enable the manipulation of digital assets in ways that are closer to the way we manipulate physical assets. This book will serve as an introduction to the space and as a source of inspiration for connecting problem and solution dots. Understanding what core problems NFTs solve and how they solve them will enable business leaders to design solutions and to put together the teams that will help them deliver on the promises of NFTs. This book is focused on explaining what NFTs are, what problems they solve, and what what technology makes them possible. It provides the larger technological, economic, and political context within which NFTs are emerging. You'll learn how NFTs are currently being used, such as in assessing authenticity, creating scarcity, identifying provenance, establishing and confirming ownership, and enabling the tracking and collection of royalties You'll also see how NFTs allow for the creation of unique digital assets that can be owned and traded just like physical assets. NFTs is your guide to the emerging possibilities of ownership and monetization of digital assets in established industries.What You'll LearnSee what problems NFTs can solveStudy the fundamentals of blockchain technologyUnderstand what “Web3” means and the possibilities ahead Identify problems that NFTs can solve Deliver NFT and blockchain based solutionsWho This Book Is ForEntrepreneurs, executives, and product line managers in the following industries: Art, Music, Podcasting, Gaming, Finance, and Real Estate. Additional audiences include Retail, Fashion, Entertainment, Event Management and Supply Chain Management.
NGINX Cookbook
by Derek DeJongheNGINX is one of the most widely used web servers available today, in part because of itscapabilities as a load balancer and reverse proxy server for HTTP and other network protocols. This revised cookbook provides easy-to-follow examples of real-world problems in application delivery. The practical recipes will help you set up and use either the open source or commercial offering to solve problems in various use cases.For professionals who understand modern web architectures, such as n-tier or microservice designs and common web protocols such as TCP and HTTP, these recipes provide proven solutions for security and software load balancing and for monitoring and maintaining NGINX's application delivery platform. You'll also explore advanced features of both NGINX and NGINX Plus, the free and licensed versions of this server.You'll find recipes for:High-performance load balancing with HTTP, TCP, and UDPSecuring access through encrypted traffic, secure links, HTTP authentication subrequests, and moreDeploying NGINX to Google, AWS, and Azure cloud computing servicesSetting up and configuring NGINX ControllerInstalling and configuring the NGINX App Protect moduleEnabling WAF through Controller ADCNGINX Instance Manager (new chapter)New recipes for NGINX Service Mesh, HTTP3 and QUIC, and the njs module