Rakuten Kobo

カート

購入できない書籍

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

点点

- 電子書籍への無制限アクセス
  
  オーディオブックへの無制限アクセス
  
  契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions
  
  お好みのオーディオブックに毎月1クレジットを取得
  
  契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions
  
  電子書籍への無制限アクセス
  
  オーディオブックへの無制限アクセス
  
  契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions
  オーディオブック
  − ,
  
  発売日:
  
  . 契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions.
  
  予約注文する
  オーディオブック月 1 冊
  
  + 30 日間無料お試し
  
  スペシャルオファー
  
  お好きなオーディオブックと交換できるチケットが毎月１枚もらえます。
  
  *いつでも自由に解約できます
  
  無料

点点

電子書籍への無制限アクセス

オーディオブックへの無制限アクセス

契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions

お好みのオーディオブックに毎月1クレジットを取得

契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions

電子書籍への無制限アクセス

オーディオブックへの無制限アクセス

契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions
オーディオブック
− ,

発売日:
. 契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions.

予約注文する
オーディオブック月 1 冊

+ 30 日間無料お試し

スペシャルオファー

お好きなオーディオブックと交換できるチケットが毎月１枚もらえます。

*いつでも自由に解約できます

無料

おすすめ

MATLAB Linear Algebra

− Cesar Lopez ...

シリーズ series Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... もっと見る

6,076 円

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... もっと見る
C++17 Quick Syntax Reference

A Pocket Guide to the Language, APIs and Library

− Mikael Olsson ...

シリーズ series Professional and Applied Computing (R0)
This quick C++17 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++17. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.In the C++17 Quick Syntax Reference, you will find short, simple, and focused code examples. This book includes a well laid out table of contents and a comprehensive index ... もっと見る

2,795 円

This quick C++17 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++17. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.In the C++17 Quick Syntax Reference, you will find short, simple, and focused code examples. This book includes a well laid out table of contents and a comprehensive index
... もっと見る
Beginning Haskell

A Project-Based Approach

− Alejandro Serrano Mena ...

シリーズ series Professional and Applied Computing (R0)
Beginning Haskell provides a broad-based introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. The book takes a project-based approach to learning the language that is unified around the building of a web-based storefront. Excellent coverage is given to the Haskell ecosystem and ... もっと見る

6,076 円

Beginning Haskell provides a broad-based introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. The book takes a project-based approach to learning the language that is unified around the building of a web-based storefront. Excellent coverage is given to the Haskell ecosystem and
... もっと見る
LLVM Cookbook

Over 80 engaging recipes that will help you build a compiler frontend, optimizer, and code generator using LLVM

− Mayur Pandey, Suyog Sarda ...

Key FeaturesBook DescriptionThe book is for compiler programmers who are familiar with concepts of compilers and want to indulge in understanding, exploring, and using LLVM infrastructure in a meaningful way in their work. This book is also for programmers who are not directly involved in compiler projects but are often involved in development phases where they write thousands of lines of code. ... もっと見る

4,391 円

Key FeaturesBook DescriptionThe book is for compiler programmers who are familiar with concepts of compilers and want to indulge in understanding, exploring, and using LLVM infrastructure in a meaningful way in their work. This book is also for programmers who are not directly involved in compiler projects but are often involved in development phases where they write thousands of lines of code.
... もっと見る
Learning C# by Programming Games

− Arjan Egges, Jeroen D. Fokker, Mark H. Overmars ...

シリーズ series Computer Science (R0)
Developing computer games is a perfect way to learn how to program in modern programming languages. This book teaches how to program in C# through the creation of computer games – and without requiring any previous programming experience.Contrary to most programming books, Egges, Fokker and Overmars do not organize the presentation according to programming language constructs, but instead use the ... もっと見る

6,076 円

Developing computer games is a perfect way to learn how to program in modern programming languages. This book teaches how to program in C# through the creation of computer games – and without requiring any previous programming experience.Contrary to most programming books, Egges, Fokker and Overmars do not organize the presentation according to programming language constructs, but instead use the
... もっと見る
JavaScript Object Programming

