プログラミング電子書籍

カート

購入できない書籍

お買い物かごをご確認ください。購入不可の商品を削除できます。削除されなかった購入不可の商品は、購入手続き時に削除されます。

点点

- 電子書籍への無制限アクセス
  
  オーディオブックへの無制限アクセス
  
  契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions
  
  お好みのオーディオブックに毎月1クレジットを取得
  
  契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions
  
  電子書籍への無制限アクセス
  
  オーディオブックへの無制限アクセス
  
  契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions
  オーディオブック
  − ,
  
  発売日:
  
  . 契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions.
  
  予約注文する
  オーディオブック月 1 冊
  
  + 30 日間無料お試し
  
  スペシャルオファー
  
  お好きなオーディオブックと交換できるチケットが毎月１枚もらえます。
  
  *いつでも自由に解約できます
  
  無料

点点

電子書籍への無制限アクセス

オーディオブックへの無制限アクセス

契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions

お好みのオーディオブックに毎月1クレジットを取得

契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions

電子書籍への無制限アクセス

オーディオブックへの無制限アクセス

契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions
オーディオブック
− ,

発売日:
. 契約なし、いつでもキャンセル可能 kobo.com/account/subscriptions.

予約注文する
オーディオブック月 1 冊

+ 30 日間無料お試し

スペシャルオファー

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

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

無料

おすすめ

Intelligent Human Computer Interaction

8th International Conference, IHCI 2016, Pilani, India, December 12-13, 2016, Proceedings

編集 Anupam Basu, Sukhendu Das, Patrick Horain, Samit Bhattacharya ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 8th International Conference on Intelligent Human Computer Interaction, IHCI 2016, held in Pilani, India, in December 2016. The 22 regular papers and 3 abstracts of invited talks included in this volume were carefully reviewed and selected from 115 initial submissions. They deal with intelligent interfaces; brain machine interaction; HCI applications ... もっと見る

6,076 円

This book constitutes the proceedings of the 8th International Conference on Intelligent Human Computer Interaction, IHCI 2016, held in Pilani, India, in December 2016. The 22 regular papers and 3 abstracts of invited talks included in this volume were carefully reviewed and selected from 115 initial submissions. They deal with intelligent interfaces; brain machine interaction; HCI applications
... もっと見る
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 19-22, 2017, Proceedings

編集 Jean-Marie Jacquet, Mieke Massink ...

シリーズ series Springer Nature Proceedings Computer Science
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.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers ... もっと見る

6,076 円

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.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers
... もっと見る
Design, User Experience, and Usability: Novel User Experiences

5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part II

編集 Aaron Marcus ...

シリーズ本: 2 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences. The total of 1287 papers presented at the HCII 2016 ... もっと見る

6,076 円

The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences. The total of 1287 papers presented at the HCII 2016
... もっと見る
System Analysis and Modeling. Technology-Specific Aspects of Models

9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

編集 Steffen Herbold, Jens Grabowski ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of ... もっと見る

6,076 円

This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of
... もっと見る
Advances in Multimedia Information Processing - PCM 2016

17th Pacific-Rim Conference on Multimedia, Xi´ an, China, September 15-16, 2016, Proceedings, Part II

編集 Enqing Chen, Yihong Gong, Yun Tie ...

シリーズ本: 2 - Springer Nature Proceedings Computer Science
The two-volume proceedings LNCS 9916 and 9917, constitute the proceedings of the 17th Pacific-Rim Conference on Multimedia, PCM 2016, held in Xi`an, China, in September 2016.The total of 128 papers presented in these proceedings was carefully reviewed and selected from 202 submissions.The focus of the conference was as follows in multimedia content analysis, multimedia signal processing and ... もっと見る

6,076 円

The two-volume proceedings LNCS 9916 and 9917, constitute the proceedings of the 17th Pacific-Rim Conference on Multimedia, PCM 2016, held in Xi`an, China, in September 2016.The total of 128 papers presented in these proceedings was carefully reviewed and selected from 202 submissions.The focus of the conference was as follows in multimedia content analysis, multimedia signal processing and
... もっと見る
Computer Vision - ACCV 2014 Workshops

Singapore, Singapore, November 1-2, 2014, Revised Selected Papers, Part II

編集 C.V. Jawahar, Shiguang Shan ...

シリーズ本: 2 - Springer Nature Proceedings Computer Science
The three-volume set, consisting of LNCS 9008, 9009, and 9010, contains carefully reviewed and selected papers presented at 15 workshops held in conjunction with the 12th Asian Conference on Computer Vision, ACCV 2014, in Singapore, in November 2014. The 153 full papers presented were selected from numerous submissions. LNCS 9008 contains the papers selected for the Workshop on Human Gait and ... もっと見る

6,076 円

