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

スペシャルオファー

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

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

無料

おすすめ

Building Web Applications with .NET Core 2.1 and JavaScript

Leveraging Modern JavaScript Frameworks

− Philip Japikse, Kevin Grossnicklaus, Ben Dewey ...

シリーズ series Professional and Applied Computing (R0)
Roll up your sleeves and jump into building web applications using .NET Core 2.1 and the most popular JavaScript frameworks.You will start by building a data access layer using Entity Framework Core, a RESTful service using ASP.NET Core, and then you will build a web application following the MVC pattern, also using ASP.NET Core. The resulting application is an example e-commerce site using the ... もっと見る

7,292 円

Roll up your sleeves and jump into building web applications using .NET Core 2.1 and the most popular JavaScript frameworks.You will start by building a data access layer using Entity Framework Core, a RESTful service using ASP.NET Core, and then you will build a web application following the MVC pattern, also using ASP.NET Core. The resulting application is an example e-commerce site using the
... もっと見る
Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

編集 Radu Calinescu, Bernhard Rumpe ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal
... もっと見る
Explainable and Transparent AI and Multi-Agent Systems

6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers

編集 Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Joris Hulstijn, Kary Främling ...

シリーズ series Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6–10, 2024.The 13 full papers presented in this book were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical ... もっと見る

7,900 円

This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6–10, 2024.The 13 full papers presented in this book were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical
... もっと見る
Software Engineering: Specification, Implementation, Verification

− Suad Alagić ...

シリーズ series Computer Science (R0)
This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is ... もっと見る

8,507 円

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is
... もっと見る
Learn Rails 6

Accelerated Web Development with Ruby on Rails

− Adam Notodikromo ...

シリーズ series Professional and Applied Computing (R0)
Effectively learn and apply software development and engineering techniques to web application development using Rails 6 with this accelerated tutorial. This book teaches modern engineering practices including git flow, containerization, debugging, testing, and deployment. Along the way, you’ll see how to build a social network application and then deploy it on a cloud provider such as Amazon Web ... もっと見る

9,116 円

Effectively learn and apply software development and engineering techniques to web application development using Rails 6 with this accelerated tutorial. This book teaches modern engineering practices including git flow, containerization, debugging, testing, and deployment. Along the way, you’ll see how to build a social network application and then deploy it on a cloud provider such as Amazon Web
... もっと見る
Modern X86 Assembly Language Programming

Covers x86 64-bit, AVX, AVX2, and AVX-512

− Daniel Kusswurm ...

シリーズ本: 512 - Professional and Applied Computing (R0)
Gain the fundamentals of x86 64-bit assembly language programming and focus onthe updated aspects of the x86 instruction set that are most relevant to applicationsoftware development. This book covers topics including x86 64-bit programming andAdvanced Vector Extensions (AVX) programming.The focus in this second edition is exclusively on 64-bit base programming architectureand AVX programming. ... もっと見る

7,292 円

Gain the fundamentals of x86 64-bit assembly language programming and focus onthe updated aspects of the x86 instruction set that are most relevant to applicationsoftware development. This book covers topics including x86 64-bit programming andAdvanced Vector Extensions (AVX) programming.The focus in this second edition is exclusively on 64-bit base programming architectureand AVX programming.
... もっと見る
Die ultimative QNAP NAS Bibel - Das Praxisbuch - mit vielen Insider Tipps und Tricks - komplett in Farbe

− Wolfram Gieseke ...

Die ultimative QNAP NAS BibelDieses Praxisbuch zu den hochwertigen NAS-Systemen des Anbieters QNAP bietet einen umfassenden Einblick in das Thema der Network-Attached-Storage-Geräte. Dieses Buch begleitet Sie von Anfang an durch das Abenteuer NAS: Falls Sie noch kein Gerät haben, bekommen Sie Entscheidungshilfen für den Kauf, und eine anschauliche Schrittanleitung führt Sie durch den ... もっと見る

2,400 円

Die ultimative QNAP NAS BibelDieses Praxisbuch zu den hochwertigen NAS-Systemen des Anbieters QNAP bietet einen umfassenden Einblick in das Thema der Network-Attached-Storage-Geräte. Dieses Buch begleitet Sie von Anfang an durch das Abenteuer NAS: Falls Sie noch kein Gerät haben, bekommen Sie Entscheidungshilfen für den Kauf, und eine anschauliche Schrittanleitung führt Sie durch den
... もっと見る
Pro Functional PHP Programming

