Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6371) (2010. XII, 231 S.)
  • 洋書

Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6371) (2010. XII, 231 S.)  Paperback

Herausgegeben von Kowalewski, Stefan/ Roveri, Marco

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 115pt
  • 海外取次在庫
Semantic Web Rules : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6403) (2010. XIII, 305 S.)
  • 洋書

Semantic Web Rules : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6403) (2010. XIII, 305 S.)  Paperback

Herausgegeben von Dean, Mike/ Hall, John/ Rotolo, Antonino/ Tabet, Said

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 115pt
  • 海外取次在庫
Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering .7230) (2012. 2012. XIII, 355 S. 45 SW-Abb. 235 mm)
  • 洋書

Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering .7230) (2012. 2012. XIII, 355 S. 45 SW-Abb. 235 mm)  Paperback

Herausgegeben von Constable, Robert L./ Silva, Alexandra

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 115pt
  • 海外取次在庫
NETWORKING 2012 Workshops (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7291) (2012. 2012. XVI, 158 S.)
  • 洋書

NETWORKING 2012 Workshops (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7291) (2012. 2012. XVI, 158 S.)  Paperback

Herausgegeben von Becvar, Zdenek/ Bestak, Robert/ Kencl, Lukas

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 115pt
  • 海外取次在庫
NETWORKING 2012 : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7289) (2012. 2012. XXII, 425 S.)
  • 洋書

NETWORKING 2012 : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7289) (2012. 2012. XXII, 425 S.)  Paperback

Herausgegeben von Bestak, Robert/ Kencl, Lukas/ Li, Li Erran/ Widmer, Joerg/ Yin, Hao

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 115pt
  • 海外取次在庫
NETWORKING 2012 : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part II (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7290) (2012. 2012. XXII, 425 S.)
  • 洋書

NETWORKING 2012 : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part II (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7290) (2012. 2012. XXII, 425 S.)  Paperback

Herausgegeben von Bestak, Robert/ Kencl, Lukas/ Li, Li Erran/ Widmer, Joerg/ Yin, Hao

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 115pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part I (Lecture Notes in Computer Science) (2023)
  • 洋書

Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part I (Lecture Notes in Computer Science) (2023)  Paperback,  言語:ENG

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Rocha, Ana Maria A. C. (EDT)

  • ウェブストア価格 ¥22,455(本体¥20,414)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 204pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Rocha, Ana Maria A. C. (EDT)

  • ウェブストア価格 ¥20,413(本体¥18,558)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 185pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part VII (Lecture Notes in Computer Science)
  • 洋書

Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part VII (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Rocha, Ana Maria A. C. (EDT)

  • ウェブストア価格 ¥18,372(本体¥16,702)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 167pt
  • 海外取次在庫
Information and Communications Security : 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings (Security and Cryptology)
  • 洋書
  • 電子版あり

Information and Communications Security : 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings (Security and Cryptology)  Paperback,  言語:ENG

Naccache, David (EDT)/ Xu, Shouhuai (EDT)/ Qing, Sihan (EDT)

  • Springer Nature Switzerland AG(2018/10発売)
  • ご注文いただけません
Computer Vision - ECCV 2018 Workshops : Munich, Germany, September 8-14, 2018, Proceedings, Part V (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Computer Vision - ECCV 2018 Workshops : Munich, Germany, September 8-14, 2018, Proceedings, Part V (Lecture Notes in Computer Science)  Paperback

Leal-Taixe, Laura (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 102pt
  • 海外取次在庫
Computer Vision - ECCV 2018 Workshops : Munich, Germany, September 8-14, 2018, Proceedings, Part VI (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり

Computer Vision - ECCV 2018 Workshops : Munich, Germany, September 8-14, 2018, Proceedings, Part VI (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Leal-Taixe, Laura (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Membrane Computing : 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Membrane Computing : 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback

Hinze, Thomas (EDT)/ Rozenberg, Grzegorz (EDT)/ Salomaa, Arto (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 102pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Foundations and Practice of Security : 12th International Symposium, FPS 2019, Toulouse, France, November 5-7, 2019, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Foundations and Practice of Security : 12th International Symposium, FPS 2019, Toulouse, France, November 5-7, 2019, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Benzekri, Abdelmalek (EDT)/ Barbeau, Michel (EDT)/ Gong, Guang (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2020/04発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Science and Its Applications - ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VII (Theoretical Computer Science and General Issues)
  • 洋書

Computational Science and Its Applications - ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VII (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Misra, Sanjay (EDT)

  • ウェブストア価格 ¥22,455(本体¥20,414)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 204pt
  • 海外取次在庫
Computational Intelligence in Music, Sound, Art and Design : 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Computational Intelligence in Music, Sound, Art and Design : 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Liapis, Antonios (EDT)/ Romero Cardalda, Juan Jesús (EDT)/ Ekárt, Anikó (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology -- CRYPTO 2011 : 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011, Proceedings (Lecture Notes in Computer Science / Security and Cryptology .6841) (2011. XV, 782 S. 235 mm)
  • 洋書
Privacy and Identity Management for Life : 6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Helsingborg, Sweden, August 2-6, 2010, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2011)
  • 洋書

Privacy and Identity Management for Life : 6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Helsingborg, Sweden, August 2-6, 2010, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2011)  Paperback,  言語:ENG

Fischer-Hübner, Simone (EDT)/ Duquenoy, Penny (EDT)/ Hansen, Marit (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ご注文いただけません
Building Innovation Pipelines through Computer-Aided Innovation : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011, Proceedings (Ifip Advances in Information and Communication Technology) (2011)
  • 洋書

Building Innovation Pipelines through Computer-Aided Innovation : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011, Proceedings (Ifip Advances in Information and Communication Technology) (2011)  Paperback,  言語:ENG

Cavallucci, Denis (EDT)/ de Guio, Roland (EDT)/ Cascini, Gaetano (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ご注文いただけません