DISCOTEC

DISCOTEC 電子書籍
DISCOTEC Computing
DISCOTEC on

楽天市場検索

レディースファッション (0)
メンズファッション (10) (DISCOTEC)
インナー・下着・ナイトウェア (0)
バッグ・小物・ブランド雑貨 (0)
靴 (0)
腕時計 (0)
ジュエリー・アクセサリー (70) (DISCOTEC)
キッズ・ベビー・マタニティ (0)
おもちゃ (0)
スポーツ・アウトドア (0)
家電 (0)
TV・オーディオ・カメラ (0)
パソコン・周辺機器 (0)
スマートフォン・タブレット (0)
光回線・モバイル通信 (0)
食品 (0)
スイーツ・お菓子 (0)
水・ソフトドリンク (0)
ビール・洋酒 (0)
日本酒・焼酎 (0)
インテリア・寝具・収納 (1) (DISCOTEC)
日用品雑貨・文房具・手芸 (0)
キッチン用品・食器・調理器具 (0)
本・雑誌・コミック (34) (DISCOTEC)
CD・DVD (39) (DISCOTEC)
テレビゲーム (0)
ホビー (0)
楽器・音響機器 (0)
車・バイク (0)
車用品・バイク用品 (0)
美容・コスメ・香水 (0)
ダイエット・健康 (0)
医薬品・コンタクト・介護 (0)
ペット・ペットグッズ (0)
花・ガーデン・DIY (0)
サービス・リフォーム (0)
住宅・不動産 (0)
カタログギフト・チケット (0)
百貨店・総合通販・ギフト (0)

ALS
ジェラルド
ジュニアスペックダンパー
ドメーヌ・デュ・カステル
ADESSO

154件中 1件 - 30件 1 2 3 4 5 6

