Vi bøger
Levering: 1 - 2 hverdage

Kompilatorer og fortolkere

Her finder du spændende bøger om Kompilatorer og fortolkere. Nedenfor er et flot udvalg af over 867 bøger om emnet.
Vis mere
Filter
Filter
Sorter efterSorter Populære
  • - Covers x86 64-bit, AVX, AVX2, and AVX-512
    af Daniel Kusswurm
    602,95 kr.

  • af Rob Botwright
    376,95 kr.

    ¿¿¿¿ Introducing TypeScript Programming in Action - Your Ultimate Guide to Mastery! ¿¿¿¿Are you ready to embark on a transformative journey into the world of TypeScript, one of the most powerful tools in the realm of web development? Look no further because we have curated the perfect bundle for you - "TypeScript Programming in Action: Code Editing for Software Engineers."¿¿¿¿ What's Inside the Bundle?· Book 1: TypeScript for Beginners - Whether you're a complete novice or looking to refresh your TypeScript knowledge, this book offers a step-by-step guide to mastering the basics. Start from scratch and build a strong foundation in TypeScript programming.· Book 2: Mastering TypeScript Essentials - Ready to take your skills to the next level? Dive into advanced concepts and practical applications tailored for intermediate developers. Learn complex data structures and real-world scenarios, making you a versatile TypeScript pro.· Book 3: TypeScript in Depth - Explore the fascinating world of web development with TypeScript. Through hands-on projects and real-world examples, you'll create dynamic web applications from the ground up. Realize the potential of TypeScript in solving real-world problems.· Book 4: TypeScript Mastery - Reach expert-level status with this volume. Delve into advanced techniques, including metaprogramming, dependency injection, and performance optimization. Craft complex applications with confidence.¿¿¿¿¿ Get Your Bundle Today! Don't miss out on this opportunity to access a treasure trove of TypeScript knowledge. Grab your bundle now and unlock the full potential of TypeScript in your software engineering journey!¿¿¿¿ Start your TypeScript adventure today with "TypeScript Programming in Action: Code Editing for Software Engineers." Get ready to code, create, and conquer the web development world! ¿¿¿¿

  • af Clinton L. Jeffery
    505,95 kr.

    Embark on a journey through essential components of language design, compiler construction, preprocessors, transpilers, and runtime systems in this second edition, authored by the creator of the Unicon programming language.Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesTakes a hands-on approach; learn by building the Jzero language, a subset of Java, with example code shown in both the Java and Unicon languagesLearn how to create parsers, code generators, scanners, and interpretersTarget bytecode, native code, and preprocess or transpile code into a high-level languageBook DescriptionThere are many reasons to build a programming language: out of necessity, as a learning exercise, or just for fun. Whatever your reasons, this book gives you the tools to succeed.You'll build the frontend of a compiler for your language and generate a lexical analyzer and parser using Lex and YACC tools. Then you'll explore a series of syntax tree traversals before looking at code generation for a bytecode virtual machine or native code. In this edition, a new chapter has been added to assist you in comprehending the nuances and distinctions between preprocessors and transpilers. Code examples have been modernized, expanded, and rigorously tested, and all content has undergone thorough refreshing. You'll learn to implement code generation techniques using practical examples, including the Unicon Preprocessor and transpiling Jzero code to Unicon. You'll move to domain-specific language features and learn to create them as built-in operators and functions. You'll also cover garbage collection.Dr. Jeffery's experiences building the Unicon language are used to add context to the concepts, and relevant examples are provided in both Unicon and Java so that you can follow along in your language of choice.By the end of this book, you'll be able to build and deploy your own domain-specific language.What you will learnAnalyze requirements for your language and design syntax and semantics.Write grammar rules for common expressions and control structures.Build a scanner to read source code and generate a parser to check syntax.Implement syntax-coloring for your code in IDEs like VS Code.Write tree traversals and insert information into the syntax tree.Implement a bytecode interpreter and run bytecode from your compiler.Write native code and run it after assembling and linking using system tools.Preprocess and transpile code into another high-level languageWho this book is forThis book is for software developers interested in the idea of inventing their own language or developing a domain-specific language. Computer science students taking compiler design or construction courses will also find this book highly useful as a practical guide to language implementation to supplement more theoretical textbooks. Intermediate or better proficiency in Java or C++ programming languages (or another high-level programming language) is assumed.Table of ContentsWhy Build Another Programming Language?Programming Language DesignScanning Source CodeParsingSyntax TreesSymbol TablesChecking Base TypesChecking Types on Arrays, Method Calls, and Structure AccessesIntermediate Code GenerationSyntax Coloring in an IDEPreprocessors and TranspilersBytecode InterpretersGenerating BytecodeNative Code GenerationImplementing Operators and Built-In FunctionsDomain Control StructuresGarbage CollectionFinal ThoughtsAppendix: Unicon EssentialsAnswers

  • af Michael Rosenblum
    578,95 kr.

    Expert PL/SQL Practices is a book of collected wisdom on PL/SQL programming from some of the best and the brightest in the field. Each chapter is a deep-dive into a specific problem, technology, or feature set that you'll face as a PL/SQL programmer. Each author has chosen their topic out of the strong belief that what they share can make a positive difference in the quality and scalability of code that you write.The path to mastery begins with syntax and the mechanics of writing statements to make things happen. If you've reached that point with PL/SQL, then let the authors of Expert PL/SQL Practices show you how to combine syntax and mechanics with features and techniques to really make the language sing. You'll learn to do more with less effort, to write code that scales and performs well, and to eliminate and avoid defects.These authors are passionate about PL/SQL and the power it places at your disposal. They want you to succeed, to know all that PL/SQL can offer. Let Expert PL/SQL Practices open your eyes to the full power of Oracle's world-class language for the database engine. Goes beyond the manual to cover good techniques and best practices Delivers knowledge usually gained only by hard experience Covers the functionality that distinguishes PL/SQL as a powerful and scalable programming language for deploying logic inside the database engine

  • af Torben Ægidius Mogensen
    441,95 kr.

    The third edition of this textbook has been fully revised and adds material about the SSA form, polymorphism, garbage collection, and pattern matching. It presents techniques for making realistic compilers for simple to intermediate-complexity programming languages. The techniques presented in the book are close to those used in professional compilers, albeit in places slightly simplified for presentation purposes. "Further reading" sections point to material about the full versions of the techniques.All phases required for translating a high-level language to symbolic machine language are covered, and some techniques for optimising code are presented. Type checking and interpretation are also included.Aiming to be neutral with respect to implementation languages, algorithms are mostly presented in pseudo code rather than in any specific language, but suggestions are in many places given for how these can be realised in different language paradigms.Depending on how much of the material from the book is used, it is suitable for both undergraduate and graduate courses for introducing compiler design and implementation.

  • af Anika Sharma
    236,95 kr.

    ¿¿¿¿¿¿¿ ¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿? ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿: ¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿, ¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿, ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿. ¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿ ¿¿¿¿ ¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿ ¿¿¿, ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿ ¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿. ¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿, ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿ ¿¿¿/¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿. ¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿ ¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿, ¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿, ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿ ¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿. ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿ ¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿. ¿¿¿¿¿¿¿¿ ¿¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿. ¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿ ¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿, ¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿, ¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿ ¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿.

  • af Amy Kwan
    478,95 kr.

    Learn how to build and use the complete spectrum of real-world compilers, including the frontend, optimization pipeline, and a new backend by leveraging the power of LLVM core librariesKey FeaturesGet to grips with using LLVM libraries step by stepUnderstand the high-level design of LLVM compilers and apply these principles to your own compilerAdd a new backend to target an unsupported CPU architecturePurchase of the print or Kindle book includes a free PDF eBookBook DescriptionLLVM was built to bridge the gap between the theoretical knowledge found in compiler textbooks and the practical demands of compiler development. With a modular codebase and advanced tools, LLVM empowers developers to build compilers with ease. This book serves as a practical introduction to LLVM, guiding you progressively through complex scenarios and ensuring that you navigate the challenges of building and working with compilers like a pro.The book starts by showing you how to configure, build, and install LLVM libraries, tools, and external projects. You'll then be introduced to LLVM's design, unraveling its applications in each compiler stage: frontend, optimizer, and backend. Using a real programming language subset, you'll build a frontend, generate LLVM IR, optimize it through the pipeline, and generate machine code. Advanced chapters extend your expertise, covering topics such as extending LLVM with a new pass, using LLVM tools for debugging, and enhancing the quality of your code. You'll also focus on just-in-time compilation issues and the current state of JIT-compilation support with LLVM. Finally, you'll develop a new backend for LLVM, gaining insights into target description and how instruction selection works.By the end of this book, you'll have hands-on experience with the LLVM compiler development framework through real-world examples and source code snippets.What you will learnConfigure, compile, and install the LLVM frameworkUnderstand how the LLVM source is organizedDiscover what you need to do to use LLVM in your own projectsExplore how a compiler is structured, and implement a tiny compilerGenerate LLVM IR for common source language constructsSet up an optimization pipeline and tailor it for your own needsExtend LLVM with transformation passes and clang toolingAdd new machine instructions and a complete backendWho this book is forThis book is for compiler developers, enthusiasts, and engineers new to LLVM. C++ software engineers looking to use compiler-based tools for code analysis and improvement, as well as casual users of LLVM libraries who want to gain more knowledge of LLVM essentials will also find this book useful. Intermediate-level experience with C++ programming is necessary to understand the concepts covered in this book.Table of ContentsInstalling LLVMThe Structure of a CompilerTurning the Source File into an Abstract Syntax TreeBasics of IR Code GenerationIR Generation for High-Level Language ConstructsAdvanced IR GenerationOptimizing IRThe TableGen LanguageJIT CompilationDebugging Using LLVM ToolsThe Target DescriptionInstruction SelectionBeyond Instruction Selection

  • af Elena Bellodi
    409,95 kr.

    This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13¿15, 2023.The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 18 submissions. They cover all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches.

  • - From Novice to Professional
    af Ivor Horton
    553,95 - 907,95 kr.

    We lelcome to Beginning C: From Novice to Professional, Fourth Edition. With this book you can become a competent C programmer. In many ways, C is an ideal language with which to learn programming. C is a very compact language, so there isn't a lot of syntax to learn before you can write real applications. In spite of its conciseness and ease, it's also an extremely powerful language that's still widely used by professionals. The power of C is such that it is used for programming at all levels, from device drivers and operating system components to large-scale applications. C compilers are available for virtually every kind of computer, so when you've learned C, you'll be equipped to program in just about any context. Finally, once you know C, you have an excellent base from which you can build an understanding of the object-oriented C++. My objective in this book is to minimize what I think are the three main hurdles the aspiring programmer must face: coming to grips with the jargon that pervades every programming language, understanding how to use the language elements (as opposed to merely knowing what they are), and appreciating how the language is applied in a practical context. Jargon is an invaluable and virtually indispensable means of communication for the expert professional as well as the competent amateur, so it can't be avoided.

  • af Fabrice Rastello
    811,95 - 932,95 kr.

    This book provides readers with a single-source reference to static-single assignment(SSA)-based compiler design. It is the first (and up to now only) book that coversin a deep and comprehensive way how an optimizing compiler can be designed usingthe SSA form. After introducing vanilla SSA and its main properties, the authorsdescribe several compiler analyses and optimizations under this form. They illustratehow compiler design can be made simpler and more efficient, thanks to the SSA form.This book also serves as a valuable text/reference for lecturers, making the teaching ofcompilers simpler and more effective. Coverage also includes advanced topics, such ascode generation, aliasing, predication and more, making this book a valuable referencefor advanced students and practicing engineers.   

  • af Peter Bosch
    452,95 kr.

  • af Mahesh Kumar N. B.
    360,95 kr.

    Welcome to "Introduction to Compilers and Language Design." This book is a comprehensive journey into the fascinating world of compiler construction and the art of designing programming languages. Whether you are a seasoned software engineer looking to deepen your understanding of how compilers work or a budding programmer eager to explore the intricate process of creating your own programming language, this text is designed to be your guiding light.In these pages, we will embark on an exploration of the inner workings of compilers, from lexical analysis to code generation, delving into the theories, algorithms, and practical implementation techniques that power the software responsible for translating human-readable code into machine-executable instructions. Additionally, we will delve into the intricacies of language design, examining the principles that underpin the creation of expressive, efficient, and user-friendly programming languages. Whether your goal is to become a compiler expert or simply gain a deeper appreciation for the magic that happens behind the scenes when you write code, "Introduction to Compilers and Language Design" is your passport to this captivating realm of computer science.

  • af Lucy Scott
    881,95 kr.

    Welcome to "Advanced Transact-SQL," the sequel to my first book, "Relational Database and Transact SQL." For those who've journeyed through the initial volume, you're well-prepared to explore the depths of transact-SQL in this advanced edition.In this book, we not only delve into the intricacies of advanced SQL statement syntax but also ensure your understanding through extensive examples and practical exercises. To solidify your knowledge and test your grasp of the concepts, we've included over 400 multiple-choice questions for your review and self-assessment.

  • af Chung-Kil Hur
    537,95 kr.

    This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26¿29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis, and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic, and quantum programming; software security; concurrency and parallelism; tools and environments for programming and implementation; and applications of SAT/SMT to programming and implementation.

  • af Roberto Basili
    623,95 kr.

    This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 ¿ Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6¿10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural Language Processing, Machine Learning, Hybrid AI and Applications of AI.

  • af John Smith
    198,95 kr.

    "History of the Code: Exploring the Field of Computer Programming" is an interesting book that takes readers on a trip through the complicated world of programming and shows how this field has changed over time. This book is a great introduction to the history, present, and future of computer code. Tech fans, students, and anyone interested in the digital world should read it.This well-written and well-researched story goes into great detail about important events in the history of programming, from the earliest ideas of math and logic to the creation of important computer languages like Fortran and C. It shows how important programmers were in breaking codes during World War II and uncovers the secret history of how computers helped win the war.The book also talks about how programming has changed many fields, from healthcare and finance to space research and environmental technology. It shows how programming has led to new ideas, changed businesses, and still does to push the limits of what's possible in the tech world.The job of computing changes as technology does. This book focuses on the moral issues and societal effects that come up with modern software creation. It shows how different opinions and points of view are shaping the digital world and how important it is for programmers to be diverse and open to everyone."History of the Code" is a thought-provoking and insightful book for anyone who wants to learn more about how computer programming has changed our lives and how the digital future is always changing. It has an interesting story and talks about hot topics like diversity, ethical programming, and new technologies.

  • af José F. Morales
    725,95 kr.

    This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

  • af Kaihui Tu
    441,95 kr.

    This book focuses on FPGA EDA tools, the very foundation of FPGA technology. Instead of illustrating how to use them, this book dives into the tools themselves, revealing how these tools are being designed and how they may improve. Unlike other semiconductors, FPGA has a distinctive two-stage EDA system: chip design EDA and application design EDA.State-of-the-art algorithms, data models and design methodologies/standards are the main concerns of this book, and these will be very helpful for FPGA EDA engineers and researchers to obtain a bird¿s eye view of this complicated knowledge system. In the chip design EDA part, full-custom and semicustom methodologies bring up ASIC-like EDA tools, and in the application design EDA side, typical topics including high-level synthesis, logic synthesis, physical implementation, bitstream configuration, etc., are well discussed.

  • af William Turner
    163,95 - 204,95 kr.

  • af Olivia Miller
    163,95 kr.

    What if you could learn everything you need to ace the coding interview in just a few hours?You can.This book will give you the tools and resources to prepare for your next coding interview and ace it easily. You'll learn how to preparefor your first coding interview and how to answer common questions.This book is perfect for both newbies and experienced professionals alike.

  • af Viktória Zsók
    588,95 kr.

    This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.

  • af Bello Svizzera
    929,95 kr.

    "Programmare col martello" è più di una semplice espressione, è un approccio vigoroso e audace alla risoluzione dei problemi. Evoca l'immagine di un artigiano che, con determinazione e creatività, dà forma a soluzioni concrete.Questo concetto incarna la mentalità dell'innovatore che non esita a sfidare le convenzioni e a cercare soluzioni fuori dagli schemi. L'arte di "programmare col martello" richiede coraggio, visione e la capacità di trasformare idee astratte in realtà tangibili.Non si tratta solo di applicare forza fisica, ma di applicare intelligenza e creatività al processo di risoluzione dei problemi. È la capacità di affrontare le sfide con determinazione e di trovare modi innovativi per superarle.In un mondo sempre più digitale, "programmare col martello" può essere una metafora per l'approccio umano e pratico alla tecnologia. Significa riconoscere che dietro ogni linea di codice c'è una mente che crea, unendo abilità tecniche con un'immaginazione senza limiti.In sintesi, "programmare col martello" è una chiamata all'azione, un invito a trasformare idee in realtà attraverso la determinazione, la creatività e la forza di volontà. È un richiamo alla mentalità dell'artigiano moderno che affronta le sfide con coraggio e determinazione, forgiando soluzioni durature e significative.

  • af Courtney Zhan
    517,95 kr.

    Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. This third edition contains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects. Updated to Selenium version 4, this revision includes Visual Studio Code set up, additional recipes, and new chapters on Selenium DevTools and continuous testing. You'll see how to use Selenium WebDriver for select lists, navigation, assertions, frames, file upload and pop-up dialogs. You'll also learn how to locate web elements and test functions for hyperlinks, buttons, TextFields and TextAreas, radio buttons, CheckBoxes, and more.What You'll Learn Debug test scripts and test data Work with Selenium Remote Control Server Manage and deal with browser profiles and capabilities Monitor tests for advanced user interactions and experiences (UX) Who This Book Is For Experienced .NET and C# Windows application programmers/developers.

  • af Sofiène Tahar
    520,95 kr.

    This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21¿24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

  • af Gabriel Parriaux
    367,95 kr.

    This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23¿25, 2023. The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and its applications; competitions, problem solving, and computational; robotics and unplugged modalities; and curricula and computer science concepts.This is an open access book.

  • af Laura Nenzi
    623,95 kr.

    This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3¿6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems.Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.

  • af Laura Titolo
    520,95 kr.

    This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20¿22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

  • af Vladimir Silva
    358,95 kr.

    Learn to write algorithms and program in the new field of quantum computing. This second edition is updated to equip you with the latest knowledge and tools needed to be a complex problem-solver in this ever-evolving landscape. The book has expanded its coverage of current and future advancements and investments by IT companies in this emerging technology. Most chapters are thoroughly revised to incorporate the latest updates to IBM Quantum's systems and offerings, such as improved algorithms, integrating hardware advancements, software enhancements, bug fixes, and more. Yoüll examine quantum computing in the cloud and run experiments there on a real quantum device. Along the way yoüll cover game theory with the Magic Square, an example of quantum pseudo-telepathy. Yoüll also learn to write code using QISKit, Python SDK, and other APIs such as QASM and execute it against simulators (local or remote) or a real quantum computer. Then peek inside the inner workings of the Bell states for entanglement, Grover¿s algorithm for linear search, Shor¿s algorithm for integer factorization, and other algorithms in the fields of optimization, and more. Finally, yoüll learn the current quantum algorithms for entanglement, random number generation, linear search, integer factorization, and others. By the end of this book, yoüll understand how quantum computing provides massive parallelism and significant computational speedups over classical computersWhat You'll LearnWrite algorithms that provide superior performance over their classical counterpartsCreate a quantum number generator: the quintessential coin flip with a quantum twistExamine the quantum algorithms in use today for random number generation, linear search, and moreDiscover quantum teleportationHandle the counterfeit coin problem, a classic puzzle Put your knowledge to the testwith more than 150 practice exercises Who This Book Is ForDevelopers, programmers, computer science researchers, teachers, and students.

  • af Ronnie Patterson
    244,95 kr.

    Are you ready to demystify the world of AI? Curious about the wonders of generative AI? Whether for business or personal exploration, this comprehensive guide has you covered. Dive into the realms of ChatGPT, MidJourney, and RunwayML to unlock unprecedented potential and change the game.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.