Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Dongol, Brijesh (EDT)/ Petre, Luigia (EDT)/ Smith, Graeme (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
3D Research Challenges in Cultural Heritage V : Paradata, Metadata and Data in Digitisation (Lecture Notes in Computer Science)
  • 洋書

3D Research Challenges in Cultural Heritage V : Paradata, Metadata and Data in Digitisation (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ioannides, Marinos (EDT)/ Baker, Drew (EDT)/ Agapiou, Athos (EDT)

  • ウェブストア価格 ¥9,717(本体¥8,834)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 88pt
  • 海外からお取り寄せ(通常6~9週間)
Modelling and Simulation for Autonomous Systems : 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Modelling and Simulation for Autonomous Systems : 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Mazal, Jan (EDT)/ Fagiolini, Adriano (EDT)/ Vašík, Petr (EDT)

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 171pt
  • 海外取次在庫
Human-Computer Interaction - INTERACT 2023 : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Human-Computer Interaction - INTERACT 2023 : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Abdelnour Nocera, José (EDT)/ Kristín Lárusdóttir, Marta (EDT)/ Petrie, Helen (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 209pt
  • 海外取次在庫
Human-Computer Interaction - INTERACT 2023 : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Human-Computer Interaction - INTERACT 2023 : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Abdelnour Nocera, José (EDT)/ Kristín Lárusdóttir, Marta (EDT)/ Petrie, Helen (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 209pt
  • 海外取次在庫
Human-Computer Interaction - INTERACT 2023 : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Human-Computer Interaction - INTERACT 2023 : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Abdelnour Nocera, José (EDT)/ Kristín Lárusdóttir, Marta (EDT)/ Petrie, Helen (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 209pt
  • 海外取次在庫
Human-Computer Interaction - INTERACT 2023 : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Human-Computer Interaction - INTERACT 2023 : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Abdelnour Nocera, José (EDT)/ Kristín Lárusdóttir, Marta (EDT)/ Petrie, Helen (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 209pt
  • 海外取次在庫
Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Petrucci, Laure (EDT)/ Sproston, Jeremy (EDT)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 114pt
  • 海外取次在庫
ICT Education : 52nd Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2023, Gauteng, South Africa, July 19-21, 2023, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

ICT Education : 52nd Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2023, Gauteng, South Africa, July 19-21, 2023, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Van Rensburg, Henri Emil (EDT)/ Snyman, Dirk Petrus (EDT)/ Drevin, Lynette (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 133pt
  • 海外取次在庫
Design for Equality and Justice : INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28 - September 1, 2023, Revised Selected Papers, Part I (Lecture Notes in Computer Science) (2024)
  • 洋書

Design for Equality and Justice : INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28 - September 1, 2023, Revised Selected Papers, Part I (Lecture Notes in Computer Science) (2024)  Paperback

Bramwell-Dicks, Anna (EDT)/ Evans, Abigail (EDT)/ Winckler, Marco (EDT)

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 162pt
  • 海外からお取り寄せ(通常6~9週間)
Artificial Intelligence Trends in Intelligent Systems : Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 1 (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり

Artificial Intelligence Trends in Intelligent Systems : Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 1 (Advances in Intelligent Systems and Computing)  Paperback,  言語:ENG

Silhavy, Radek (EDT)/ Senkerik, Roman (EDT)/ Kominkova Oplatkova, Zuzana (EDT)

  • Springer International Publishing AG(2017/04発売)
  • ご注文いただけません
Datenschutz : Einführung in technischen Datenschutz, Datenschutzrecht und angewandte Kryptographie (2ND)
  • 洋書

Datenschutz : Einführung in technischen Datenschutz, Datenschutzrecht und angewandte Kryptographie (2ND)  Paperback

Petrlic, Ronald/ Sorge, Christoph/ Ziebarth, Wolfgang

  • ウェブストア価格 ¥8,388(本体¥7,626)
  • Springer Vieweg(2023/01発売)
  • ポイント 76pt
  • 海外取次在庫
Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection : 7th International Conference, EuroMed 2018, Nicosia, Cyprus, October 29-November 3, 2018, Proceedings, Part I (Information Systems and Applications, incl. (2018)
  • 洋書
  • 電子版あり

Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection : 7th International Conference, EuroMed 2018, Nicosia, Cyprus, October 29-November 3, 2018, Proceedings, Part I (Information Systems and Applications, incl. (2018)  Paperback,  言語:ENG

Ioannides, Marinos (EDT)/ Fink, Eleanor (EDT)/ Brumana, Raffaella (EDT)

  • ウェブストア価格 ¥27,270(本体¥24,791)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 247pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Stabilization, Safety, and Security of Distributed Systems : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Stabilization, Safety, and Security of Distributed Systems : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Izumi, Taisuke (EDT)/ Kuznetsov, Petr (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Security Protocols XXVI : 26th International Workshop, Cambridge, UK, March 19-21, 2018, Revised Selected Papers (Security and Cryptology)
  • 洋書
  • 電子版あり

Security Protocols XXVI : 26th International Workshop, Cambridge, UK, March 19-21, 2018, Revised Selected Papers (Security and Cryptology)  Paperback,  言語:ENG

Matyáš, Vashek (EDT)/ Švenda, Petr (EDT)/ Stajano, Frank (EDT)

  • Springer Nature Switzerland AG(2018/11発売)
  • ご注文いただけません
Human-Computer Interaction - INTERACT 2019 : 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part I (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Human-Computer Interaction - INTERACT 2019 : 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part I (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Lamas, David (EDT)/ Loizides, Fernando (EDT)/ Nacke, Lennart (EDT)

  • ウェブストア価格 ¥35,874(本体¥32,613)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 326pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Technology: Methods and Tools : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Software Technology: Methods and Tools : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Mazzara, Manuel (EDT)/ Bruel, Jean-Michel (EDT)/ Meyer, Bertrand (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence XXXVI : 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17-19, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Artificial Intelligence XXXVI : 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17-19, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bramer, Max (EDT)/ Petridis, Miltos (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Modelling and Simulation for Autonomous Systems : 6th International Conference, MESAS 2019, Palermo, Italy, October 29-31, 2019, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Modelling and Simulation for Autonomous Systems : 6th International Conference, MESAS 2019, Palermo, Italy, October 29-31, 2019, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Mazal, Jan (EDT)/ Fagiolini, Adriano (EDT)/ Vasik, Petr (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Hofstedt, Petra (EDT)/ Abreu, Salvador (EDT)/ John, Ulrich (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/04発売)
  • ポイント 104pt
  • 海外取次在庫