DISCOTEC

DISCOTEC Computing
DISCOTEC on
DISCOTEC 6.1

楽天市場検索

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

スチームアイロンコンフィグリップ
FORMAT
クララ・エリー
ドゥロイヤルシニア
Tramp

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

商品	説明	価格
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円
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 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円
Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, J【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2024, held in Groningen, The Netherlands, in June 2024, as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024.＜/p＞＜p＞The 8 full papers, 7 tool papers, 1 short paper and 1 survey paper included in this book were carefully reviewed and selected from 28 submissions. This conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	13,369円
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円
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 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円
Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2025, held in Lille, France, as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, during June 16?20, 2025.＜/p＞＜p＞The 7 full papers included in this book were carefully reviewed and selected from 16 submissions.They focus on all practical and conceptual aspects of distributed applications, including their design, modeling, implementation, and operation; the supporting middleware; appropriate software engineering methodologies and tools; and experimental studies and applications.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	6,076円
Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Gro【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held in Groningen, The Netherlands, in June 2024, as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024 during June 17?21, 2024.＜/p＞＜p＞The 11 full papers and 2 short papers included in this book were carefully reviewed and selected from 33 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed systems.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	12,154円
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 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17?19, 【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, held in Lille, France, during June 17?19, 2025, as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025.＜/p＞＜p＞The 12 full papers and two invited contributions included in this book were carefully reviewed and selected from 29 submissions. This conference provides a well-established forum for the community of researchers interested in models, languages, architectures, and implementation techniques for coordination.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	8,021円
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 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 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円
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円
Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Nethe【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 24th International Conference on Distributed Applications and Interoperable Systems, DAIS 2024, held in PhGroningen, The Netherlands, as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, during June 17?21, 2024.＜/p＞＜p＞The 5 full papers included in this book were carefully reviewed and selected from 17 submissions. They focus on all practical and conceptual aspects of distributed applications, including their design, modeling, implementation, and operation; the supporting middleware; appropriate software engineering methodologies and tools; and experimental studies and applications.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	10,938円
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円
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 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円
Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lil【電子書籍】楽天Kobo電子書籍ストア	＜p＞This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, during June 16?20, 2025.＜/p＞＜p＞The 8 full papers and 5 short papers included in this book were carefully reviewed and selected from 25 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	7,049円
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円
【中古】米12” DJ Honda Discotec / Trouble In The Water HP2011 DJ Honda Recordings /00250 レコードシティ楽天市場店	・アーティスト DJ Honda ・タイトル Discotec / Trouble In The Water ・レーベル・型番 DJ Honda Recordings HP2011 ・フォーマット 12インチレコード・コンディション(盤) 良い (VG+) ・コンディション(ジャケット) 良い (VG+) ・コンディション(帯) オビなし・特記事項【シュリンク残し】サンプル画像です。実際の商品の画像ではありません商品写真はバーコード/カタログ番号に対応したサンプル画像ですので、お送りする商品の画像ではありません。帯やライナーなどの付属品は、特記事項に記載されている場合のみ含まれます。プロモやカラーレコードなどの仕様についても、該当する場合のみ特記事項に記載しています。【ご購入前に必ずご確認ください】・本店サイト(www.recordcity.jp)とは価格、送料が違います・本店サイト、その他支店のオーダーとは同梱発送できません・注文確定後に別の注文を頂いた場合、注文同士の同梱は致しかねます。・別倉庫から発送しているため、店頭受け渡しは対応しておりません・一部商品は他の通販サイトでも販売しているため、ご注文のタイミングによっては商品のご用意ができない場合がございます。・土日祝日はお休みです金曜・祝前日9時以降のご連絡またはご入金は、返答または発送が週明け・祝日明けに順次対応となります。・ご購入後のキャンセル不可ご購入後のキャンセルはいかなる理由においてもお受けできません。ご了承の上、ご購入くださいませ。・日本郵便(ゆうパック/ゆうメール)によるお届けになります。・中古品であることをご理解ください当ストアでは中古商品を主に販売しております。中古品であることをご理解の上ご購入ください。また、一部商品はRecordCityオンラインストアで試聴可能です。・返品についてお客様のご都合による返品は一切承っておりません。表記の内容と実際の商品に相違がある場合、また針飛び等で返品・返金をご希望される場合は、商品の到着後1週間以内にご連絡ください。商品の返送をこちらで確認後、キャンセル・返金を行います。コンディションVG以下の商品は返品できません。プレイに影響のない表面のこすれ傷、プレス起因のノイズ盤は返品の対象外です。【コンディション表記】・ほぼ新品(M-)(Like New) 完全な新品。未使用。当店ではほぼ使用しません・非常に良い(EX)(Excellent) 中古盤として美品な状態。わずかな経年を感じるものの傷みを感じさせない、当店基準で最高の状態・良い(VG+)(Very Good Plus) 丁寧に扱われた中古品で、軽い使用感がみられる。・可(VG)(Acceptable) 使い込まれた中古品で、「良い」よりもさらに使用感がみられる。・悪い(VG-)(Bad) 状態が悪いアイテム。使用の保障はなく、再生不可、針飛び、目立つノイズがあるかもしれない。状態によるクレーム不可。返品不可。・非常に悪い(G)(Very Bad) 「悪い」よりさらに状態が悪いアイテム。使用の保障はなく、再生不可、針飛び、目立つノイズがあるかもしれない。状態によるクレーム不可。返品不可。・ジャンク(Fair)(Junk/Fair) 割れている、反っている、水ダメージがある、カビ、ジャケットが分離している、ひどい書き込み、ひどい擦れなど最低の状態。使用の保障はなく、再生不可、針飛び、目立つノイズがあるかもしれない。状態によるクレーム不可。返品不可。・ジャンク(Poor)(Junk/Poor) 割れている、反っている、水ダメージがある、カビ、ジャケットが分離している、ひどい書き込み、ひどい擦れなど最低の状態。使用の保障はなく、再生不可、針飛び、目立つノイズがあるかもしれない。状態によるクレーム不可。返品不可。	1,925円
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円
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円
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円
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円