Rakuten Kobo

カート

購入できない書籍

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

点点

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

点点

電子書籍を含む

オーディオブックを含む

30 時間の視聴時間込み

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

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

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

電子書籍を含む

オーディオブックを含む

30 時間の視聴時間込み

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

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

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

+ 30 日間無料お試し

スペシャルオファー

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

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

無料

おすすめ

Beginning Ruby 3

From Beginner to Pro

− Carleton DiLeo, Peter Cooper ...

シリーズ series Professional and Applied Computing (R0)
Learn the principles behind object-oriented programming in Ruby and within a few chapters create a fully functional Ruby 3-based application. You'll gain a basic understanding of many ancillary technologies such as databases, XML, web frameworks, and networking - some of which will be needed for your first Ruby application. Based on the bestselling first and second editions, Beginning Ruby 3, 4th ... もっと見る

7,292 円

Learn the principles behind object-oriented programming in Ruby and within a few chapters create a fully functional Ruby 3-based application. You'll gain a basic understanding of many ancillary technologies such as databases, XML, web frameworks, and networking - some of which will be needed for your first Ruby application. Based on the bestselling first and second editions, Beginning Ruby 3, 4th
... もっと見る
Rigorous State-Based Methods

11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings

編集 Michael Leuschel, Fuyuki Ishikawa ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full ... もっと見る

15,800 円

This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full
... もっと見る
Practical Aspects of Declarative Languages

25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

編集 Michael Hanus, Daniela Inclezan ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic ... もっと見る

9,116 円

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic
... もっと見る
Testing Software and Systems

27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

編集 Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test
... もっと見る
MATLAB Differential Equations

− 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,685 円

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
... もっと見る
Smart Card Application Development Using Java

− Martin S. Nicklous, Frank Seliger, Uwe Hansmann, Thomas Schäck, Achim Schneider ...

シリーズ series Computer Science (R0)
In today's world, smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, and as secure tokens for authentication or digital signature. Their small size and the compatibility of their form with the magnetic stripe card make them ideal carriers of personal information such as secret keys, passwords, ... もっと見る

12,154 円

In today's world, smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, and as secure tokens for authentication or digital signature. Their small size and the compatibility of their form with the magnetic stripe card make them ideal carriers of personal information such as secret keys, passwords,
... もっと見る
Programming Languages and Systems

25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

編集 Peter Thiemann ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the ... もっと見る

6,076 円

This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the
... もっと見る
.NET Development Using the Compiler API

− Jason Bock ...

シリーズ series Professional and Applied Computing (R0)
This is the first book to describe the recent significant changes to the .NET compilation process and demonstrate how .NET developers can use the new Compiler API to create compelling applications. As an open source compiler, the Compiler API now makes its code available for anyone to use. In this book, you’ll get a concise, focused view of this tremendous resource for developers, who can now use ... もっと見る

4,011 円

This is the first book to describe the recent significant changes to the .NET compilation process and demonstrate how .NET developers can use the new Compiler API to create compelling applications. As an open source compiler, the Compiler API now makes its code available for anyone to use. In this book, you’ll get a concise, focused view of this tremendous resource for developers, who can now use
... もっと見る
Static Analysis

31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings

編集 Roberto Giacobazzi, Alessandra Gorla ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and ... もっと見る

9,723 円

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and
... もっと見る
Game Development with Construct 2

From Design to Realization

− LEE STEMKOSKI, Evan Leider ...

シリーズ series Professional and Applied Computing (R0)
Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and ... もっと見る

7,292 円

Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and
... もっと見る
Formal Languages and Computation

Models and Their Applications

− Alexander Meduna ...

Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches the basic ideas underlying the theory of computatio ... もっと見る

15,198 円

Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches the basic ideas underlying the theory of computatio
... もっと見る
Languages for Digital Embedded Systems

− Stephen A. Edwards ...

シリーズ本: 572 - The Springer International Series in Engineering and Computer Science
Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different ... もっと見る