− Martin Rinehart ...

シリーズ series Professional and Applied Computing (R0)
This brief book explains the advantages of the object model, inheritance, both classical and prototypical, and shows how these concepts can be implemented in JavaScript. It also shows how object programming (OP) opens a new world of design possibilities that go far beyond inheritance.This book will help the intermediate JavaScript programmer learn to use both types of inheritance. For classical ... もっと見る

4,011 円

This brief book explains the advantages of the object model, inheritance, both classical and prototypical, and shows how these concepts can be implemented in JavaScript. It also shows how object programming (OP) opens a new world of design possibilities that go far beyond inheritance.This book will help the intermediate JavaScript programmer learn to use both types of inheritance. For classical
... もっと見る
Beginning Java 8 Games Development

− Wallace Jackson ...

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

6,076 円

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
... もっと見る
Xamarin Mobile Application Development

Cross-Platform C# and Xamarin.Forms Fundamentals

− Dan Hermes ...

シリーズ series Professional and Applied Computing (R0)
Xamarin Mobile Application Development is a hands-on Xamarin.Forms primer and a cross-platform reference for building native Android, iOS, and Windows Phone apps using C# and .NET. This book explains how to use Xamarin.Forms, Xamarin.Android, and Xamarin.iOS to build business apps for your customers and consumer apps for Google Play and the iTunes App Store.Learn how to leverage Xamarin.Forms for ... もっと見る

10,331 円

Xamarin Mobile Application Development is a hands-on Xamarin.Forms primer and a cross-platform reference for building native Android, iOS, and Windows Phone apps using C# and .NET. This book explains how to use Xamarin.Forms, Xamarin.Android, and Xamarin.iOS to build business apps for your customers and consumer apps for Google Play and the iTunes App Store.Learn how to leverage Xamarin.Forms for
... もっと見る
Modern Compiler Implementation in Java

− Andrew W. Appel ...

This textbook describes all phases of a 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 the compilation of functional and ... もっと見る

15,615 円

This textbook describes all phases of a 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 the compilation of functional and
... もっと見る
Compiler Construction Using Java, JavaCC, and Yacc

− Anthony J. Dos Reis ...

Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic ... もっと見る

15,507 円

Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic
... もっと見る
NUnit Pocket Reference

Up and Running with NUnit

− Bill Hamilton ...

Few .NET developers have the luxury of unlimited code testing once their application is complete, and rushing through the testing process is both problematic and stressful. The open source NUnit framework provides an excellent and efficient way to test and improve .NET code as it's written, saving hundreds of QA hours and headaches.NUnit is one of the most mature and widely-used .NET open source ... もっと見る

722 円

Few .NET developers have the luxury of unlimited code testing once their application is complete, and rushing through the testing process is both problematic and stressful. The open source NUnit framework provides an excellent and efficient way to test and improve .NET code as it's written, saving hundreds of QA hours and headaches.NUnit is one of the most mature and widely-used .NET open source
... もっと見る
Formal Aspects of Component Software

11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

編集 Ivan Lanese, Eric Madelaine ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ... もっと見る

6,076 円

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and
... もっと見る
Beginning C++17

From Novice to Professional

− Ivor Horton, Peter Van Weert ...

シリーズ series Professional and Applied Computing (R0)
Learn how to program using the updated C++17 language. You'll start with the basics and progress through step-by-step examples to become a working C++ programmer. All you need are Beginning C++17 and any recent C++ compiler and you'll soon be writing real C++ programs. There is no assumption of prior programming knowledge.All language concepts that are explained in the book are illustrated with ... もっと見る

6,685 円

Learn how to program using the updated C++17 language. You'll start with the basics and progress through step-by-step examples to become a working C++ programmer. All you need are Beginning C++17 and any recent C++ compiler and you'll soon be writing real C++ programs. There is no assumption of prior programming knowledge.All language concepts that are explained in the book are illustrated with
... もっと見る
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 円

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
... もっと見る
Grundlagen der Computergrafik