The three-volume set, consisting of LNCS 9008, 9009, and 9010, contains carefully reviewed and selected papers presented at 15 workshops held in conjunction with the 12th Asian Conference on Computer Vision, ACCV 2014, in Singapore, in November 2014. The 153 full papers presented were selected from numerous submissions. LNCS 9008 contains the papers selected for the Workshop on Human Gait and
... もっと見る
Design, User Experience, and Usability: Design Discourse

4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part I

編集 Aaron Marcus ...

シリーズ本: 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 9186, 9187, and 9188 constitutes the proceedings of the 4th International Conference on Design, User Experience, and Usability, DUXU 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA, in August 2015, jointly with 13 other thematically similar conferences. The total of 1462 papers and 246 posters ... もっと見る

6,076 円

The three-volume set LNCS 9186, 9187, and 9188 constitutes the proceedings of the 4th International Conference on Design, User Experience, and Usability, DUXU 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA, in August 2015, jointly with 13 other thematically similar conferences. The total of 1462 papers and 246 posters
... もっと見る
Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

編集 Bernd Fischer, Jaco Geldenhuys ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are
... もっと見る
Human Behavior Understanding

6th International Workshop, HBU 2015, Osaka, Japan, September 8, 2015, Proceedings

編集 Diane J. Cook, Ben J.A. Kröse, Albert Ali Salah ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 6th International Workshop on Human Behavior Understanding, HBU 2015, held in Osaka, Japan, in September 2015.The 11 full papers were carefully reviewed and selected from 15 initial submissions. They are organized in topical sections named: interaction with elderly, learning behavior patterns, and mobile solutions. ... もっと見る

4,862 円

This book constitutes the proceedings of the 6th International Workshop on Human Behavior Understanding, HBU 2015, held in Osaka, Japan, in September 2015.The 11 full papers were carefully reviewed and selected from 15 initial submissions. They are organized in topical sections named: interaction with elderly, learning behavior patterns, and mobile solutions.
... もっと見る
Case-Based Reasoning Research and Development

23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings

編集 Eyke Hüllermeier, Mirjam Minor ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Conference on Case-Based Reasoning Research and Development, ICCBR 2015, held in Frankfurt am Main, Germany, in September 2015.The 26 revised full papers presented were carefully reviewed and selected from 37 submissions. The papers cover a wide range of CBR topics that are of interest both to researchers and practitioners ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 23rd International Conference on Case-Based Reasoning Research and Development, ICCBR 2015, held in Frankfurt am Main, Germany, in September 2015.The 26 revised full papers presented were carefully reviewed and selected from 37 submissions. The papers cover a wide range of CBR topics that are of interest both to researchers and practitioners
... もっと見る
Advances in Multimedia Information Processing -- PCM 2015

16th Pacific-Rim Conference on Multimedia, Gwangju, South Korea, September 16-18, 2015, Proceedings, Part I

編集 Yo-Sung Ho, Jitao Sang, Yong Man Ro, Junmo Kim, Fei Wu ...

シリーズ本: 1 - Springer Nature Proceedings Computer Science
The two-volume proceedings LNCS 9314 and 9315, constitute the proceedings of the 16th Pacific-Rim Conference on Multimedia, PCM 2015, held in Gwangju, South Korea, in September 2015.The total of 138 full and 32 short papers presented in these proceedings was carefully reviewed and selected from 224 submissions. The papers were organized in topical sections named: image and audio processing; ... もっと見る

6,076 円

The two-volume proceedings LNCS 9314 and 9315, constitute the proceedings of the 16th Pacific-Rim Conference on Multimedia, PCM 2015, held in Gwangju, South Korea, in September 2015.The total of 138 full and 32 short papers presented in these proceedings was carefully reviewed and selected from 224 submissions. The papers were organized in topical sections named: image and audio processing;
... もっと見る
Learning and Collaboration Technologies. Technology in Education

4th International Conference, LCT 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

編集 Panayiotis Zaphiris, Andri Ioannou ...

シリーズ本: 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10295 and 10296 constitute the refereed proceedings of the 4th International Conference on Learning and Collaboration Technologies, LCT 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, in conjunction with 15 thematically similar conferences. The 1228 papers presented at the HCII 2017 ... もっと見る

8,507 円

The two-volume set LNCS 10295 and 10296 constitute the refereed proceedings of the 4th International Conference on Learning and Collaboration Technologies, LCT 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, in conjunction with 15 thematically similar conferences. The 1228 papers presented at the HCII 2017
... もっと見る
Augmented Reality, Virtual Reality, and Computer Graphics

4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II

編集 Patrick Bourdot, Lucio Tommaso De Paolis, Antonio Mongelli ...

シリーズ本: 2 - Springer Nature Proceedings Computer Science
The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017.The 54 full papers and 24 short papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in the following topical sections: virtual ... もっと見る

6,076 円