商品	説明	価格
Distributed Applications and Interoperable Systems 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 1【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.＜/p＞＜p＞The 9 full papers and 2 short papers presented in this book were carefully reviewed and selected from 19 submissions.＜/p＞＜p＞DAIS addresses all practical and conceptual aspects of distributed applications, including their design, modeling, implementation and operation, the supporting middleware, appropriate software engineering methodologies and tools, as well as experimental studies and applications.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lis【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.＜/p＞＜p＞The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	8,507円
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, 20【電子書籍】楽天Kobo電子書籍ストア	＜p＞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.＜br /＞ The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: actor-based coordination, tuple- based coordination, agent-oriented techniques, constraints- based coordination, and finally coordination based on shared spaces.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Her【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 36th IFIP WG 6.1＜/p＞＜p＞International Conference on Formal Techniques for Distributed Objects,＜/p＞＜p＞Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June＜/p＞＜p＞2016, as part of the 11th International Federated Conference on＜/p＞＜p＞Distributed Computing Techniques, DisCoTec 2016.＜/p＞＜p＞The 18 revised full papers presented were carefully reviewed and＜/p＞＜p＞selected from 44 submissions. The papers present a wide range of topics＜/p＞＜p＞on distributed computing models and formal specification, testing, and＜/p＞＜p＞verification methods.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Mad【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.＜/p＞＜p＞The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Formal Techniques for Distributed Objects, Components, and Systems 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Luc【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	8,507円
Distributed Applications and Interoperable Systems 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch?tel, Switzerl【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 17th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2017, held in Neuch?tel, Switzerland, in June 2017.＜/p＞＜p＞The 11 papers presented together with 4 short papers in this volume were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on running system efficiently, storing data smartly, roaming in graph, building collaborative services, and making things safe.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neu【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuch?tel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.＜/p＞＜p＞The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Formal Techniques for Distributed Objects, Components, and Systems 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Val【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.＜/p＞＜p＞The 10 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.＜/p＞＜p＞The conference was held virtually due to the COVID-19 pandemic.＜/p＞＜p＞Chapter ‘Conformance-Based Doping Detection for Cyber-Physical Systems’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	7,900円
Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch?tel, Switzerland, June【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuch?tel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.＜br /＞ The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Distributed Applications and Interoperable Systems 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, Ju【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2023, held in Lisbon, Portugal, during June 19-23, 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.＜/p＞＜p＞The 7 full papers presented in this book were carefully reviewed and selected from 13 submissions.＜/p＞＜p＞The papers cover the following topics: distributed algorithms and systems; data management; and distributed architectures.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	7,292円
Coordination Models and Languages 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14?18【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.＜/p＞＜p＞The 15 regular papers, 2 short papers, and 1 tutorial paper presented in this book were carefully reviewed and selected from 31 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.＜/p＞＜p＞The tool papers describe experience reports, technological artefacts, and innovative prototypes, as well as educational tools in the scope of the research topics of the conference.＜/p＞＜p＞Due to the Corona pandemic this event was held virtually.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Coordination Models and Languages 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15?19【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic.＜/p＞＜p＞The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Gr【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 16th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2016, held in Heraklion, Crete, Greece, in June 2016.＜/p＞＜p＞The 13 papers presented together with 3 short papers in this volume were carefully reviewed and selected from 34 submissions. They represent a compelling sample of the state-of-the-art in the area of distributed applications and interoperable systems. Cloud computing and services received a large emphasis this year.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Coordination Models and Languages 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19?2【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.＜br /＞ The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions.＜br /＞ The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	8,507円
Coordination Models and Languages 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 202【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.＜br /＞ The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	14,585円
Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 18th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2018, held in Madrid, Spain, in June 2018.＜/p＞＜p＞The 10 papers presented together with 2 short papers in this volume were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on application domains, including stream processing, video dissemination, storage, privacy protection, and large-scale orchestration.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Distributed Applications and Interoperable Systems 19th IFIP WG 6.1 International Conference, DAIS 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denm【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 19th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.＜br /＞ The 9 full papers presented together with 2 short papers were carefully reviewed and selected from 28 submissions. The papers addressed challenges in multiple application areas, such as the Internet-of-Things, cloud and edge computing, and mobile systems. Some papers focused on middleware for managing concurrency and consistency in distributed systems, including data replication and transactions.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.＜br /＞ The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Distributed Applications and Interoperable Systems 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, Jun【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, which was supposed to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic.＜/p＞＜p＞The 10 full papers presented together with 1 short paper and 1 invited paper were carefully reviewed and selected from 17 submissions.The papers addressed challenges in multiple application areas, such as privacy and security, cloud and systems, fault-tolerance and reproducibility, machine learning for systems, and distributed algorithms.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
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, Kon【電子書籍】楽天Kobo電子書籍ストア	＜p＞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.＜/p＞＜p＞The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	7,779円
Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, Jun【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the proceedings of the 18th International＜/p＞＜p＞Conference on Coordination Models and Languages, COORDINATION 2016, held＜/p＞＜p＞in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.＜/p＞＜p＞The 16 full papers included in this volume were carefully reviewed and＜/p＞＜p＞selected from 44 submissions. The papers cover a wide range of topics＜/p＞＜p＞and techniques related to system coordination, including: programming and＜/p＞＜p＞communication abstractions; communication protocols and behavioural types;＜/p＞＜p＞actors and concurrent objects; tuple spaces; games, interfaces and contracts; information flow policies and dissemination techniques; and probabilistic models＜/p＞＜p＞and formal verification.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Formal Techniques for Distributed Objects, Components, and Systems 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Val【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.＜/p＞＜p＞The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.＜/p＞＜p＞Due to the Corona pandemic this event was held virtually.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Distributed Applications and Interoperable Systems 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, Jun【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 21st IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.＜/p＞＜p＞The 7 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 15 submissions.＜/p＞＜p＞DAIS addresses all practical and conceptual aspects of distributed applications, including their design, modeling, implementation and operation, the supporting middleware, appropriate software engineering methodologies and tools, as well as experimental studies and applications.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Viva Discoteca Especia 2014 [ Especia ] 楽天ブックス	Especia【VDCP_700】ビバディスコテカエスペシア 2014 エスペシア発売日：2014年10月01日予約締切日：2014年09月16日 (株)つばさプラス TRNWー63 JAN：4562166392604 VIVA DISCOTECA ESPECIA 2014 DVD ミュージック・ライブ映像邦楽ロック・ポップス	2,417円
【中古】【非常に良い】Viva Discoteca Especia 2014 [DVD] d2ldlup ドリエムコーポレーション	【状態　非常に良い】Viva Discoteca Especia 2014 [DVD]【メーカー名】TSUBASA RECORDS【メーカー型番】【ブランド名】つばさレコーズ【商品説明】Viva Discoteca Especia 2014 [DVD]当店では初期不良に限り、商品到着から7日間は返品を受付けております。品切れの場合は2週間程度でお届け致します。ご注文からお届けまで1、ご注文⇒24時間受け付けております。2、注文確認⇒当店から注文確認メールを送信します。3、在庫確認⇒中古品は受注後に、再メンテナンス、梱包しますので　お届けまで3日〜10日程度とお考え下さい。4、入金確認⇒前払い決済をご選択の場合、ご入金確認後、配送手配を致します。5、出荷⇒配送準備が整い次第、出荷致します。配送業者、追跡番号等の詳細をメール送信致します。6、到着⇒出荷後、1〜3日後に商品が到着します。当店はリサイクル専門店につき一般のお客様から買取しました中古扱い品です。ご来店ありがとうございます。	8,480円
【中古】Viva Discoteca Especia 2014 [DVD] スカーレット2021	【中古】Viva Discoteca Especia 2014 [DVD]【メーカー名】【メーカー型番】【ブランド名】つばさレコーズ J-POP Especia: Actor【商品説明】Viva Discoteca Especia 2014 [DVD]画像はサンプル写真のため商品のコンディション・付属品の有無については入荷の度異なります。掲載と付属品が異なる場合は確認のご連絡をさせて頂きます。※中古品のため「限定」「初回」「保証」「DLコード」などの表記がありましても、特典・付属品・帯・保証等は付いておりません。（未使用・未開封品は除く）※コミック、CD、DVD、VHSは、レンタルアップ品の場合もございます。気になる方は購入前にお問い合わせ・メールにてお願い致します。中古品のため使用に影響ない程度の使用感・経年劣化（傷、汚れなど）がある場合がございます。※中古品の特性上ギフトには適しておりません。当店では初期不良に限り、商品到着から5日間は返品を受付けております。お問い合わせ・メールにて不具合詳細をご連絡ください。お客様都合での返品はお受けしておりませんのでご了承ください。他モールとの併売品の為、売り切れの場合はご連絡させて頂きます。★ご注文からお届けまで1、ご注文（24時間受付）2、注文確認⇒当店から注文確認メールを送信致します3、在庫確認⇒中古品は受注後に、再メンテナンス、梱包しますので、お届けまで3日〜10日程度とお考え下さい。4、入金確認⇒前払い決済をご選択の場合、ご入金確認後、配送手配を致します5、出荷⇒配送準備が整い次第、出荷致します。配送業者、追跡番号等の詳細をメール送信致します。6、到着⇒出荷後、1〜3日後に商品が到着します。※離島、北海道、沖縄は遅れる場合がございます。予めご了承下さい。お電話でのお問合せは少人数で運営の為受け付けておりませんので、お問い合わせ・メールにてお願い致します。ご来店ありがとうございます。当店では良品中古を多数揃えております。お電話でのお問合せは少人数で運営の為受け付けておりませんので、お問い合わせ・メールにてお願い致します。	8,472円
DJ Cat en la Discoteca【電子書籍】[ Max Marshall ] 楽天Kobo電子書籍ストア	＜p＞Antonio el Gato siempre hab?a amado la m?sica y el baile. Un d?a, se top? con una discoteca y estaba fascinado por los beats y ritmos que flotaban en el aire. Inspirado por los DJs, Antonio decidi? probar su pata en los platos y pronto se convirti? en una sensaci?n en el club. Pero lo de ser DJ no fue f?cil - ?l ten?a que practicar, aprender nuevas habilidades y a lidiar con algunos de los duros multitudes. Con la ayuda de sus amigos, Antonio aprendido a superar sus miedos y convertirse en el mejor gato DJ en la ciudad. ?nete a Antonio en su viaje musical y descubrir el poder de la perseverancia, la amistad y siguiendo sus sue?os.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	350円
pleasure DISCOTECA TEE サイズXL 半袖Tシャツホワイトメンズプレジャー【中古】0-0730S♪ ブランド古着のkiitti	MF79244-912008-49-X165 商品説明ブランド pleasure アイテム半袖Tシャツカットソー DISCOTECA TEE サイズXL カラーホワイト※色は実物を見て判断したものを記載しております。発売時のカラー展開は把握しておりませんので、メーカー公式のカラーとは異なる場合もございます事をご了承くださいませ。性別タイプメンズ表記サイズ XL 実寸サイズ肩幅：約54.5cm身幅：約66cm袖丈：約26cm備考【トップス】　着丈　：　背中側の襟下（首の付け根）から裾までの数値　肩幅　：　肩の縫い目間を直線計測した数値　身幅　：　脇の縫い目間を直線計測した数値　袖丈　：　肩の縫い目から袖先までの数値　裄丈　：　首の後ろから肩を通って袖先までの数値※記載以外のサイズが合わないことを理由とした返品はできませんので、記載部分以外で実寸サイズの気になる箇所があれば必ず購入前にご質問ください。品質表示品質タグなしのため不明季節・シーズン春夏状態【参考ランク】 B-C 【全体の印象】使用感が見受けられますが、使用する上で支障となるような大きなダメージではないと思います。【細かく見ると】未使用品ですが、全体のところどころに汚れが見受けられます。フロント中央折り目沿いにうっすらスレ、汚れがあるように感じます。 ※保管時にできた折りジワ、繊維付着などはご容赦下さい。仕様ポケット：なしスリット：-cm透け感：なし裏地：なしその他 ※モニターの発色の具合によって実際のものと色が異なる場合があります。質問などありましたらご遠慮なくどうぞ！状態ランク・サイズ計測について	3,300円
pleasure DISCOTECA プリント半袖TシャツサイズL 白、黒、ピンク等メンズプレジャー【中古】0-0807S◆ ブランド古着のkiitti	MF79067-912008-49-X165 商品説明ブランド pleasure アイテム半袖Tシャツカットソー DISCOTECA プリント半袖TシャツサイズL カラー白、黒、ピンク等※色は実物を見て判断したものを記載しております。発売時のカラー展開は把握しておりませんので、メーカー公式のカラーとは異なる場合もございます事をご了承くださいませ。性別タイプメンズ表記サイズ L 実寸サイズ肩幅：約54cm着丈(前)：約76.5cm着丈(後ろ)：約78.5cm身幅：約63cm袖丈：約24.5cm備考【トップス】　着丈　：　背中側の襟下（首の付け根）から裾までの数値　肩幅　：　肩の縫い目間を直線計測した数値　身幅　：　脇の縫い目間を直線計測した数値　袖丈　：　肩の縫い目から袖先までの数値　裄丈　：　首の後ろから肩を通って袖先までの数値※記載以外のサイズが合わないことを理由とした返品はできませんので、記載部分以外で実寸サイズの気になる箇所があれば必ず購入前にご質問ください。品質表示表記はありませんが、恐らくコットンと思われます。季節・シーズン春夏状態【参考ランク】 A-B 【全体の印象】やや使用感はありますが、全体的な印象としては綺麗です。【細かく見ると】新品ですが、展示中や試着時、または保管中に付いたと思われるダメージがあります。薄い汚れが複数あります。【新品について】 ※保管中に出品時になかった汚れや傷などがつく場合もございます。状態について気になる場合は、必ずご購入前にお問い合わせ下さい。 ※保管時にできた折りジワ、繊維付着などはご容赦下さい。仕様ポケット：なしスリット：-cm透け感：ややあり裏地：なしその他 ※モニターの発色の具合によって実際のものと色が異なる場合があります。質問などありましたらご遠慮なくどうぞ！状態ランク・サイズ計測について	3,300円