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

スペシャルオファー

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

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

無料

おすすめ

AIxIA 2022 – Advances in Artificial Intelligence

XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings

編集 Agostino Dovier, Angelo Montanari, Andrea Orlandini ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XXIst International Conference of the Italian Association for Artificial Intelligence on AIxIA 2022 – Advances in Artificial Intelligence, which was held in Udine, Italy, during November 28–December 2, 2022.The 33 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 54 submissions. They were ... もっと見る

7,900 円

This book constitutes the refereed proceedings of the XXIst International Conference of the Italian Association for Artificial Intelligence on AIxIA 2022 – Advances in Artificial Intelligence, which was held in Udine, Italy, during November 28–December 2, 2022.The 33 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 54 submissions. They were
... もっと見る
Language Constructs for Describing Features

Proceedings of the FIREworks workshop

編集 Stephen Gilmore, Mark Ryan ...

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and ... もっと見る

6,076 円

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and
... もっと見る
Practical PHP 7, MySQL 8, and MariaDB Website Databases

A Simplified Approach to Developing Database-Driven Websites

− Adrian W. West, Steve Prettyman ...

シリーズ series Professional and Applied Computing (R0)
Build interactive, database-driven websites with PHP 7, MySQL 8, and MariaDB. The focus of this book is on getting you up and running as quickly as possible with real-world applications. In the first two chapters, you will set up your development and testing environment, and then build your first PHP and MariaDB or MySQL database-driven website. You will then increase its sophistication, security, ... もっと見る

7,900 円

Build interactive, database-driven websites with PHP 7, MySQL 8, and MariaDB. The focus of this book is on getting you up and running as quickly as possible with real-world applications. In the first two chapters, you will set up your development and testing environment, and then build your first PHP and MariaDB or MySQL database-driven website. You will then increase its sophistication, security,
... もっと見る
A List of Successes That Can Change the World

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

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

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

6,076 円

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

11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

編集 Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is ... もっと見る

6,076 円

This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is
... もっと見る
Creating Business Applications with Microsoft 365

Techniques in Power Apps, Power BI, SharePoint, and Power Automate

− Jeffrey M. Rhodes ...

シリーズ series Professional and Applied Computing (R0)
Learn how to automate processes, visualize your data, and improve productivity using Power Apps, Power Automate, Power BI, SharePoint, Forms, Teams, and more. This book will help you build complete solutions that often involve storing data in SharePoint, creating a front-end application in Power Apps or Forms, adding additional functionality with Power Automate, and effective reports and ... もっと見る

6,685 円

Learn how to automate processes, visualize your data, and improve productivity using Power Apps, Power Automate, Power BI, SharePoint, Forms, Teams, and more. This book will help you build complete solutions that often involve storing data in SharePoint, creating a front-end application in Power Apps or Forms, adding additional functionality with Power Automate, and effective reports and
... もっと見る
OpenMP in a Modern World: From Multi-device Support to Meta Programming

18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27–30, 2022, Proceedings

編集 Michael Klemm, Bronis R. de Supinski, Jannis Klinkenberg, Brandon Neth ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International Workshop on OpenMP, IWOMP 2022, held in Chattanooga, TN, USA, in September 2022.The 11 full papers presented in this volume were carefully reviewed and selected for inclusion in this book from the 13 submissions. The papers are organized in topical sections named: OpenMP and multiple nodes; exploring new and recent OpenMP extensions; ... もっと見る

5,469 円

This book constitutes the proceedings of the 18th International Workshop on OpenMP, IWOMP 2022, held in Chattanooga, TN, USA, in September 2022.The 11 full papers presented in this volume were carefully reviewed and selected for inclusion in this book from the 13 submissions. The papers are organized in topical sections named: OpenMP and multiple nodes; exploring new and recent OpenMP extensions;
... もっと見る
Decoding the AI Enigma: A Layperson's Guide to Understanding the Concepts, Math, and Pitfalls of Artificial Intelligence

− Eugene Raymond ...

Artificial intelligence (AI) has become an integral part of our modern lives, influencing everything from the way we shop and communicate to how we work and make decisions. As AI continues to advance at an astonishing pace, it is crucial for individuals from all walks of life to grasp its concepts, comprehend its underlying mathematics, and navigate its potential pitfalls. In this book, "Decoding ... もっと見る

1,398 円

Artificial intelligence (AI) has become an integral part of our modern lives, influencing everything from the way we shop and communicate to how we work and make decisions. As AI continues to advance at an astonishing pace, it is crucial for individuals from all walks of life to grasp its concepts, comprehend its underlying mathematics, and navigate its potential pitfalls. In this book, "Decoding
... もっと見る
Programmieren lernen mit Python und JavaScript

Eine praxisorientierte Einführung für Einsteiger

− Joachim L. Zuckarelli ...

