DISCOTEC on [本・雑誌・コミック]

DISCOTEC on 電子書籍
DISCOTEC on Computing
DISCOTEC on 6.1

楽天市場検索

本・雑誌・コミック
小説・エッセイ (0)
資格・検定 (0)
ライフスタイル (0)
ホビー・スポーツ・美術 (0)
絵本・児童書・図鑑 (0)
語学・辞典・年鑑 (0)
学習参考書・問題集 (0)
旅行・留学 (0)
人文・地歴・社会 (0)
ビジネス・経済・就職 (0)
PC・システム開発 (0)
科学・医学・技術 (0)
コミック (0)
ライトノベル (0)
ボーイズラブ (0)
ティーンズラブ (0)
エンターテインメント (0)
写真集 (0)
古書・希少本 (0)
楽譜 (0)
雑誌 (0)
新聞 (0)
洋書 (32) (DISCOTEC on)
カレンダー (0)
ポスター (0)
パンフレット (0)
その他 (0)

TYPEIIMBL
Scharwenka
マイクロパワーヒーター
フレッシュフルーツペア
エレクトーン・キッズ

32件中 1件 - 30件 1 2

商品	説明	価格
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円
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円
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 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円
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円
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円
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円
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 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円
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円
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円
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円
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円
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 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円
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円
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 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円
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円
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 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 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円
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円
Al club Niente perizoma in discoteca con uno sconosciuto【電子書籍】[ Louis Robert ] 楽天Kobo電子書籍ストア	＜p＞Come al solito, vado in discoteca questo fine settimana, ho 19 anni, sono uno studente e ho un forte debole per le avventure di una notte.＜/p＞＜p＞?prevedere cos? la mia serata, gi? immaginandomi di stare con uno sconosciuto...＜/p＞＜p＞Sono quasi le 22:00, mi sto preparando, indosso un vestito senza spalline attillato, piuttosto sexy e i miei tacchi a spillo, dimenticando deliberatamente di mettermi un perizoma, stasera non ne avr? bisogno.＜/p＞＜p＞Nota: questo breve racconto erotico descrive scene di sesso senza tab?, quindi ? vietato ai minori di 18 anni.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	399円
Al club Niente perizoma in discoteca con uno sconosciuto【電子書籍】[ Robert Louis ] 楽天Kobo電子書籍ストア	＜p＞Come al solito, vado in discoteca questo fine settimana, ho 19 anni, sono uno studente e ho un forte debole per le avventure di una notte.＜/p＞＜p＞?prevedere cos? la mia serata, gi? immaginandomi di stare con uno sconosciuto...＜/p＞＜p＞Sono quasi le 22:00, mi sto preparando, indosso un vestito senza spalline attillato, piuttosto sexy e i miei tacchi a spillo, dimenticando deliberatamente di mettermi un perizoma, stasera non ne avr? bisogno.＜/p＞＜p＞Nota: questo breve racconto erotico descrive scene di sesso senza tab?, quindi ? vietato ai minori di 18 anni.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	399円
Las Cr?nicas de las Noches. Segunda Parte. Vida de un portero de discoteca.【電子書籍】[ Francisco Belmonte ] 楽天Kobo電子書籍ストア	＜p＞“Si quieres sobrevivir en este mundo, te tienes que adaptar. No gana el m?s fuerte, sino el que mejor se adapta.＜br /＞ Siempre me he considerado un tipo con suerte. Me llaman el Franc?s, tambi?n conocido como el Enterrador. Y ?sta, es mi historia. Y la de los que se cruzaron en mi camino. Y la de los que cayeron…”.＜/p＞＜p＞SINOPSIS＜br /＞ Empez? de portero de discoteca, tras acabar la carrera. Quer?a ganar dinero, de manera r?pida. Se hab?a ido forjando una buena vida, c?moda, holgada. Se hab?a convertido en el perfecto burgu?s.＜br /＞ Ahora se dedicaba a escribir, principalmente, y hab?a montado una peque?a editorial de ?xito para entretenerse, y para que sus novelas viesen la luz.＜br /＞ Viv?a felizmente con su mujer y su hija. Y con dos perros, dos gatos, y un canario.＜br /＞ Y tambi?n estaba su suegra, el ?nico resquicio que le imped?a gozar plenamente de lo que hab?a planeado para su futuro.＜br /＞ Pero llegar adonde hab?a llegado no hab?a sido un camino de rosas.＜br /＞ Lo tuvo claro cuando hubo de tomar la decisi?n.＜br /＞ Reci?n licenciado, joven y prometedor, se le presentaron dos caminos a seguir.＜br /＞ El que sigue todo el mundo, pr?cticamente.＜br /＞ Y el opuesto, el ‘echarse al monte como las cabras salvajes o los lobos ind?mitos’, como ?l lo llamaba. Y ?l era un lobo. Un l?der natural de la manada.＜br /＞ El d?a.＜br /＞ O la Noche.＜br /＞ Y opt? por la segunda.＜br /＞ La Noche le cautiv?, con su mirada tenebrosa.＜br /＞ ‘Vencer o morir’, se dijo para reafirmarse.＜br /＞ Y venci?.＜br /＞ Sexo, drogas, prostituci?n, corrupci?n policial, tr?fico de estupefacientes, trata de mujeres, extorsi?n, ajustes de cuentas y asesinatos, apuestas ilegales…＜br /＞ Segunda Parte de la exitosa serie “Las Cr?nicas de las Noches (Vida de un portero de discoteca)”.＜br /＞ Pasen y lean, queridos lectores, estimadas lectrices… Quedar?n sorprendidos…＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。	116円