Application Development Strategies for Performance Optimization, Concurrency, Testability, and Code Brevity

− Rob Aley ...

シリーズ series Professional and Applied Computing (R0)
Bring the power of functional programming to your PHP applications. From performance optimizations to concurrency, improved testability to code brevity, functional programming has a host of benefits when compared to traditional imperative programming.Part one of Pro Functional PHP Programming takes you through the basics of functional programming, outlining the key concepts and how they translate ... もっと見る

5,469 円

Bring the power of functional programming to your PHP applications. From performance optimizations to concurrency, improved testability to code brevity, functional programming has a host of benefits when compared to traditional imperative programming.Part one of Pro Functional PHP Programming takes you through the basics of functional programming, outlining the key concepts and how they translate
... もっと見る
Diagrammatic Representation and Inference

14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings

編集 Jens Lemanski, Mikkel Willum Johansen, Emmanuel Manalo, Petrucio Viana, Reetu Bhattacharjee, Richard Burns ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024.The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: ... もっと見る

7,900 円

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024.The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows:
... もっと見る
Python Machine Learning Case Studies

Five Case Studies for the Data Scientist

− Danish Haroon ...

シリーズ series Professional and Applied Computing (R0)
Embrace machine learning approaches and Python to enable automatic rendering of rich insights and solve business problems. The book uses a hands-on case study-based approach to crack real-world applications to which machine learning concepts can be applied. These smarter machines will enable your business processes to achieve efficiencies on minimal time and resources.Python Machine Learning Case ... もっと見る

9,116 円

Embrace machine learning approaches and Python to enable automatic rendering of rich insights and solve business problems. The book uses a hands-on case study-based approach to crack real-world applications to which machine learning concepts can be applied. These smarter machines will enable your business processes to achieve efficiencies on minimal time and resources.Python Machine Learning Case
... もっと見る
Test Driven Development in Ruby

A Practical Introduction to TDD Using Problem and Solution Domain Analysis

− Bala Paranj ...

シリーズ series Professional and Applied Computing (R0)
Learn the basics of test driven development (TDD) using Ruby. You will carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first. These fundamental concepts will give you a solid TDD foundation to build upon. Test Driven Development in Ruby is written by a developer for developers.The concepts are first explained, then a coding demo illustrates how ... もっと見る

6,685 円

Learn the basics of test driven development (TDD) using Ruby. You will carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first. These fundamental concepts will give you a solid TDD foundation to build upon. Test Driven Development in Ruby is written by a developer for developers.The concepts are first explained, then a coding demo illustrates how
... もっと見る
Python Programming for Beginners

The Complete Guide to Mastering Python in 10 Days with Guiding Exercises – Top Secret Coding Tips, Well-detailed Examples and Outputs, with Questions and Answers for Each Chapter. The Ultimate Python Crash Course for Dummies. Computer science

− C J Smith ...

THE EASIEST PYTHON PROGRAMMING BOOK EVERLooking to learn Python programming in a beginner-friendly way? Look no further than "Python Programming for Beginners" by Musa Usman! This comprehensive guide covers everything you need to know about Python, from the basics of data types and control structures to advanced topics like object-oriented programming and multithreading. With clear explanations, ... もっと見る

1,746 円

THE EASIEST PYTHON PROGRAMMING BOOK EVERLooking to learn Python programming in a beginner-friendly way? Look no further than "Python Programming for Beginners" by Musa Usman! This comprehensive guide covers everything you need to know about Python, from the basics of data types and control structures to advanced topics like object-oriented programming and multithreading. With clear explanations,
... もっと見る
Principles of Modeling

Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

編集 Marten Lohstroh, Patricia Derler, Marjan Sirjani ...

シリーズ series Computer Science (R0)
This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to ... もっと見る

6,076 円

This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to
... もっと見る
Advanced Parallel Processing Technologies

11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

編集 Yunji Chen, Paolo Ienne, Qing Ji ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms ... もっと見る

4,862 円

This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms
... もっと見る
MATLAB Optimization Techniques

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

9,116 円

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
... もっと見る
Rust for the IoT

Building Internet of Things Apps with Rust and Raspberry Pi

− Joseph Faisal Nusairat ...

シリーズ series Professional and Applied Computing (R0)
Get started programming Rust applications for the Internet of Things (IoT). This book is a programming skills migration book that teaches you the Rust programming techniques most useful for IoT applications. You'll step through from server to board development in creating a set of IoT applications.In Rust for the IoT, you'll learn how to build a modern server-side application using Rust on the ... もっと見る