The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017.The 54 full papers and 24 short papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in the following topical sections: virtual
... もっと見る
Interactive Storytelling

9th International Conference on Interactive Digital Storytelling, ICIDS 2016, Los Angeles, CA, USA, November 15–18, 2016, Proceedings

編集 Frank Nack, Andrew S. Gordon ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Digital Storytelling, ICIDS 2016, held in Los Angeles, CA, USA, in November 2016.The 26 revised full papers and 8 short papers presented together with 9 posters, 4 workshop, and 3 demonstration papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Digital Storytelling, ICIDS 2016, held in Los Angeles, CA, USA, in November 2016.The 26 revised full papers and 8 short papers presented together with 9 posters, 4 workshop, and 3 demonstration papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical
... もっと見る
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

編集 Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non ... もっと見る

6,076 円

This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non
... もっと見る
Computer Safety, Reliability, and Security

36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

編集 Erwin Schoitsch, Stefano Tonetta, Friedemann Bitsch ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and
... もっと見る
PRIMA 2017: Principles and Practice of Multi-Agent Systems

20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

編集 Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase
... もっと見る
Computational Intelligence in Music, Sound, Art and Design

7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings

編集 Antonios Liapis, Juan Jesús Romero Cardalda, Anikó Ekárt ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2018, held in Parma, Italy, in April 2018, co-located with the Evo*2017 events EuroGP, EvoCOP and EvoApplications.The 21 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers cover a wide range of topics ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 7th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2018, held in Parma, Italy, in April 2018, co-located with the Evo*2017 events EuroGP, EvoCOP and EvoApplications.The 21 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers cover a wide range of topics
... もっと見る
Web Engineering

18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

編集 Tommi Mikkonen, Ralf Klamma, Juan Hernández ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Web Engineering, ICWE 2018, held in Cáceres, Spain, in June 2018.The 18 full research papers and 17 short papers presented together with 2 practice papers, 6 demonstration papers, and 5 tutorials were carefully reviewed and selected from 103 submissions. The papers cover research areas such as Web application ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 18th International Conference on Web Engineering, ICWE 2018, held in Cáceres, Spain, in June 2018.The 18 full research papers and 17 short papers presented together with 2 practice papers, 6 demonstration papers, and 5 tutorials were carefully reviewed and selected from 103 submissions. The papers cover research areas such as Web application
... もっと見る
Distributed, Ambient and Pervasive Interactions: Technologies and Contexts

6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

編集 Norbert Streitz, Shin’ichi Konomi ...

シリーズ本: 2 - Springer Nature Proceedings Computer Science
This two volume set constitutes the refereed proceedings of the 6th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, held in Las Vegas, NV, USA in July 2018. The total of 1171 papers and 160 posters presented at the 14 colocated HCII 2018 conferences.The papers were ... もっと見る

6,076 円

This two volume set constitutes the refereed proceedings of the 6th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, held in Las Vegas, NV, USA in July 2018. The total of 1171 papers and 160 posters presented at the 14 colocated HCII 2018 conferences.The papers were
... もっと見る
Rules and Reasoning

Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

編集 Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 10 full research papers presented together ... もっと見る

6,076 円

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 10 full research papers presented together
... もっと見る
Static Analysis

25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

編集 Andreas Podelski ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program
... もっと見る
Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

編集 Falk Howar, Jiří Barnat ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in ... もっと見る

6,076 円

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in
... もっと見る
AI*IA 2018 – Advances in Artificial Intelligence

XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings

編集 Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso ...

シリーズ series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018.The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge ... もっと見る

6,076 円

This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018.The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge
... もっと見る

楽天Kobo

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

プログラミング電子書籍

Intelligent Human Computer Interaction

Coordination Models and Languages

Design, User Experience, and Usability: Novel User Experiences

System Analysis and Modeling. Technology-Specific Aspects of Models

Advances in Multimedia Information Processing - PCM 2016

Computer Vision - ACCV 2014 Workshops

Design, User Experience, and Usability: Design Discourse

Model Checking Software

Human Behavior Understanding

Case-Based Reasoning Research and Development

Advances in Multimedia Information Processing -- PCM 2015

Learning and Collaboration Technologies. Technology in Education

Augmented Reality, Virtual Reality, and Computer Graphics

Interactive Storytelling

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Computer Safety, Reliability, and Security

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Computational Intelligence in Music, Sound, Art and Design

Web Engineering

Distributed, Ambient and Pervasive Interactions: Technologies and Contexts

Rules and Reasoning

Static Analysis

Formal Methods for Industrial Critical Systems

AI*IA 2018 – Advances in Artificial Intelligence

電子書籍リーダー

アプリ

アクセサリー

カート

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

買い物かごは空です

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

発売日:

オーディオブック月 1 冊

+ 30 日間無料お試し

おすすめ

プログラミング 電子書籍

プログラミング電子書籍