Eine Einführung mit OpenGL und Java

− Karsten Lehn, Merijam Gotzes, Frank Klawonn ...

シリーズ series Computer Science and Engineering (German Language)
Computergrafik umfasst die Erzeugung und Darstellung von einfachen Grafikelementen, Bildern und Animationen bis hin zu interaktiven, virtuellen Realitäten (Virtual Reality). Die Umsetzung von Anwendungen hierfür profitiert von einem soliden Verständnis der entsprechenden Grundlagen. Das vorliegende Buch vermittelt genau das – verständlich, praktisch und nachvollziehbar. Für die vierte Auflage ... もっと見る

4,089 円

Computergrafik umfasst die Erzeugung und Darstellung von einfachen Grafikelementen, Bildern und Animationen bis hin zu interaktiven, virtuellen Realitäten (Virtual Reality). Die Umsetzung von Anwendungen hierfür profitiert von einem soliden Verständnis der entsprechenden Grundlagen. Das vorliegende Buch vermittelt genau das – verständlich, praktisch und nachvollziehbar. Für die vierte Auflage
... もっと見る
Learn coding with Python and JavaScript

A practical introduction for beginners

− Joachim L. Zuckarelli ...

シリーズ series Computer Science (R0)
Whether on the computer, tablet, mobile phone, in the car or in the coffee machine - computer programs determine our everyday life. Software is becoming increasingly important, hardly anything works without the mysterious power of algorithms. But how do programs work? And how do you develop them? This book teaches you the basics of programming. Using everyday examples, you will first learn the ... もっと見る

7,292 円

Whether on the computer, tablet, mobile phone, in the car or in the coffee machine - computer programs determine our everyday life. Software is becoming increasingly important, hardly anything works without the mysterious power of algorithms. But how do programs work? And how do you develop them? This book teaches you the basics of programming. Using everyday examples, you will first learn the
... もっと見る
Formal Methods: State of the Art and New Directions

編集 Paul Boca, Jonathan P. Bowen, Jawed Siddiqi ...

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods ... もっと見る

12,154 円

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods
... もっと見る
A List of Successes That Can Change the World

Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

編集 Sam Lindley, Conor McBride, Phil Trinder, Don Sannella ...

シリーズ series Computer Science (R0)
This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute ... もっと見る

6,076 円

This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute
... もっと見る
Perspectives of System Informatics

11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

編集 Alexander K. Petrenko, Andrei Voronkov ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and
... もっと見る
Graph Transformation

11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

編集 Leen Lambers, Jens Weber ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation
... もっと見る
Inductive Logic Programming

28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

編集 Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018.The 10 full 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 ... もっと見る

6,076 円

This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018.The 10 full 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
... もっと見る
PRIMA 2016: Principles and Practice of Multi-Agent Systems

19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

編集 Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016.The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016.The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is
... もっと見る
Software Engineering for Resilient Systems

8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

編集 Ivica Crnkovic, Elena Troubitsyna ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems;
... もっと見る
Search Based Software Engineering

8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

編集 Federica Sarro, Kalyanmoy Deb ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE) ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE)
... もっと見る

楽天Kobo

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

コンパイラ電子書籍

MATLAB Linear Algebra

C++17 Quick Syntax Reference

Beginning Haskell

LLVM Cookbook

Learning C# by Programming Games

JavaScript Object Programming

Beginning Java 8 Games Development

Xamarin Mobile Application Development

Modern Compiler Implementation in Java

Compiler Construction Using Java, JavaCC, and Yacc

NUnit Pocket Reference

Formal Aspects of Component Software

Beginning C++17

Programming Languages and Systems

Grundlagen der Computergrafik

Learn coding with Python and JavaScript

Formal Methods: State of the Art and New Directions

A List of Successes That Can Change the World

Perspectives of System Informatics

Graph Transformation

Inductive Logic Programming

PRIMA 2016: Principles and Practice of Multi-Agent Systems

Software Engineering for Resilient Systems

Search Based Software Engineering

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

コンパイラ 電子書籍

コンパイラ電子書籍