7,900 円

Get started programming Rust applications for the Internet of Things (IoT). This book is a programming skills migration book that teaches you the Rust programming techniques most useful for IoT applications. You'll step through from server to board development in creating a set of IoT applications.In Rust for the IoT, you'll learn how to build a modern server-side application using Rust on the
... もっと見る
Learn PHP 8

Using MySQL, JavaScript, CSS3, and HTML5

− Steve Prettyman ...

シリーズ series Professional and Applied Computing (R0)
Write solid, secure, object-oriented code in the new PHP 8. In this book you will create a complete three-tier application using a natural process of building and testing modules within each tier. This practical approach teaches you about app development and introduces PHP features when they are actually needed rather than providing you with abstract theory and contrived examples.In Learn PHP 8, ... もっと見る

5,469 円

Write solid, secure, object-oriented code in the new PHP 8. In this book you will create a complete three-tier application using a natural process of building and testing modules within each tier. This practical approach teaches you about app development and introduces PHP features when they are actually needed rather than providing you with abstract theory and contrived examples.In Learn PHP 8,
... もっと見る
Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education

18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, Trier, Germany, September 8–10, 2025, Proceedings

編集 Jacqueline Staub, Adish Singla ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, held in Trier, Germany, during September 8–10, 2025.The 13 full papers presented were carefully reviewed and selected from 41 submissions. The papers cover the following topics: Curricula and Computer Science Concepts; Teachers’ Perspective; AI ... もっと見る

6,076 円

This book constitutes the proceedings of the 18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, held in Trier, Germany, during September 8–10, 2025.The 13 full papers presented were carefully reviewed and selected from 41 submissions. The papers cover the following topics: Curricula and Computer Science Concepts; Teachers’ Perspective; AI
... もっと見る
Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

編集 Dimitra Giannakopoulou, Daniel Kroening ...

シリーズ series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully ... もっと見る

5,834 円

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully
... もっと見る
Java in Two Semesters

Featuring JavaFX

− Quentin Charatan, Aaron Kans ...

シリーズ series Computer Science (R0)
This easy-to-follow textbook teaches Java programming from first principles, as well as covering design and testing methodologies. The text is divided into two parts. Each part supports a one-semester module, the first part addressing fundamental programming concepts, and the second part building on this foundation, teaching the skills required to develop more advanced applications.This fully ... もっと見る

8,507 円

This easy-to-follow textbook teaches Java programming from first principles, as well as covering design and testing methodologies. The text is divided into two parts. Each part supports a one-semester module, the first part addressing fundamental programming concepts, and the second part building on this foundation, teaching the skills required to develop more advanced applications.This fully
... もっと見る
Formal Techniques for Distributed Objects, Components, and Systems

39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

編集 Jorge A. Pérez, Nobuko Yoshida ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full and 3 short papers presented were carefully reviewed and selected ... もっと見る

7,779 円

This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full and 3 short papers presented were carefully reviewed and selected
... もっと見る
NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

編集 Julia M. Badger, Kristin Yvonne Rozier ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem ... もっと見る

8,021 円

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem
... もっと見る
Testing Software and Systems

29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

編集 Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and
... もっと見る
Inductive Logic Programming

29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings

編集 Dimitar Kazakov, Can Erten ...

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

楽天Kobo

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

コンパイラ電子書籍

Building Web Applications with .NET Core 2.1 and JavaScript

Software Engineering and Formal Methods

Explainable and Transparent AI and Multi-Agent Systems

Software Engineering: Specification, Implementation, Verification

Learn Rails 6

Modern X86 Assembly Language Programming

Die ultimative QNAP NAS Bibel - Das Praxisbuch - mit vielen Insider Tipps und Tricks - komplett in Farbe

Pro Functional PHP Programming

Diagrammatic Representation and Inference

Python Machine Learning Case Studies

Test Driven Development in Ruby

Python Programming for Beginners

Principles of Modeling

Advanced Parallel Processing Technologies

MATLAB Optimization Techniques

Rust for the IoT

Learn PHP 8

Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education

Verified Software: Theories, Tools and Experiments

Java in Two Semesters

Formal Techniques for Distributed Objects, Components, and Systems

NASA Formal Methods

Testing Software and Systems

Inductive Logic Programming

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

コンパイラ 電子書籍

コンパイラ電子書籍