Skip to main content
Search Button
Österreich Kobo-Shop Geschenkkarten Hilfe

Kobo Rakuten

Wunschzettel

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 169 – 192 von 1199 Ergebnissen angezeigt
Skip side bar filters

  • Interactive Theorem Proving

    8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

    Bearbeitet von Mauricio Ayala-Rincón, César A. Muñoz …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in … Lesen Sie mehr

    € 49,49

  • Die ultimative Synology NAS Bibel

    mit vielen Insider Tipps und Tricks - komplett in Farbe

    von Wolfram Gieseke …
    Die ultimative Synology NAS BibelMit diesem umfassenden Praxisbuch zu NAS-Systemen der bekannten Firma Synology bekommen Sie nicht nur einen tiefen Einblick in das komplette Thema der Network-Attached-Storage-Geräte, sondern einen Ratgeber mit vielen Tipps, Tricks und praktischen Hinweisen. Sie erfahren alles von der Kaufberatung über die Installation bis zur Nutzung als Musikarchiv, Fotospeicher, … Lesen Sie mehr

    € 15,50

  • Languages and Compilers for Parallel Computing

    28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

    Bearbeitet von Xipeng Shen, Frank Mueller, James Tuck …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015.The 19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizing framework, … Lesen Sie mehr

    € 49,49

  • A Concise Introduction to Software Engineering

    With Open Source and GenAI

    von Pankaj Jalote …
    Serien series Computer Science (R0)
    Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software. It is therefore important to integrate open source and use of LLMs in teaching software engineering – a key goal of this textbook.This reader-friendly textbook/reference introduces a carefully curated set of concepts and practices … Lesen Sie mehr

    € 49,49

  • Theory and Practice of Model Transformations

    8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

    Bearbeitet von Dimitris Kolovos, Manuel Wimmer …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse … Lesen Sie mehr

    € 46,52

  • Trends in Functional Programming

    18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

    Bearbeitet von Meng Wang, Scott Owens …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. … Lesen Sie mehr

    € 39,59

  • Practical Scala DSLs

    Real-World Applications Using Domain Specific Languages

    von Pierluigi Riti …
    Serien series Professional and Applied Computing (R0)
    Build domain specific languages (DSLs) using Java's most popular functional programming language: Scala. This book introduces the basics of Scala and DSLs using a series of practical examples. In Practical Scala DSLs, you’ll learn to create pragmatic and complete code examples that explain the actual use of DSLs with Scala: a web API and microservices; a custom language; a mobile app; a Forex … Lesen Sie mehr

    € 44,54

  • System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

    11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

    Bearbeitet von Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in … Lesen Sie mehr

    € 49,49

  • Leveraging Applications of Formal Methods, Verification and Validation. Modeling

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

    Bearbeitet von Tiziana Margaria, Bernhard Steffen …
    Serien Buch 1 - 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 … Lesen Sie mehr

    € 49,49

  • Beginning Data Science in R

    Data Analysis, Visualization, and Modelling for the Data Scientist

    von Thomas Mailund …
    Serien series Professional and Applied Computing (R0)
    Discover best practices for data analysis and software development in R and start on the path to becoming a fully-fledged data scientist. This book teaches you techniques for both data manipulation and visualization and shows you the best way for developing new software packages for R.Beginning Data Science in R details how data science is a combination of statistics, computational science, and … Lesen Sie mehr

    € 58,29

  • Automated Reasoning

    8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

    Bearbeitet von Nicola Olivetti, Ashish Tiwari …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International … Lesen Sie mehr

    € 79,19

  • Runtime Verification

    25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings

    Bearbeitet von Bettina Könighofer, Hazem Torfah …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions.The RV conference focuses on all aspects of formal methods for monitoring, … Lesen Sie mehr

    € 64,34

  • Programming Languages

    20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

    Bearbeitet von Fernando Castor, Yu David Liu …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringá, Brazil, in September 2016.The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems. … Lesen Sie mehr

    € 49,49

  • Pro Design Patterns in Swift

    von Adam Freeman …
    Serien series Professional and Applied Computing (R0)
    The Swift programming language has transformed the world of iOS development and started a new age of modern development. Pro Design Patterns in Swift shows you how to harness the power and flexibility of Swift to apply the most important and enduring design patterns to your applications, taking your development projects to master level.This book will teach you those design patterns that have … Lesen Sie mehr

    € 49,05

  • Formal Aspects of Component Software

    14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

    Bearbeitet von José Proença, Markus Lumpe …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software … Lesen Sie mehr

    € 49,49

  • Testing Software and Systems

    28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

    Bearbeitet von Natalia Kushik, Mihai Nica, Franz Wotawa …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016.The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in … Lesen Sie mehr

    € 49,49

  • Supercomputing

    4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

    Bearbeitet von Vladimir Voevodin, Sergey Sobolev …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th Russian Supercomputing Days, RuSCDays 2018, held in Moscow, Russia, in September 2018.The 59 revised full papers and one revised short paper presented were carefully reviewed and selected from 136 submissions. The papers are organized in topical sections on parallel algorithms; supercomputer simulation; high performance architectures, tools … Lesen Sie mehr

    € 49,49

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

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

    Bearbeitet von Tiziana Margaria, Bernhard Steffen …
    Serien Buch 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 … Lesen Sie mehr

    € 49,49

  • Essential Visual J++ 6.0 fast

    How to develop Java applications and applets with Visual J++

    von John Cowell …
    Serien series Computer Science (R0)
    Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book … Lesen Sie mehr

    € 49,49

  • Creating Maintainable APIs

    A Practical, Case-Study Approach

    von Ervin Varga …
    Serien series Professional and Applied Computing (R0)
    Build straightforward and maintainable APIs to create services that are usable and maintainable. Although this book focuses on distributed services, it also emphasizes how the core principles apply even to pure OOD and OOP constructs.The overall context of Creating Maintainable APIs is to classify the topics into four main areas: classes and interfaces, HTTP REST APIs, messaging APIs, and message … Lesen Sie mehr

    € 44,54

  • Agile Android

    von Godfrey Nolan …
    This concise book walks you through how to get unit testing and test driven development done on Android, specifically using JUnit 4. You'll learn how to do agile development quickly and correctly, with a significant increase in development efficiency and a reduction in the number of defects.Agile practices have made major inroads in Java development, however it’s very unusual to see something as … Lesen Sie mehr

    € 18,58

  • Quality of Information and Communications Technology

    12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

    Bearbeitet von Mario Piattini, Paulo Rupino da Cunha, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019, held in Ciudad Real, Spain, in September 2019.The 19 full papers and 6 short papers were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections: security & privacy, requirements engineering, business … Lesen Sie mehr

    € 74,24

  • Computer Safety, Reliability, and Security

    34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

    Bearbeitet von Floor Koornneef, Coen van Gulijk …
    Serien series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive … Lesen Sie mehr

    € 49,49

  • Exploring Robotics with ROBOTIS Systems

    von Chi N. Thai …
    Serien series Computer Science (R0)
    This 2nd edition textbook has been expanded to include of 175 additional pages of additional content, created in response to readers feedback, as well as to new hardware and software releases. The book presents foundational robotics concepts using the ROBOTIS BIOLOID and OpenCM-904 robotic systems, and is suitable as a curriculum for a first course in robotics for undergraduate students or a self … Lesen Sie mehr

    € 59,39