シリーズ series Computer Science and Engineering (German Language)
Ob auf dem Computer, Tablet, Handy, im Auto oder in der Kaffeemaschine – Computerprogramme bestimmen unseren Alltag. Software wird immer wichtiger, kaum noch etwas funktioniert ohne die geheimnisvolle Macht der Algorithmen. Aber wie funktionieren Programme? Und wie entwickelt man sie? Dieses Buch vermittelt Ihnen anschaulich das Einmaleins des Programmierens. Anhand von Alltagsbeispielen lernen ... もっと見る

4,492 円

Ob auf dem Computer, Tablet, Handy, im Auto oder in der Kaffeemaschine – Computerprogramme bestimmen unseren Alltag. Software wird immer wichtiger, kaum noch etwas funktioniert ohne die geheimnisvolle Macht der Algorithmen. Aber wie funktionieren Programme? Und wie entwickelt man sie? Dieses Buch vermittelt Ihnen anschaulich das Einmaleins des Programmierens. Anhand von Alltagsbeispielen lernen
... もっと見る
Angular : Maîtriser le Framework Incontournable pour des Applications Web Performantes

Construisez des Applications Web Robustes et Évolutives avec le Framework Angular de Google

− YVES SITBON ...

Ce livre complet plonge profondément dans le monde d'Angular, le framework de développement web puissant de Google. Que vous soyez un développeur débutant cherchant à acquérir des compétences solides ou un professionnel chevronné cherchant à perfectionner votre maîtrise d'Angular, ce livre offre un parcours d'apprentissage détaillé et progressif.Contenu du Livre :Introduction à Angular : Explorez ... もっと見る

2,219 円

Ce livre complet plonge profondément dans le monde d'Angular, le framework de développement web puissant de Google. Que vous soyez un développeur débutant cherchant à acquérir des compétences solides ou un professionnel chevronné cherchant à perfectionner votre maîtrise d'Angular, ce livre offre un parcours d'apprentissage détaillé et progressif.Contenu du Livre :Introduction à Angular : Explorez
... もっと見る
Spaß mit CP/M

Freude an der Emulation

− Erik Bartmann ...

Wenn Sie den Reiz verspüren, sich mit einer etwas älteren, aber nach wie vor faszinierenden Technik auseinanderzusetzen, sind Sie hier genau richtig. Dieses Buch ist für jene geschrieben, die Spaß daran haben, sich tief in die Materie zu graben – und das ohne produktive Zwänge, einfach nur zum Spaß. Dieses Handbuch ist kein trockener Theorieband, sondern ein praktisches Kompendium für den Einstieg ... もっと見る

3,800 円

Wenn Sie den Reiz verspüren, sich mit einer etwas älteren, aber nach wie vor faszinierenden Technik auseinanderzusetzen, sind Sie hier genau richtig. Dieses Buch ist für jene geschrieben, die Spaß daran haben, sich tief in die Materie zu graben – und das ohne produktive Zwänge, einfach nur zum Spaß. Dieses Handbuch ist kein trockener Theorieband, sondern ein praktisches Kompendium für den Einstieg
... もっと見る
Advanced Parallel Processing Technologies

12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

編集 Yong Dou, Haixiang Lin, Guangyu Sun, Junjie Wu, Dora Heras, Luc Bougé ...

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

6,076 円

This book constitutes the proceedings of the 12th International Symposium on Advanced Parallel Processing Technologies, APPT 2017, held in Santiago de Compostela, Spain, in August 2017.The 11 regular papers presented in this volume were carefully reviewed and selected from 18 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel
... もっと見る
Beginning Xamarin Development for the Mac

Create iOS, watchOS, and Apple tvOS apps with Xamarin.iOS and Visual Studio for Mac

− Dawid Borycki ...

シリーズ series Professional and Applied Computing (R0)
Develop apps for the iPhone, iPad, and Apple wearables using Visual Studio for the Mac.Learn how to set up your development environment and emulators, and how to create adaptive user interfaces for various platforms. Expert Dawid Borycki guides you through the fundamentals of programming for Apple platforms (Model View Controller, Test Driven Development), navigation patterns, gesture handling, ... もっと見る

3,645 円

Develop apps for the iPhone, iPad, and Apple wearables using Visual Studio for the Mac.Learn how to set up your development environment and emulators, and how to create adaptive user interfaces for various platforms. Expert Dawid Borycki guides you through the fundamentals of programming for Apple platforms (Model View Controller, Test Driven Development), navigation patterns, gesture handling,
... もっと見る
Practical Haskell

A Real World Guide to Programming

− Alejandro Serrano Mena ...

シリーズ series Professional and Applied Computing (R0)
Get a practical, hands-on introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. This book contains excellent coverage of the Haskell ecosystem and supporting tools, include Cabal and Stack for managing projects, HUnit and QuickCheck for software testing, the Spock framework for ... もっと見る

5,469 円

Get a practical, hands-on introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. This book contains excellent coverage of the Haskell ecosystem and supporting tools, include Cabal and Stack for managing projects, HUnit and QuickCheck for software testing, the Spock framework for
... もっと見る
Learn Microservices with Spring Boot

A Practical Approach to RESTful Services Using an Event-Driven Architecture, Cloud-Native Patterns, and Containerization

