Skip to main content

Warenkorb

Sie werden jetzt wie ein VIP behandelt!

Artikel nicht erhältlich
Bitte überprüfen Sie Ihren Warenkorb. Sie können nicht verfügbare Artikel jetzt entfernen. Andernfalls werden diese beim Bezahlen automatisch entfernt.
ElementeElement
ElementeElement

Empfehlungen für Sie

Loading...

Compilerprogramme eBooks

Lesen Sie gerne eBooks aus der Kategorie Compilerprogramme? Dann werden Ihnen unsere Empfehlungen sicherlich gefallen.
Es werden 145168 von 1280 Ergebnissen angezeigt
Skip side bar filters
  • Recent Trends in Algebraic Development Techniques

    23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

    Bearbeitet von Phillip James, Markus Roggenbach
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations Lesen Sie mehr

    € 49,49

  • Model and Data Engineering

    8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model Lesen Sie mehr

    € 49,49

  • Theoretical Aspects of Computing – ICTAC 2018

    15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

    Bearbeitet von Bernd Fischer, Tarmo Uustalu
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and Lesen Sie mehr

    € 79,19

  • Formal Methods: Foundations and Applications

    21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

    Bearbeitet von Tiago Massoni, Mohammad Reza Mousavi
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical Lesen Sie mehr

    € 56,42

  • Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    Bearbeitet von Jonathan P. Bowen, Huibiao Zhu
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of Lesen Sie mehr

    € 49,49

  • Static Analysis

    24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

    Bearbeitet von Francesco Ranzato
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is Lesen Sie mehr

    € 49,49

  • Security Standardisation Research

    4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

    Bearbeitet von Cas Cremers, Anja Lehmann
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and Lesen Sie mehr

    € 49,49

  • Functional and Logic Programming

    13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

    Bearbeitet von Andy King, Oleg Kiselyov
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of Lesen Sie mehr

    € 46,52

  • Runtime Verification

    16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

    Bearbeitet von Yliès Falcone, César Sánchez
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of Lesen Sie mehr

    € 49,49

  • Languages and Compilers for Parallel Computing

    29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

    Bearbeitet von Chen Ding, John Criswell, Peng Wu
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.The 20 revised full papers presented together with 4 short papers were carefully reviewed. The papers are organized in topical sections on large scale parallelism, resilience and Lesen Sie mehr

    € 49,49

  • Formal Aspects of Component Software

    10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the Lesen Sie mehr

    € 49,49

  • Automated Reasoning

    10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

    Serien Buch 1 - Springer Nature Proceedings Computer Science
    This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP Lesen Sie mehr

    € 79,19

  • Applied Reconfigurable Computing. Architectures, Tools, and Applications

    17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings

    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 17th International Symposium on Applied Reconfigurable Computing, ARC 2021, held as a virtual event, in June 2021.The 14 full papers and 11 short presentations presented in this volume were carefully reviewed and selected from 40 submissions. The papers cover a broad spectrum of applications of reconfigurable computing, from driving assistance, data and Lesen Sie mehr

    € 49,49

  • C++17 Quick Syntax Reference

    A Pocket Guide to the Language, APIs and Library

    von Mikael Olsson
    Serien series Professional and Applied Computing (R0)
    This quick C++17 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++17. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.In the C++17 Quick Syntax Reference, you will find short, simple, and focused code examples. This book includes a well laid out table of contents and a comprehensive index Lesen Sie mehr

    € 21,33

  • Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

    Selected Contributions on Specification, Design, and Verification from FDL 2009

    Bearbeitet von Dominique Borrione
    Serien series Engineering (R0)
    More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on Lesen Sie mehr

    € 138,59

  • Translation 4.0

    Dolmetschen und Uebersetzen im Zeitalter der Digitalisierung

    Serien Buch 21 - Leipziger Studien zur angewandten Linguistik und Translatologie
    Die Entwicklung digitaler Möglichkeiten führt zu neuen Translationsformen. Sie verlangt eine Überprüfung von Ansätzen und Theorien und schafft neue Möglichkeiten für (sprachvergleichende) theoretische und korpusbasierte Studien. Die Beiträge dieses Bandes gehen den Auswirkungen der technischen Veränderungen auf die Translation selbst sowie auf die sich stetig verändernden bzw. erweiternden Lesen Sie mehr

    € 81,72

  • Start with Azure: Learn It Fast, Build It Right

    Master Microsoft Azure from the ground up with this comprehensive, fast-track guide to building cloud solutions the right way.Whether you're a student, aspiring cloud engineer, or an IT professional transitioning to Azure, Start with Azure: Learn It Fast, Build It Right delivers a clear, hands-on roadmap to mastering Microsoft's powerful cloud platform. This book strips away the fluff and gets Lesen Sie mehr

    € 8,99

  • Mastering GameMaker: A Journey from Novice to Expert

    "Mastering GameMaker: A Journey from Novice to Expert" is the definitive guide for anyone aspiring to master the art of game development using the renowned GameMaker Studio. Whether you're an absolute beginner or an intermediate user looking to refine your skills, this book offers a comprehensive and engaging path to becoming an expert in one of the most user-friendly game development platforms Lesen Sie mehr

    € 9,49

  • Today's TBB

    C++ Parallel Programming with Threading Building Blocks

    Serien series Professional and Applied Computing (R0)
    This open-access book serves as a comprehensive guide for C++ programmers looking to master Threading Building Blocks (TBB). Authored by two experts in TBB and parallel programming, the book distills decades of collective experience in developing and teaching parallel programming concepts, presenting insights in a clear and accessible manner.Today’s TBB starts with foundational principles, Lesen Sie mehr

    Kostenlos

  • Kotlin Unleashed: Harnessing the Power of Modern Android Development

    "Kotlin Unleashed: Harnessing the Power of Modern Android Development" is your comprehensive guide to mastering Android app development using the Kotlin programming language. Whether you're a novice looking to start your Android development journey or an experienced developer seeking to leverage Kotlin's power, this book is your key to creating cutting-edge Android applications.This in-depth guide Lesen Sie mehr

    € 9,49

  • Python Mini Manual

    Embark on a journey to master Python with this comprehensive guide that covers everything from the basics to advanced concepts. Whether you're new to programming or looking to enhance your skills, this book offers a blend of focused discussions, real-world examples, and practice exercises to help you become proficient in Python.Begin by exploring an overview of Python and its evolution, along with Lesen Sie mehr

    € 2,99

  • Harnessing the Power of Firebase and Google Cloud Platform: A Comprehensive Guide for Developers

    Unlock the full potential of Firebase and Google Cloud Platform with this in-depth guide tailored for developers eager to enhance their skills in cloud-based app development. "Harnessing the Power of Firebase and Google Cloud Platform" provides a comprehensive roadmap for building, scaling, and optimizing applications using Firebase's versatile tools and Google Cloud's robust infrastructure Lesen Sie mehr

    € 9,49

  • Mastering SDL for Game Creators: Crafting Unique Experiences

    SDL Game Development Series

    Serien series SDL Game Development Series
    "Mastering SDL for Game Creators: Crafting Unique Experiences" is an essential guidebook for developers seeking to elevate their skills in game design and programming. Simple DirectMedia Layer (SDL) is a powerful tool used by professionals to create high-performance games that span across various platforms, and this comprehensive resource is your key to mastering it.Delving deep into the nuances Lesen Sie mehr

    € 9,49

  • Clean C++

    Sustainable Software Development Patterns and Best Practices with C++ 17

    von Stephan Roth
    Serien series Professional and Applied Computing (R0)
    Write maintainable, extensible, and durable software with modern C++. This book is a must for every developer, software architect, or team leader who is interested in good C++ code, and thus also wants to save development costs. If you want to teach yourself about writing clean C++, Clean C++ is exactly what you need. It is written to help C++ developers of all skill levels and shows by example Lesen Sie mehr

    € 52,79