Přeskočit na hlavní obsah

Nákupní košík

Dostáváte VIP zacházení!

Položka(y), kterou si nemůžete koupit
Prosím, zkontrolujte svůj košík. Nedostupnou položku (y) můžete odebrat nyní nebo ji automaticky odebereme v pokladně.
položkypoložka
položkypoložka

Doporučeno pro vás

Loading...

Kompilátory elektronické knihy

Pokud se vám líbí e-knihy v oblasti Kompilátory, pak budete milovat tyto top výběry.
Zobrazuje se 124 z 1263
Přeskočit filtry boční lišty
  • Compiler Design

    podle Knowledge Flow ...
    Série Kniha 1 - Programming & Computer Science Series
    Compiler Design book by Knowledge Flow is a comprehensive guide that covers the fundamental and advanced concepts of compiler construction. This book is ideal for students, software engineers, and computer science enthusiasts who want to understand lexical analysis, syntax analysis, semantic analysis, intermediate code generation, optimization, and code generation techniques. It provides a step-by ... Přečtěte si více

    84,13 Kč nebo zdarma s Kobo Plus

  • Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

    Série Kniha 4 - Springer Nature Proceedings Computer Science
    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Přečtěte si více

    1 090,09 Kč

  • Integrated Formal Methods

    14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

    Série série Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and ... Přečtěte si více

    1 090,09 Kč

  • OpenGL to WebGL: Bridging the Graphics Divide

    "OpenGL to WebGL: Bridging the Graphics Divide" is an authoritative guide for developers and programmers looking to transition from the traditional OpenGL framework to the web-based WebGL for graphics programming. This comprehensive book provides a deep dive into the intricacies of both OpenGL and WebGL, offering insights into their similarities and differences, and the unique opportunities each ... Přečtěte si více

    205,66 Kč

  • Inductive Logic Programming

    29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings

    Upravil: Dimitar Kazakov, Can Erten ...
    Série série Springer Nature Proceedings Computer Science
    This book constitutes the refereed conference proceedings of the 29th International Conference on Inductive Logic Programming, ILP 2019, held in Plovdiv, Bulgaria, in September 2019.The 11 papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform ... Přečtěte si více

    1 090,09 Kč

  • Functional and Constraint Logic Programming

    26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

    Upravil: Josep Silva ...
    Série série Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018.From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers ... Přečtěte si více

    1 090,09 Kč

  • High Performance Computing for Computational Science – VECPAR 2018

    13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

    Série série Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018, held in São Pedro, Brazil, in September 2018.The 17 full papers and one short paper included in this book were carefully reviewed and selected from 32 submissions presented at the conference. The papers cover the ... Přečtěte si více

    1 090,09 Kč

  • Central European Functional Programming School

    6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

    Série série Computer Science (R0)
    This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary.The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects. ... Přečtěte si více

    1 417,09 Kč

  • Coordination Models and Languages

    19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

    Série série Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers ... Přečtěte si více

    1 090,09 Kč

  • System Analysis and Modeling. Technology-Specific Aspects of Models

    9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

    Série série Springer Nature Proceedings Computer Science
    This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of ... Přečtěte si více

    1 090,09 Kč

  • Model Checking Software

    22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

    Série série Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are ... Přečtěte si více

    1 090,09 Kč

  • OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

    Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

    Série série Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non ... Přečtěte si více

    1 090,09 Kč

  • Computer Safety, Reliability, and Security

    36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

    Série série Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and ... Přečtěte si více

    1 090,09 Kč

  • PRIMA 2017: Principles and Practice of Multi-Agent Systems

    20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

    Série série Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase ... Přečtěte si více

    1 090,09 Kč

  • Rules and Reasoning

    Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

    Série série Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 10 full research papers presented together ... Přečtěte si více

    1 090,09 Kč

  • Static Analysis

    25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

    Upravil: Andreas Podelski ...
    Série série Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program ... Přečtěte si více

    1 090,09 Kč

  • Formal Methods for Industrial Critical Systems

    23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

    Upravil: Falk Howar, Jiří Barnat ...
    Série série Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in ... Přečtěte si více

    1 090,09 Kč

  • Requirements Engineering: Foundation for Software Quality

    25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

    Série série Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of ... Přečtěte si více

    1 417,09 Kč

  • Practical Aspects of Declarative Languages

    22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

    Série série Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative ... Přečtěte si více

    1 090,09 Kč

  • SQL and NoSQL Full Mastery: A Comprehensive Guide to Modern Data Management

    In today's fast-paced digital world, understanding how to efficiently store, manage, and retrieve data is crucial for businesses and developers alike. SQL and NoSQL Full Mastery: A Comprehensive Guide to Modern Data Management offers a deep dive into the world of both relational and non-relational databases, providing readers with the tools they need to navigate the complexities of modern data ... Přečtěte si více

    205,45 Kč

  • Mastering Python: A Comprehensive Crash Course for Beginners

    Are you ready to embark on an exciting journey into the world of Python programming? Whether you're a complete beginner or someone with minimal experience, Mastering Python: A Comprehensive Crash Course for Beginners is designed to provide a clear, step-by-step introduction to one of the most popular programming languages today.This crash course is perfect for those eager to learn coding skills ... Přečtěte si více

    205,45 Kč

  • C# 8 Quick Syntax Reference

    A Pocket Guide to the Language, APIs, and Library

    podle Mikael Olsson ...
    Série Kniha 8 - Professional and Applied Computing (R0)
    This quick C# 8 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 8 for .NET and Windows 10. This book presents the essential C# 8 syntax in a well-organized format that can be used as a handy reference. Specifically, it covers nullable reference types, async streams, ranges and indices, default implementations of interface ... Přečtěte si více

    753,79 Kč

  • Pass AZ-900 Fast: The Ultimate Study Guide

    Pass AZ-900 Fast: The Ultimate Study Guide is your streamlined path to passing the Microsoft Azure Fundamentals certification exam (AZ-900) on your first try. Whether you're new to cloud computing or need a refresher, this guide cuts through the noise to deliver exactly what you need—fast.Crafted for busy professionals, students, and aspiring IT pros, this study guide covers all AZ-900 exam ... Přečtěte si více

    205,45 Kč

  • Excel Macros - A Step-by-Step Illustrated Guide to Learn Excel Macros

    podle Talia Smith ...
    You Are Just 1-Click Away From Learning How To Tap Into The Full Power Of One Feature That Most MS Excel Users Ignore – Macros – To Scale From Being A Beginner To An Advanced User By Automating Processes That You Never Thought Could Be Automated MS Excel is truly a revolutionary spreadsheet tool that does a lot. For many users however, they simply stop at using MS Excel to enter data, generate ... Přečtěte si více

    205,45 Kč