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

スペシャルオファー

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

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

無料

おすすめ

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
... もっと見る
Specification of Software Systems

− V.S. Alagar, K. Periyasamy ...

シリーズ series Computer Science (R0)
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal ... もっと見る

6,076 円

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal
... もっと見る
Runtime Verification

19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

編集 Bernd Finkbeiner, Leonardo Mariani ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. ... もっと見る

7,900 円

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
... もっと見る
Formal Methods and Software Engineering

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings

編集 Yi Li, Sofiène Tahar ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference ... もっと見る

7,900 円

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference
... もっと見る
Model and Data Engineering

8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

編集 El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model
... もっと見る
Requirements Engineering: Foundation for Software Quality

25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

編集 Eric Knauss, Michael Goedicke ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of ... もっと見る

8,021 円

This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of
... もっと見る
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,
... もっと見る
Programming Smalltalk – Object-Orientation from the Beginning

An introduction to the principles of programming

− Johannes Brauer ...

シリーズ series Computer Science (R0)
A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years.Programming Smalltalk is particularly suited for readers with no prior programming knowledge. Starting from the first principles of programming, it teaches you how to ... もっと見る

6,685 円

A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years.Programming Smalltalk is particularly suited for readers with no prior programming knowledge. Starting from the first principles of programming, it teaches you how to
... もっと見る
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
... もっと見る
Machine Learning with R

− Abhijit Ghatak ...

シリーズ series Computer Science (R0)
This book helps readers understand the mathematics of machine learning, and apply them in different situations. It is divided into two basic parts, the first of which introduces readers to the theory of linear algebra, probability, and data distributions and it’s applications to machine learning. It also includes a detailed introduction to the concepts and constraints of machine learning and what ... もっと見る

6,928 円

This book helps readers understand the mathematics of machine learning, and apply them in different situations. It is divided into two basic parts, the first of which introduces readers to the theory of linear algebra, probability, and data distributions and it’s applications to machine learning. It also includes a detailed introduction to the concepts and constraints of machine learning and what
... もっと見る
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
... もっと見る
Pro Spring Boot 3

An Authoritative Guide with Best Practices

− Felipe Gutierrez ...

シリーズ series Professional and Applied Computing (R0)
This book will teach you how to build complex Spring applications and microservices out of the box, with minimal concern over things like configurations. Pro Spring Boot 3 will show you how to fully leverage Spring Boot 3's robust features and how to apply them to create enterprise-ready applications, microservices, and web/cloud applications that just work.Special focus is given to what's been ... もっと見る

4,375 円

This book will teach you how to build complex Spring applications and microservices out of the box, with minimal concern over things like configurations. Pro Spring Boot 3 will show you how to fully leverage Spring Boot 3's robust features and how to apply them to create enterprise-ready applications, microservices, and web/cloud applications that just work.Special focus is given to what's been
... もっと見る
Master Python Without Prior Experience

− CodeCraft Dynamics ...

This comprehensive Python programming guide seamlessly transitions you from fundamental concepts to advanced topics, ensuring a deep comprehension of the Python language. Discover the essence of programming and Python, unraveling the significance of programming, the allure of Python, and the essential steps to configure your Python environment.Embark on a journey through Python essentials like ... もっと見る

500 円

This comprehensive Python programming guide seamlessly transitions you from fundamental concepts to advanced topics, ensuring a deep comprehension of the Python language. Discover the essence of programming and Python, unraveling the significance of programming, the allure of Python, and the essential steps to configure your Python environment.Embark on a journey through Python essentials like
... もっと見る

楽天Kobo

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

コンパイラ電子書籍

Python Machine Learning Case Studies

Test Driven Development in Ruby

Specification of Software Systems

Runtime Verification

Formal Methods and Software Engineering

Model and Data Engineering

Requirements Engineering: Foundation for Software Quality

Python Programming for Beginners

Programming Smalltalk – Object-Orientation from the Beginning

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

Machine Learning with R

Testing Software and Systems

Inductive Logic Programming

Pro Spring Boot 3

Master Python Without Prior Experience

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

コンパイラ 電子書籍

コンパイラ電子書籍