Skip to main content
Search Button
België Kobo Shop Cadeaukaarten Hulp

Kobo Rakuten

Verlanglijstje

Winkelwagen

Je krijgt de VIP-behandeling!

Artikel(en) niet beschikbaar voor aankoop
Bekijk je winkelwagentje. Je kunt de niet-beschikbare artikelen nu verwijderen of we verwijderen ze bij de kassa automatisch.
artikelenartikel
artikelenartikel

Aanbevolen voor jou

Loading...

eBooks in de categorie Compilers

Als je eBooks uit de categorie Compilers' leuk vindt, dan vind je deze toptitels ook geweldig.
961 - 984 van 1199 resultaten worden weergegeven
Skip side bar filters

  • SSA-based Compiler Design

    Bewerkt door Fabrice Rastello, Florent Bouchez Tichadou ...
    Serie series Computer Science (R0)
    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. ... Meer lezen

    90,09 €

  • Trends in Functional Programming

    16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

    Bewerkt door Manuel Serrano, Jurriaan Hage ...
    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional ... Meer lezen

    42,39 €

  • Functional Data Structures and Algorithms

    A Proof Assistant Approach

    door Tobias Nipkow ...
    Serie series ACM Books
    This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph ... Meer lezen

    40,00 €

  • Open Source Software for Digital Forensics

    Bewerkt door Ewa Huebner, Stefano Zanero ...
    Serie series Springer Nature Proceedings Computer Science
    Open Source Software for Digital Forensics is the first book dedicated to the use of FLOSS (Free Libre Open Source Software) in computer forensics. It presents the motivations for using FLOSS applications as tools for collection, preservation and analysis of digital evidence in computer and network forensics. It also covers extensively several forensic FLOSS tools, their origins and evolution.Open ... Meer lezen

    148,39 €

  • Beginning Java 8 Games Development

    door Wallace Jackson ...
    Serie series Professional and Applied Computing (R0)
    Beginning Java 8 Games Development, written by Java expert and author Wallace Jackson, teaches you the fundamentals of building a highly illustrative game using the Java 8 programming language. In this book, you'll employ open source software as tools to help you quickly and efficiently build your Java game applications. You'll learn how to utilize vector and bit-wise graphics; create sprites and ... Meer lezen

    52,49 €

  • Critical Systems: Formal Methods and Automated Verification

    Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

    Bewerkt door Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp ...
    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from ... Meer lezen

    52,99 €

  • AIxIA 2020 – Advances in Artificial Intelligence

    XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers

    Bewerkt door Matteo Baldoni, Stefania Bandini ...
    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t. the original format.The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at ... Meer lezen

    95,39 €

  • Principles of Package Design

    Creating Reusable Software Components

    door Matthias Noback ...
    Serie series Professional and Applied Computing (R0)
    Apply design principles to your classes, preparing them for reuse. You will use package design principles to create packages that are just right in terms of cohesion and coupling, and are user- and maintainer-friendly at the same time.The first part of this book walks you through the five SOLID principles that will help you improve the design of your classes. The second part introduces you to the ... Meer lezen

    79,25 €

  • Machine Learning Using R

    With Time Series and Industry-Based Use Cases in R

    door Karthik Ramasubramanian, Abhishek Singh ...
    Serie series Professional and Applied Computing (R0)
    Examine the latest technological advancements in building a scalable machine-learning model with big data using R. This second edition shows you how to work with a machine-learning algorithm and use it to build a ML model from raw data. You will see how to use R programming with TensorFlow, thus avoiding the effort of learning Python if you are only comfortable with R.As in the first edition, the ... Meer lezen

    66,37 €

  • Advanced Guide to Python 3 Programming

    door John Hunt ...
    Serie series Computer Science (R0)
    Advanced Guide to Python 3 Programming delves deeply into a host of subjects that you need to understand if you are to develop sophisticated real-world programs. Each topic is preceded by an introduction followed by more advanced topics, along with numerous examples, that take you to an advanced level.There are nine different sections within the book covering Computer Graphics(including GUIs), ... Meer lezen

    63,59 €

  • Formal Methods for Multicore Programming

    15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

    Bewerkt door Marco Bernardo, Einar Broch Johnsen ...
    Serie series Computer Science (R0)
    This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and ... Meer lezen

    49,81 €

  • From Software Engineering to Formal Methods and Tools, and Back

    Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

    Bewerkt door Maurice H. ter Beek, Alessandro Fantechi, Laura Semini ...
    Serie series Computer Science (R0)
    This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey ... Meer lezen

    52,99 €

  • Deep Belief Nets in C++ and CUDA C: Volume 2

    Autoencoding in the Complex Domain

    door Timothy Masters ...
    Serie series Professional and Applied Computing (R0)
    Discover the essential building blocks of a common and powerful form of deep belief net: the autoencoder. You’ll take this topic beyond current usage by extending it to the complex domain for signal and image processing applications. Deep Belief Nets in C++ and CUDA C: Volume 2 also covers several algorithms for preprocessing time series and image data. These algorithms focus on the creation of ... Meer lezen

    56,46 €

  • Programming Languages and Systems

    22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

    Bewerkt door Oleg Kiselyov ...
    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative ... Meer lezen

    58,29 €

  • Programming Languages and Systems

    34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

    Bewerkt door Viktor Vafeiadis ...
    Serie Boek 2 - Springer Nature Proceedings Computer Science
    The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025.The 30 full papers included in the proceedings were carefully reviewed and selected from a total of 88 ... Meer lezen

    Gratis

  • Practical Marko

    Progressive HTML Rendering and Micro Front-Ends

    door Damodaran Chingleput Sathyakumar ...
    Serie series Professional and Applied Computing (R0)
    With the recent evolution of frontend frameworks toward the server, there has been a growing interest in server-side rendering and optimizing for the server to unlock greater performance gains. In this context, this book explores Marko JS—a View framework that is heavily optimized for both the server and the client—and discusses techniques using Marko that can help enterprises achieve significant ... Meer lezen

    56,46 €

  • Full Stack AngularJS for Java Developers

    Build a Full-Featured Web Application from Scratch Using AngularJS with Spring RESTful

    door Ravi Kant Soni ...
    Serie series Professional and Applied Computing (R0)
    Get introduced to full stack enterprise development. Whether you are new to AngularJS and Spring RESTful web services, or you are a seasoned expert, you will be able to build a full-featured web application from scratch using AngularJS and Spring RESTful web services.Full stack web development is in demand because you can explore the best of different tools and frameworks and yet make your apps ... Meer lezen

    79,25 €

  • Mathematics of Program Construction

    12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

    Bewerkt door Ralf Hinze, Janis Voigtländer ...
    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. ... Meer lezen

    52,99 €

  • Genetic Algorithms in Java Basics

    door Burak Kanber, Lee Jacobson ...
    Serie series Professional and Applied Computing (R0)
    Genetic Algorithms in Java Basics is a brief introduction to solving problems using genetic algorithms, with working projects and solutions written in the Java programming language. This brief book will guide you step-by-step through various implementations of genetic algorithms and some of their common applications, with the aim to give you a practical understanding allowing you to solve your own ... Meer lezen

    62,40 €

  • Clean C++

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

    door Stephan Roth ...
    Serie 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 ... Meer lezen

    56,46 €

  • PHP 8 Solutions

    Dynamic Web Design and Development Made Easy

    door David Powers ...
    Serie series Professional and Applied Computing (R0)
    Make your websites more dynamic by adding a feedback form, creating a private area where members can upload images that are automatically resized, or storing all your content in a database. David Powers has updated his definitive book to incorporate the latest techniques and changes to PHP with the arrival of PHP 8. New features include named attributes, constructor property promotion, the ... Meer lezen

    66,37 €

  • Modern Compiler Implementation in C

    door Andrew W. Appel ...
    This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and ... Meer lezen

    87,83 €

  • Rethinking Productivity in Software Engineering

    Bewerkt door Caitlin Sadowski, Thomas Zimmermann ...
    Get the most out of this foundational reference and improve the productivity of your software teams. This open access book collects the wisdom of the 2017 "Dagstuhl" seminar on productivity in software engineering, a meeting of community leaders, who came together with the goal of rethinking traditional definitions and measures of productivity.The results of their work, Rethinking Productivity in ... Meer lezen

    Gratis

  • Automated Technology for Verification and Analysis

    17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

    Bewerkt door Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza ...
    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.The symposium is dedicated to the promotion of research on theoretical and practical aspects of ... Meer lezen

    52,99 €