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 日間無料お試し

スペシャルオファー

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

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

無料

おすすめ

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

16,559 円

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

− Daniel Manchón Vizuete ...

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. A concise guide full of step-by-step recipes to help you learn how to generate and configure an embedded Linux system using Buildroot.Instant Buildroot is for developers who want to know how to use Buildroot tools to generate and configure their own embedded system. It is assumed that ... もっと見る

1,702 円

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. A concise guide full of step-by-step recipes to help you learn how to generate and configure an embedded Linux system using Buildroot.Instant Buildroot is for developers who want to know how to use Buildroot tools to generate and configure their own embedded system. It is assumed that
... もっと見る
C++ 2013 for C# Developers

− Dean C. Wills ...

C++ 2013 for C# Developers provides a fast-track to C++ proficiency forthose already using the C# language at an advanced level. Beginning with a detailed explanation of the mechanics of C++'s execution sequence, its grammar, syntax and data access you'll quickly learn the similarities and differences between C++ and C#.The second and third partsof the of the book are devoted to a detailed deep ... もっと見る

7,292 円

C++ 2013 for C# Developers provides a fast-track to C++ proficiency forthose already using the C# language at an advanced level. Beginning with a detailed explanation of the mechanics of C++'s execution sequence, its grammar, syntax and data access you'll quickly learn the similarities and differences between C++ and C#.The second and third partsof the of the book are devoted to a detailed deep
... もっと見る
Thinking with Diagrams

編集 Alan F. Blackwell ...

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research ... もっと見る

17,016 円

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research
... もっと見る
Essential Visual J++ 6.0 fast

How to develop Java applications and applets with Visual J++

− John Cowell ...

シリーズ series Essential Series
Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book ... もっと見る

6,076 円

Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book
... もっと見る
Learning Java with Games

− Chong-wei Xu ...

シリーズ series Computer Science (R0)
This innovative approach to teaching Java language and programming uses game design development as the method to applying concepts.Instead of teaching game design using Java, projects are designed to teach Java in a problem-solving approach that is both a fun and effective. Learning Java with Games introduces the concepts of Java and coding; then uses a project to emphasize those ideas. It does ... もっと見る

7,900 円

This innovative approach to teaching Java language and programming uses game design development as the method to applying concepts.Instead of teaching game design using Java, projects are designed to teach Java in a problem-solving approach that is both a fun and effective. Learning Java with Games introduces the concepts of Java and coding; then uses a project to emphasize those ideas. It does
... もっと見る
Guide to ILDJIT

− Simone Campanoni ...

シリーズ series Computer Science (R0)
This book is a guide to getting started with ILDJIT, a compilation framework designed to be both easily extensible and easily configurable. Within this framework, it is possible to build a tool-chain by customizing ILDJIT for specific purposes. Customizations can be used within both static and dynamic compilers already included in the framework without adaptations. Moreover, customizations allow ... もっと見る

6,076 円

This book is a guide to getting started with ILDJIT, a compilation framework designed to be both easily extensible and easily configurable. Within this framework, it is possible to build a tool-chain by customizing ILDJIT for specific purposes. Customizations can be used within both static and dynamic compilers already included in the framework without adaptations. Moreover, customizations allow
... もっと見る
NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

編集 Aaron Dutle, César Muñoz, Anthony Narkawicz ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations ... もっと見る

6,076 円

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations
... もっと見る
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 円

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
... もっと見る
Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

編集 Michael Butler, Sylvain Conchon, Fatiha Zaïdi ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of
... もっと見る
Google Bard: Navigating the Age of Information

− Kameron Hussain, Frahaan Hussain ...

In "Google Bard: Navigating the Age of Information," readers are introduced to the revolutionary world of AI as embodied by Google's Bard. This comprehensive guide delves into the technological advancements and challenges of the information age, offering a detailed exploration of how artificial intelligence like Bard is reshaping our interaction with digital data and transforming societal norms ... もっと見る

1,550 円

In "Google Bard: Navigating the Age of Information," readers are introduced to the revolutionary world of AI as embodied by Google's Bard. This comprehensive guide delves into the technological advancements and challenges of the information age, offering a detailed exploration of how artificial intelligence like Bard is reshaping our interaction with digital data and transforming societal norms
... もっと見る
Virtual Networks Unlocked: Your Guide to Azure Connectivity

− Kameron Hussain, Frahaan Hussain ...

Unlock the full potential of Microsoft Azure's networking capabilities with Virtual Networks Unlocked: Your Guide to Azure Connectivity. This comprehensive and practical guide walks you through every critical aspect of Azure Virtual Networking, making it an essential companion for IT professionals, cloud architects, and network engineers aiming to design, implement, and manage cloud-connected ... もっと見る

1,450 円

Unlock the full potential of Microsoft Azure's networking capabilities with Virtual Networks Unlocked: Your Guide to Azure Connectivity. This comprehensive and practical guide walks you through every critical aspect of Azure Virtual Networking, making it an essential companion for IT professionals, cloud architects, and network engineers aiming to design, implement, and manage cloud-connected
... もっと見る
Future Data and Security Engineering

