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発売)
  • ご注文いただけません
Advances in Soft Computing : 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22-27, 2018, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Soft Computing : 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22-27, 2018, Proceedings, Part I (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Batyrshin, Ildar (EDT)/ Martínez-Villaseñor, María de Lourdes (EDT)/ Ponce Espinosa, Hiram Eredín (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 218pt
  • 海外取次在庫
Advances in Computational Intelligence : 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22-27, 2018, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Computational Intelligence : 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22-27, 2018, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Batyrshin, Ildar (EDT)/ Martínez-Villaseñor, María de Lourdes (EDT)/ Ponce Espinosa, Hiram Eredín (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Theoretical Computer Science and General Issues) (2019)
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)/ Kordon, Fabrice (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Concept Analysis : 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings (Lecture Notes in Artificial Intelligence) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Concept Analysis : 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings (Lecture Notes in Artificial Intelligence) (2019)  Paperback,  言語:ENG

Cristea, Diana (EDT)/ Le Ber, Florence (EDT)/ Sertkaya, Baris (EDT)

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 298pt
  • 海外取次在庫
Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)  Paperback

Lutz, Carsten (EDT)/ Sattler, Uli (EDT)/ Tinelli, Cesare (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence in Education : 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Intelligence in Education : 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part I (Lecture Notes in Artificial Intelligence)  Paperback

Isotani, Seiji (EDT)/ Millán, Eva (EDT)/ Ogan, Amy (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 478pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence in Education : 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Intelligence in Education : 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Isotani, Seiji (EDT)/ Millán, Eva (EDT)/ Ogan, Amy (EDT)

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 358pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Computer Mathematics : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intelligent Computer Mathematics : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Kaliszyk, Cezary (EDT)/ Brady, Edwin (EDT)/ Kohlhase, Andrea (EDT)

  • Springer Nature Switzerland AG(2019/07発売)
  • ご注文いただけません
Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerrito, Serenella (EDT)/ Popescu, Andrei (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Architecture : 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Software Architecture : 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Bures, Tomas (EDT)/ Duchien, Laurence (EDT)/ Inverardi, Paola (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 258pt
  • 海外取次在庫
Wired/Wireless Internet Communications : 17th IFIP WG 6.2 International Conference, WWIC 2019, Bologna, Italy, June 17-18, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Wired/Wireless Internet Communications : 17th IFIP WG 6.2 International Conference, WWIC 2019, Bologna, Italy, June 17-18, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Di Felice, Marco (EDT)/ Natalizio, Enrico (EDT)/ Bruno, Raffaele (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Image Analysis and Processing - ICIAP 2019 : 20th International Conference, Trento, Italy, September 9-13, 2019, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Image Analysis and Processing - ICIAP 2019 : 20th International Conference, Trento, Italy, September 9-13, 2019, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ricci, Elisa (EDT)/ Rota Bulò, Samuel (EDT)/ Snoek, Cees (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ McIver, Annabelle (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Fantechi, Alessandro (EDT)/ Semini, Laura (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 218pt
  • 海外取次在庫
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bartocci, Ezio (EDT)/ Cleaveland, Rance (EDT)/ Grosu, Radu (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Medical Image Computing and Computer Assisted Intervention - MICCAI 2019 : 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part VI (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Medical Image Computing and Computer Assisted Intervention - MICCAI 2019 : 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part VI (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Shen, Dinggang (EDT)/ Liu, Tianming (EDT)/ Peters, Terry M. (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 438pt
  • 海外取次在庫
Medical Image Computing and Computer Assisted Intervention - MICCAI 2019 : 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Medical Image Computing and Computer Assisted Intervention - MICCAI 2019 : 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Shen, Dinggang (EDT)/ Liu, Tianming (EDT)/ Peters, Terry M. (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 438pt
  • 海外取次在庫
Languages and Compilers for Parallel Computing : 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Languages and Compilers for Parallel Computing : 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Rauchwerger, Lawrence (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms and Architectures for Parallel Processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Algorithms and Architectures for Parallel Processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Wen, Sheng (EDT)/ Zomaya, Albert (EDT)/ Yang, Laurence T. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。