− Moisés Macero García ...

シリーズ series Professional and Applied Computing (R0)
Build Java-based microservices architecture using the Spring Boot framework by evolving an application from a small monolith to an event-driven architecture composed of several services. This revised book follows an incremental approach in teaching the structure of microservices, test-driven development, and common patterns in distributed systems such as service discovery, load balancing, routing, ... もっと見る

7,292 円

Build Java-based microservices architecture using the Spring Boot framework by evolving an application from a small monolith to an event-driven architecture composed of several services. This revised book follows an incremental approach in teaching the structure of microservices, test-driven development, and common patterns in distributed systems such as service discovery, load balancing, routing,
... もっと見る
Android Studio Game Development

Concepts and Design

− Jerome DiMarzio ...

シリーズ series Professional and Applied Computing (R0)
This short book walks you through the process of creating mobile games using the new Android Studio IDE. Android Studio Game Development introduces you to the key tools in Android Studio and gives you the knowledge you need to develop games in Android Studio.This book takes you from installing Android Studio, through exploring the IDE to creating a new project and setting up GitHub as a VCS. You ... もっと見る

4,618 円

This short book walks you through the process of creating mobile games using the new Android Studio IDE. Android Studio Game Development introduces you to the key tools in Android Studio and gives you the knowledge you need to develop games in Android Studio.This book takes you from installing Android Studio, through exploring the IDE to creating a new project and setting up GitHub as a VCS. You
... もっと見る
Pivotal Certified Professional Core Spring 5 Developer Exam

A Study Guide Using Spring Framework 5

− Iuliana Cosmina ...

シリーズ series Professional and Applied Computing (R0)
Pass the Pivotal Certified Professional exam for Core Spring, based on the latest Spring Framework 5, using source code examples, study summaries, and mock exams. This book now includes WebFlux, reactive programming, and more found in Spring 5. You'll find a descriptive overview of certification-related Spring modules and a single example application demonstrating the use of all required Spring ... もっと見る

12,154 円

Pass the Pivotal Certified Professional exam for Core Spring, based on the latest Spring Framework 5, using source code examples, study summaries, and mock exams. This book now includes WebFlux, reactive programming, and more found in Spring 5. You'll find a descriptive overview of certification-related Spring modules and a single example application demonstrating the use of all required Spring
... もっと見る
Security Standardisation Research

4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

編集 Cas Cremers, Anja Lehmann ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and
... もっと見る
Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

編集 María del Mar Gallardo, Pedro Merino ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling
... もっと見る
Expert T-SQL Window Functions in SQL Server

− Clayton Groom, Kathi Kellenberger ...

シリーズ series Professional and Applied Computing (R0)
Expert T-SQL Window Functions in SQL Server takes you from any level of knowledge of windowing functions and turns you into an expert who can use these powerful functions to solve many T-SQL queries. Replace slow cursors and self-joins with queries that are easy to write and fantastically better performing, all through the magic of window functions.First introduced in SQL Server 2005, window ... もっと見る

3,402 円

Expert T-SQL Window Functions in SQL Server takes you from any level of knowledge of windowing functions and turns you into an expert who can use these powerful functions to solve many T-SQL queries. Replace slow cursors and self-joins with queries that are easy to write and fantastically better performing, all through the magic of window functions.First introduced in SQL Server 2005, window
... もっと見る
Formal Aspects of Component Software

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

編集 Ivan Lanese, Eric Madelaine ...

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

6,076 円

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

20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

編集 Jyotirmoy Deshmukh, Dejan Ničković ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial
... もっと見る
Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

編集 Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto ...

シリーズ series Computer Science (R0)
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and ... もっと見る

6,076 円

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and
... もっと見る
Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

編集 Shuvendu K. Lahiri, Chao Wang ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical
... もっと見る

楽天Kobo

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

コンパイラ電子書籍

AIxIA 2022 – Advances in Artificial Intelligence

Language Constructs for Describing Features

Practical PHP 7, MySQL 8, and MariaDB Website Databases

A List of Successes That Can Change the World

Verification and Evaluation of Computer and Communication Systems

Creating Business Applications with Microsoft 365

OpenMP in a Modern World: From Multi-device Support to Meta Programming

Decoding the AI Enigma: A Layperson's Guide to Understanding the Concepts, Math, and Pitfalls of Artificial Intelligence

Programmieren lernen mit Python und JavaScript

Angular : Maîtriser le Framework Incontournable pour des Applications Web Performantes

Spaß mit CP/M

Advanced Parallel Processing Technologies

Beginning Xamarin Development for the Mac

Practical Haskell

Learn Microservices with Spring Boot

Android Studio Game Development

Pivotal Certified Professional Core Spring 5 Developer Exam

Security Standardisation Research

Model Checking Software

Expert T-SQL Window Functions in SQL Server

Formal Aspects of Component Software

Runtime Verification

Models, Algorithms, Logics and Tools

Automated Technology for Verification and Analysis

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

コンパイラ 電子書籍

コンパイラ電子書籍