18,231 円

Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different
... もっと見る
Moving to Responsive Web Design

Bring existing static sites into today's multi-device world with responsive web design

− Inayaili de León ...

シリーズ series Professional and Applied Computing (R0)
Redesign your static website into a modern, fully responsive website. As the usage of mobile devices of all shapes and sizes increases exponentially every year, and dominates the manner in which many users access the web, it is now imperative for any business to have a responsive website that adapts seamlessly to any screen size and resolution — a change that will impact not only your designs but ... もっと見る

4,011 円

Redesign your static website into a modern, fully responsive website. As the usage of mobile devices of all shapes and sizes increases exponentially every year, and dominates the manner in which many users access the web, it is now imperative for any business to have a responsive website that adapts seamlessly to any screen size and resolution — a change that will impact not only your designs but
... もっと見る
Excel Avanzato 2.0

Il Manuale Completo e Aggiornato Per Diventare un Esperto e Imparare Microsoft Excel in Meno di 7 Giorni. Scopri Tutte le Sue Funzionalità in Maniera Professionale

− Denis Martin ...

Excel, come già sai, è un programma ricchissimo di funzioni e capacità. Fin dall'inizio, anche per un vero principiante, uno dei problemi più comuni che si affrontano è proprio quello di sopravvivere in un tale mare di informazioni e di possibilità, senza lasciar perdere, senza pensare che non si riuscirà mai a venirne a capo, senza arrendersi prima ancora di iniziare. Ora, se stai leggendo questo ... もっと見る

316 円

Excel, come già sai, è un programma ricchissimo di funzioni e capacità. Fin dall'inizio, anche per un vero principiante, uno dei problemi più comuni che si affrontano è proprio quello di sopravvivere in un tale mare di informazioni e di possibilità, senza lasciar perdere, senza pensare che non si riuscirà mai a venirne a capo, senza arrendersi prima ancora di iniziare. Ora, se stai leggendo questo
... もっと見る
Hands-on Signal Analysis with Python

An Introduction

− Thomas Haslwanter ...

シリーズ series Engineering (R0)
This book provides the tools for analyzing data in Python: different types of filters are introduced and explained, such as FIR-, IIR- and morphological filters, as well as their application to one- and two-dimensional data. The required mathematics are kept to a minimum, and numerous examples and working Python programs are included for a quick start. The goal of the book is to enable also novice ... もっと見る

6,685 円

This book provides the tools for analyzing data in Python: different types of filters are introduced and explained, such as FIR-, IIR- and morphological filters, as well as their application to one- and two-dimensional data. The required mathematics are kept to a minimum, and numerous examples and working Python programs are included for a quick start. The goal of the book is to enable also novice
... もっと見る
Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

編集 Arie Gurfinkel, Sanjit A. Seshia ...

シリーズ series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and ... もっと見る

6,076 円

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and
... もっと見る
Bughunting

A Four-Course Debugging Feast

− Rob Botwright ...

�� Discover Bughunting: A Four-Course Debugging Feast! ��Are you ready to transform the way you tackle software defects? ��️ Dive into Bughunting, a mouthwatering series of four "courses" designed to make you a debugging master. Each book is packed with practical recipes, real-world examples, and powerful techniques to conquer even the trickiest bugs. Whether you're a junior developer or a ... もっと見る

1,187 円

�� Discover Bughunting: A Four-Course Debugging Feast! ��Are you ready to transform the way you tackle software defects? ��️ Dive into Bughunting, a mouthwatering series of four "courses" designed to make you a debugging master. Each book is packed with practical recipes, real-world examples, and powerful techniques to conquer even the trickiest bugs. Whether you're a junior developer or a
... もっと見る
PHP 7 Zend Certification Study Guide

Ace the ZCE 2017-PHP Exam

− Andrew Beak ...

