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

楽天Kobo

気になる本

カート

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

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

おすすめ

Loading...

コンパイラ 電子書籍

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

  • Tools and Algorithms for the Construction and Analysis of Systems

    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

    編集 Axel Legay, Tiziana Margaria ...
    シリーズ 本: 1 - Springer Nature Proceedings Computer Science
    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software ... もっと見る

    6,076 円

  • Introducing Vala Programming

    A Language and Techniques to Boost Productivity

    − Michael Lauer ...
    シリーズ series Professional and Applied Computing (R0)
    Get an introduction into the Vala programming language and learn about its syntax, semantics, and idioms. Do you want to boost your productivity? Are you interested in a programming language that combines the efficiency of a scripting language with the performance of a compiled language? Did you always want to write GTK+ or GNOME programs, but hate C with a passion? Read this book and learn Vala ... もっと見る

    5,469 円

  • The Definitive Guide to Masonite

    Building Web Applications with Python

    − Christopher Pitt, Joe Mancuso ...
    シリーズ series Professional and Applied Computing (R0)
    Build fast and effective applications using Masonite, a Python-based framework. This book covers creating a digital home assistant application, but it’s certainly not the only kind of application you could build. By working on this kind of project, you’ll cover the broad range of topics and requirements you’re likely to find as you establish your own web empire.You’ll see how Masonite is a ... もっと見る

    5,469 円

  • Model Checking Software

    23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

    編集 Dragan Bošnački, Anton Wijs ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, ... もっと見る

    6,078 円

  • Static Analysis

    23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

    編集 Xavier Rival ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow ... もっと見る

    6,076 円

  • Beginning C++ Compilers

    An Introductory Guide to Microsoft C/C++ and MinGW Compilers

    − Berik I. Tuleuov, Ademi B. Ospanova ...
    シリーズ series Professional and Applied Computing (R0)
    This book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way. Installing C/C++ compilers, especially Microsoft compilers, typically takes quite a lot of time because it comes with Microsoft Visual Studio for the vast majority of users. Installing Visual Studio requires usually about 40 GB of disk space and a large amount of RAM, so it is ... もっと見る

    6,076 円

  • Advanced Python Development

    Using Powerful Language Features in Real-World Applications

    − Matthew Wilkes ...
    シリーズ series Professional and Applied Computing (R0)
    This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking ... もっと見る

    6,685 円

  • Java Design Patterns

    − Vaskaran Sarcar ...
    シリーズ series Professional and Applied Computing (R0)
    Learn how to implement design patterns in Java: each pattern in Java Design Patterns is a complete implementation and the output is generated using Eclipse, making the code accessible to all. The examples are chosen so you will be able to absorb the core concepts easily and quickly.This book presents the topic of design patterns in Java in such a way that anyone can grasp the idea. By giving easy ... もっと見る

    3,402 円

  • Tests and Proofs

    10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

    編集 Bernhard K. Aichernig, Carlo A. Furia ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP ... もっと見る

    6,076 円

  • Lean Python

    Learn Just Enough Python to Build Useful Tools

    − Paul Gerrard ...
    シリーズ series Professional and Applied Computing (R0)
    Learn only the essential aspects of Python without cluttering up your mind with features you may never use. This compact book is not a "best way to write code" type of book; rather, the author goes over his most-used functions, which are all you need to know as a beginner and some way beyond.Lean Python takes 58 Python methods and functions and whittles them down to 15: as author Paul Gerrard says ... もっと見る

    4,011 円

  • Formal Methods: Foundations and Applications

    18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

    編集 Bill Roscoe, Márcio Cornélio ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and ... もっと見る

    4,862 円

  • Guia prático de TypeScript

    Melhore suas aplicações JavaScript

    − Thiago da Silva Adriano ...
    Desenvolvido e mantido pela Microsoft, o TypeScript é um pré-processador open source de códigos JavaScript que auxilia na escrita de códigos, desde os mais simples até os mais complexos, utilizando tipagem de dados e os princípios da Orientação a Objetos para o desenvolvimento de aplicações front-end, back-end e mobile. Neste livro, Thiago da Silva Adriano abordará conceitos básicos do TypeScript, ... もっと見る

    1,400 円

  • Software Engineering and Formal Methods

    17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

    編集 Peter Csaba Ölveczky, Gwen Salaün ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware ... もっと見る

    6,076 円

  • Introduction to Compiler Design

    − Torben Ægidius Mogensen ...
    シリーズ series Computer Science (R0)
    The second edition of this textbook has been fully revised and adds material about loop optimisation, function call optimisation and dataflow analysis. It presents techniques for making realistic compilers for simple programming languages, using techniques that are close to those used in "real" compilers, albeit in places slightly simplified for presentation purposes. All phases required for ... もっと見る

    6,076 円

  • Python for Beginners

    Learn It as Easy as Pie

    − Yatin Bayya ...
    Whether you are an absolute beginner or an experienced programmer, learn Python programming in a simple, concise, and straightforward manner. Learn to build four smashing projects: a calculator, a drawing app, a login system, and a notes app. This book will walk you through the first steps of becoming a programmer as easy as pie. ... もっと見る

    889 円

  • Exploring Blazor

    Creating Hosted, Server-side, and Client-side Applications with C#

    − Taurius Litvinavicius ...
    シリーズ series Professional and Applied Computing (R0)
    Build and develop web applications with Blazor in C#. This book will cover all three types of Blazor – server-side, client-side, and hosted along with other features of the technology. You’ll see that Blazor is a web UI framework based on C#, Razor, and HTML and how it runs front-end logic using C# either on the server or on the browser using WebAssembly.The author starts by introducing ... もっと見る

    5,469 円

  • Creating Business Applications with Office 365

    Techniques in SharePoint, PowerApps, Power BI, and More

    − Jeffrey M. Rhodes ...
    シリーズ series Professional and Applied Computing (R0)
    Take your Office 365 and SharePoint projects to a higher level by using PowerApps, Flow, Power BI, JavaScript/jQuery jQuery UI widgets, Cascading Style Sheets (CSS), and more. This book will help you create easier solutions to client-side problems and applications. Additionally, you will be able to effectively visualize your data with Power BI.This book starts with configuration of SharePoint and ... もっと見る

    4,254 円

  • Beginning PostgreSQL on the Cloud

    Simplifying Database as a Service on Cloud Platforms

    − Baji Shaik, Avinash Vallarapu ...
    シリーズ series Professional and Applied Computing (R0)
    Get started with PostgreSQL on the cloud and discover the advantages, disadvantages, and limitations of the cloud services from Amazon, Rackspace, Google, and Azure. Once you have chosen your cloud service, you will focus on securing it and developing a back-up strategy for your PostgreSQL instance as part of your long-term plan. Beginning PostgreSQL on the Cloud covers other essential topics such ... もっと見る

    9,116 円

  • Pro Vue.js 2

    − Adam Freeman ...
    シリーズ series Professional and Applied Computing (R0)
    Explore Vue.js to take advantage of the capabilities of modern browsers and devices using the fastest-growing framework for building dynamic JavaScript applications. You will work with the power of the Model-View-Controller (MVC) pattern on the client, creating a strong foundation for complex and rich web apps.Best-selling author Adam Freeman explains how to get the most from Vue.js 2. He begins ... もっと見る

    7,900 円

  • The Coder's Path to Wealth and Independence

    − Mark Beckner ...
    シリーズ series Professional and Applied Computing (R0)
    Developers, programmers, technical architects, and consultants: You are highly skilled and have deep commitment to your craft as well as the motivation to excel. It’s time to step away from the perceived security of a full-time salaried position, or a marginally successful solo business, and step into a world of freedom, independence, and wealth. With your current technical skills, and an open ... もっと見る

    4,618 円

  • Swift for Absolute Beginners

    − Gary Bennett, Brad Lees ...
    シリーズ series Professional and Applied Computing (R0)
    The professional development team that brought you two editions of Objective-C for the Absolute Beginners and have taught thousands of developers around the world to write some of the most popular iPhone apps in their categories on the app store, have now leveraged their instruction for Swift.Swift for Absolute Beginners is perfect for those with no programming background, those with some ... もっと見る

    4,613 円

  • Understanding Network Hacks

    Attack and Defense with Python

    − Bastian Ballmann ...
    シリーズ series Engineering (R0)
    This book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively protect against them. Through Python code samples the reader learns to code tools on subjects such as password sniffing, ARP poisoning, DNS spoofing, SQL injection, Google harvesting and Wifi hacking. Furthermore the reader will be introduced to defense methods such as ... もっと見る

    4,861 円

  • Clean Ruby

    A Guide to Crafting Better Code for Rubyists

    − Carleton DiLeo ...
    シリーズ series Professional and Applied Computing (R0)
    Learn to write clean Ruby code that your team will thank you for. This fully revised and expanded edition goes far beyond the basics to help you master the principles and practices to keep your Ruby code elegant, maintainable, and future-proof.Author Carleton DiLeo draws on years of experience across diverse Ruby codebases to show you why clean code matters and how to achieve it using today’s best ... もっと見る

    4,618 円

  • Rigorous State-Based Methods

    8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

    編集 Alexander Raschke, Dominique Méry ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic.The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also ... もっと見る

    7,292 円