4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

編集 Josef Küng, Roland Wagner, Erich J. Neuhold, Makoto Takizawa, Tran Khanh Dang, Nam Thoai ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions.The accepted papers were grouped into the following sessions:Advances in query processing and ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions.The accepted papers were grouped into the following sessions:Advances in query processing and
... もっと見る
Coordination Models and Languages

20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

編集 Giovanna Di Marzo Serugendo, Michele Loreti ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide ... もっと見る

6,076 円

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide
... もっと見る
OpenMP: Conquering the Full Hardware Spectrum

15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

編集 Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019.The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; tools, accelerators, compilation, extensions, tasking, and using OpenMP. ... もっと見る

8,021 円

This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019.The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; tools, accelerators, compilation, extensions, tasking, and using OpenMP.
... もっと見る
Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

編集 Mauricio Ayala-Rincón, César A. Muñoz ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in
... もっと見る
Conceptual Modeling

36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

編集 Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and
... もっと見る
High Performance Computing

ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

編集 Rio Yokota, Michèle Weiland, John Shalf, Sadaf Alam ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International ... もっと見る

6,076 円

This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International
... もっと見る
Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

編集 Rupak Majumdar, Viktor Kunčak ...

シリーズ本: 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is ... もっと見る

6,076 円

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is
... もっと見る
Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

編集 Alexander Romanovsky, Elena A. Troubitsyna ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance,
... もっと見る
The Cloud Puzzle Solved: Azure Design Patterns

− Kameron Hussain, Frahaan Hussain ...

Unravel the complexities of cloud architecture with The Cloud Puzzle Solved: Azure Design Patterns, a comprehensive guide crafted for modern developers, architects, and tech leaders looking to master Microsoft Azure. This book demystifies the vast landscape of Azure by breaking it down into proven design patterns that solve real-world problems with clarity and precision.Whether you're designing ... もっと見る

1,450 円

Unravel the complexities of cloud architecture with The Cloud Puzzle Solved: Azure Design Patterns, a comprehensive guide crafted for modern developers, architects, and tech leaders looking to master Microsoft Azure. This book demystifies the vast landscape of Azure by breaking it down into proven design patterns that solve real-world problems with clarity and precision.Whether you're designing
... もっと見る
PHP Mastery: Crafting Dynamic Web Solutions

− Kameron Hussain, Frahaan Hussain ...

"PHP Mastery: Crafting Dynamic Web Solutions" is an authoritative guide that delves into the intricate world of PHP, a dominant server-side scripting language pivotal in web development. This comprehensive resource is tailored for both novice and experienced programmers looking to deepen their understanding of PHP and its powerful capabilities in creating dynamic, robust web applications.Starting ... もっと見る

1,500 円

"PHP Mastery: Crafting Dynamic Web Solutions" is an authoritative guide that delves into the intricate world of PHP, a dominant server-side scripting language pivotal in web development. This comprehensive resource is tailored for both novice and experienced programmers looking to deepen their understanding of PHP and its powerful capabilities in creating dynamic, robust web applications.Starting
... もっと見る
Creating Maintainable APIs

A Practical, Case-Study Approach

− Ervin Varga ...

シリーズ series Professional and Applied Computing (R0)
Build straightforward and maintainable APIs to create services that are usable and maintainable. Although this book focuses on distributed services, it also emphasizes how the core principles apply even to pure OOD and OOP constructs.The overall context of Creating Maintainable APIs is to classify the topics into four main areas: classes and interfaces, HTTP REST APIs, messaging APIs, and message ... もっと見る

5,469 円

Build straightforward and maintainable APIs to create services that are usable and maintainable. Although this book focuses on distributed services, it also emphasizes how the core principles apply even to pure OOD and OOP constructs.The overall context of Creating Maintainable APIs is to classify the topics into four main areas: classes and interfaces, HTTP REST APIs, messaging APIs, and message
... もっと見る

楽天Kobo

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

コンパイラ電子書籍

Learning C# by Programming Games

Compiler Construction Using Java, JavaCC, and Yacc

Instant Buildroot

C++ 2013 for C# Developers

Thinking with Diagrams

Essential Visual J++ 6.0 fast

Learning Java with Games

Guide to ILDJIT

NASA Formal Methods

Software Engineering and Formal Methods

Formal Methods and Software Engineering

Google Bard: Navigating the Age of Information

Virtual Networks Unlocked: Your Guide to Azure Connectivity

Future Data and Security Engineering

Coordination Models and Languages

OpenMP: Conquering the Full Hardware Spectrum

Interactive Theorem Proving

Conceptual Modeling

High Performance Computing

Computer Aided Verification

Software Engineering for Resilient Systems

The Cloud Puzzle Solved: Azure Design Patterns

PHP Mastery: Crafting Dynamic Web Solutions

Creating Maintainable APIs

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

コンパイラ 電子書籍

コンパイラ電子書籍