Skip to main content
Search Button
日本 楽天Koboストア ヘルプ

楽天Kobo

気になる本

カート

VIP 特典をお楽しみいただけます！

購入できない書籍
お買い物かごをご確認ください。購入不可の商品を削除できます。削除されなかった購入不可の商品は、購入手続き時に削除されます。
点点
点点

おすすめ

Loading...

コンパイラ 電子書籍

コンパイラ の本がお好きな方におすすめです。
1195件の検索結果中1081～1104を表示
Skip side bar filters

  • Advanced Guide to Python 3 Programming

    − John Hunt ...
    シリーズ 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), ... もっと見る

    7,292 円

  • 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

    編集 Marco Bernardo, Einar Broch Johnsen ...
    シリーズ 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 ... もっと見る

    5,834 円

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

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

    編集 Maurice H. ter Beek, Alessandro Fantechi, Laura Semini ...
    シリーズ 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 ... もっと見る

    6,076 円

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

    Autoencoding in the Complex Domain

    − Timothy Masters ...
    シリーズ 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 ... もっと見る

    6,685 円

  • Programming Languages and Systems

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

    編集 Oleg Kiselyov ...
    シリーズ 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 ... もっと見る

    6,685 円

  • 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

    編集 Viktor Vafeiadis ...
    シリーズ 本: 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 ... もっと見る

    無料

  • Practical Marko

    Progressive HTML Rendering and Micro Front-Ends

    − Damodaran Chingleput Sathyakumar ...
    シリーズ 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 ... もっと見る

    6,685 円

  • Full Stack AngularJS for Java Developers

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

    − Ravi Kant Soni ...
    シリーズ 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 ... もっと見る

    9,116 円

  • Learning Groovy

    − Adam L. Davis ...
    シリーズ series Professional and Applied Computing (R0)
    Start building powerful apps that take advantage of the dynamic scripting capabilities of the Groovy language. This book covers Groovy fundamentals, such as installing Groovy, using Groovy tools, and working with the Groovy Development Kit (GDK). You'll also learn more advanced aspects of Groovy, such as using Groovy design patterns, writing DSLs in Groovy, and taking advantage of Groovy's ... もっと見る

    3,402 円

  • Mathematics of Program Construction

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

    編集 Ralf Hinze, Janis Voigtländer ...
    シリーズ 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. ... もっと見る

    6,076 円

  • Genetic Algorithms in Java Basics

    − Burak Kanber, Lee Jacobson ...
    シリーズ 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 ... もっと見る

    7,292 円

  • Clean C++

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

    − Stephan Roth ...
    シリーズ 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 ... もっと見る

    6,685 円

  • PHP 8 Solutions

    Dynamic Web Design and Development Made Easy

    − David Powers ...
    シリーズ 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 ... もっと見る

    7,900 円

  • Modern Compiler Implementation in C

    − 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 ... もっと見る

    14,535 円

  • Rethinking Productivity in Software Engineering

    編集 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 ... もっと見る

    無料

  • Automated Technology for Verification and Analysis

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

    編集 Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza ...
    シリーズ 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 ... もっと見る

    6,076 円

  • Developing for Apple TV using tvOS and Swift

    − Gary Bennett, Brad Lees, Stefan Kaczmarek ...
    シリーズ series Professional and Applied Computing (R0)
    Gary Bennett, Brad Lees, and Stefan Kaczmarek, the team behind Swift 2 for Absolute Beginners, brings you a hands-on “Swift” introduction to the new tvOS SDK with a collection of app projects to try out.You’ll learn how to create a BookStore app for the TV, including using Stack Views for book details, how to create a photo gallery app, and how to use collection view and split view controllers ... もっと見る

    3,402 円

  • Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

    編集 Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital ... もっと見る

    5,105 円

  • Transactions on High-Performance Embedded Architectures and Compilers V

    − Per Stenström ...
    シリーズ series Computer Science (R0)
    Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. The ... もっと見る

    6,076 円

  • Practical Android

    14 Complete Projects on Advanced Techniques and Approaches

    − Mark Wickham ...
    シリーズ series Professional and Applied Computing (R0)
    Choose the best approach for your app and implement your solution quickly by leveraging complete projects. This book is a collection of practical projects that use advanced Android techniques and approaches, written by Android instructor Mark Wickham. Mark has taught a series of popular classes at Android development conferences since 2013 and Practical Android covers content from his most popular ... もっと見る

    6,076 円

  • Static Analysis

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

    編集 Andreas Podelski ...
    シリーズ series 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 ... もっと見る

    6,076 円

  • BANTAM User Guide

    Biometric and Token Technology Application Modeling Language

    − Julian Ashbourn ...
    シリーズ series Computer Science (R0)
    BANTAM is the first modeling language specifically designed for applications in Biometrics and Token Technology. It represents a significant step forward for the design and implementation of biometric and related technology applications in that:- it is very simple to learn and use;- it offers a consistent system of documentation and a clarity of presentation which make the accurate description of ... もっと見る

    6,076 円

  • Migrating to Swift from Web Development

    − Mark Punak, Anthony Nemec, Sean Liao ...
    シリーズ series Professional and Applied Computing (R0)
    Migrating to Swift From Web Development gives you the ability to create native iOS apps using the latest Swift programming language. Starting with preparing your latest Xcode 6 Integrated Development Environment and introducing just enough iOS application framework fundamentals, you'll understand how to create a simple but meaningful Hello Swift application for iOS 8 immediately.After the short ... もっと見る

    4,254 円

  • Foundations and Practice of Security

    11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

    編集 Nur Zincir-Heywood, Guillaume Bonfante, Mourad Debbabi, Joaquin Garcia-Alfaro ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud ... もっと見る

    8,021 円