シリーズ series Professional and Applied Computing (R0)
Improve your programming knowledge and become Zend Certified. This book closely follows the ZCE2017-PHP exam syllabus and adds important details that help candidates to prepare for the test.Zend Certification is an industry recognized standard for PHP engineers. It is very difficult to pass the examination without extensive preparation. Unlike other books on PHP, this book is very focused on ... もっと見る

6,685 円

Improve your programming knowledge and become Zend Certified. This book closely follows the ZCE2017-PHP exam syllabus and adds important details that help candidates to prepare for the test.Zend Certification is an industry recognized standard for PHP engineers. It is very difficult to pass the examination without extensive preparation. Unlike other books on PHP, this book is very focused on
... もっと見る
Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1–2, 2026, Proceedings

編集 Blair Archibald, Oszkár Semeráth ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Graph Transformation, ICGT 2026, held in Rennes, France, during July 1–2, 2026.The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum including new approaches to hypergraphs, improvements to the ... もっと見る

7,049 円

This book constitutes the refereed proceedings of the 19th International Conference on Graph Transformation, ICGT 2026, held in Rennes, France, during July 1–2, 2026.The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum including new approaches to hypergraphs, improvements to the
... もっと見る
Python Programming Fundamentals

− Kent D. Lee ...

シリーズ series Computer Science (R0)
This easy-to-follow and classroom-tested textbook guides the reader through the fundamentals of programming with Python, an accessible language which can be learned incrementally.Features: incudes numerous examples and practice exercises throughout the text, with additional exercises, solutions and review questions at the end of each chapter; highlights the patterns which frequently appear when ... もっと見る

4,861 円

This easy-to-follow and classroom-tested textbook guides the reader through the fundamentals of programming with Python, an accessible language which can be learned incrementally.Features: incudes numerous examples and practice exercises throughout the text, with additional exercises, solutions and review questions at the end of each chapter; highlights the patterns which frequently appear when
... もっと見る
C++ Quick Syntax Reference

− Mikael Olsson ...

シリーズ series Professional and Applied Computing (R0)
The C++ Quick Syntax Reference is a condensed code and syntax reference to the C++ programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a language reference that is concise, to the point and ... もっと見る

1,817 円

The C++ Quick Syntax Reference is a condensed code and syntax reference to the C++ programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a language reference that is concise, to the point and
... もっと見る
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

編集 Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non ... もっと見る

6,076 円

This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non
... もっと見る
Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

編集 Kazuhiro Ogata, Mark Lawford, Shaoying Liu ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and
... もっと見る
The Python Workbook

A Brief Introduction with Exercises and Solutions

− Ben Stephenson ...

シリーズ series Computer Science (R0)
While other textbooks devote their pages to explaining introductory programming concepts, The Python Workbook focuses exclusively on exercises, following the philosophy that computer programming is a skill best learned through experience and practice. Designed to support and encourage hands-on learning about programming, this student-friendly work contains 174 exercises, spanning a variety of ... もっと見る

5,469 円

While other textbooks devote their pages to explaining introductory programming concepts, The Python Workbook focuses exclusively on exercises, following the philosophy that computer programming is a skill best learned through experience and practice. Designed to support and encourage hands-on learning about programming, this student-friendly work contains 174 exercises, spanning a variety of
... もっと見る

楽天Kobo

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

コンパイラ電子書籍

Beginning Ruby 3

Rigorous State-Based Methods

Practical Aspects of Declarative Languages

Testing Software and Systems

MATLAB Differential Equations

Smart Card Application Development Using Java

Programming Languages and Systems

.NET Development Using the Compiler API

Static Analysis

Game Development with Construct 2

Formal Languages and Computation

Languages for Digital Embedded Systems

Moving to Responsive Web Design

Excel Avanzato 2.0

Hands-on Signal Analysis with Python

Verified Software: Theories, Tools, and Experiments

Bughunting

PHP 7 Zend Certification Study Guide

Graph Transformation

Python Programming Fundamentals

C++ Quick Syntax Reference

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Formal Methods and Software Engineering

The Python Workbook

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

コンパイラ 電子書籍

コンパイラ電子書籍