Principles and Practice of Semantic Web Reasoning, PPSWR 2004 : Second International Workshop, PPSWR 2004, St. Malo, France, September 2004, Proceedings (Lecture Notes in Computer Science Vol.3208) (2004. VII, 165 p. 23,5 cm)
  • 洋書
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7358) (2012. 2012. XVI, 789 S. 235 mm)
  • 洋書

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7358) (2012. 2012. XVI, 789 S. 235 mm)  Paperback

Herausgegeben von Parthasarathy, Madhusudan/ Seshia, Sanjit A.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Applications of Declarative Programming and Knowledge Management : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers (Lecture Notes in Computer (2013)
  • 洋書
  • 電子版あり

Applications of Declarative Programming and Knowledge Management : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers (Lecture Notes in Computer (2013)  Paperback,  言語:ENG

Tompits, Hans (EDT)/ Abreu, Salvador (EDT)/ Oetsch, Johannes (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/11発売)
  • ポイント 104pt
  • 海外取次在庫
New Challenges in Distributed Information Filtering and Retrieval : DART 2011: Revised and Invited Papers (Studies in Computational Intelligence) (2013)
  • 洋書

New Challenges in Distributed Information Filtering and Retrieval : DART 2011: Revised and Invited Papers (Studies in Computational Intelligence) (2013)  Paperback

Lai, Cristian (EDT)/ Semeraro, Giovanni (EDT)/ Vargiu, Eloisa (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/09発売)
  • ご注文いただけません
Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Haxthausen, Anne E. (EDT)/ Serwe, Wendelin (EDT)

  • ウェブストア価格 ¥13,633(本体¥12,394)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 123pt
  • 海外取次在庫
IoT Streams for Data-Driven Predictive Maintenance and IoT, Edge, and Mobile for Embedded Machine Learning : Second International Workshop, IoT Streams 2020, and First International Workshop, ITEM 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium,
  • 洋書

IoT Streams for Data-Driven Predictive Maintenance and IoT, Edge, and Mobile for Embedded Machine Learning : Second International Workshop, IoT Streams 2020, and First International Workshop, ITEM 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium,  Paperback

Gama, Joao (EDT)/ Pashami, Sepideh (EDT)/ Bifet, Albert (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 190pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The Practice of Enterprise Modeling : 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書

The Practice of Enterprise Modeling : 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021, Proceedings (Lecture Notes in Business Information Processing)  Paperback

Serral, Estefanía (EDT)/ Stirna, Janis (EDT)/ Ralyté, Jolita (EDT)

  • ウェブストア価格 ¥16,780(本体¥15,255)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 152pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Lecture Notes in
  • 洋書

Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Lecture Notes in  Paperback,  言語:ENG

Lambers, Leen (EDT)/ Uchitel, Sebastián (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 95pt
  • 海外取次在庫
Selected Areas in Cryptography : 18th International Workshop, SAC 2011, Toronto, Canada, August 11-12, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology .7118) (2012. 2012. XIII, 431 S.)
  • 洋書

Selected Areas in Cryptography : 18th International Workshop, SAC 2011, Toronto, Canada, August 11-12, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology .7118) (2012. 2012. XIII, 431 S.)  Paperback

Herausgegeben von Miri, Ali/ Vaudenay, Serge

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Future Internet Testing : First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci) (2014)
  • 洋書
  • 電子版あり

Future Internet Testing : First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci) (2014)  Paperback,  言語:ENG

Vos, Tanja E.J. (EDT)/ Lakhotia, Kiran (EDT)/ Bauersfeld, Sebastian (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/06発売)
  • ポイント 104pt
  • 海外取次在庫
Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part I (Computer Communication
  • 洋書

Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part I (Computer Communication  Paperback,  言語:ENG

Galinina, Olga (EDT)/ Andreev, Sergey (EDT)/ Balandin, Sergey (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 104pt
  • 海外取次在庫
Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part II (Computer Communication
  • 洋書

Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part II (Computer Communication  Paperback,  言語:ENG

Galinina, Olga (EDT)/ Andreev, Sergey (EDT)/ Balandin, Sergey (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 104pt
  • 海外取次在庫
Chaos, Complexity and Leadership 2016 (Springer Proceedings in Complexity)
  • 洋書
  • 電子版あり

Chaos, Complexity and Leadership 2016 (Springer Proceedings in Complexity)  Hardcover

Erçetin, Şefika Şule (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 324pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
WALCOM: Algorithms and Computation : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021, Proceedings (Theoretical Computer Science and General Issues 12635) (1st ed. 2021. 2021. xv, 334 S. XV, 334 p. 108 illus., 55 illus. in col)
  • 洋書

WALCOM: Algorithms and Computation : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021, Proceedings (Theoretical Computer Science and General Issues 12635) (1st ed. 2021. 2021. xv, 334 S. XV, 334 p. 108 illus., 55 illus. in col)  Paperback,  言語:ENG

Herausgegeben:Uehara, Ryuhei/ Hong, Seok-Hee/ Nandy, Subhas C.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2021発売)
  • ポイント 120pt
  • 海外取次在庫
Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Qadeer, Shaz (EDT)/ Tasiran, Serdar (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 104pt
  • 海外取次在庫
E-Business and Telecommunications : International Joint Conference, ICETE 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers (Communications in Computer and Information Science) (2012)
  • 洋書

E-Business and Telecommunications : International Joint Conference, ICETE 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers (Communications in Computer and Information Science) (2012)  Paperback,  言語:ENG

Obaidat, Mohammad S. (EDT)/ Sevillano, José L. (EDT)/ Filipe, Joaquim (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/12発売)
  • ポイント 104pt
  • 海外取次在庫
KI 2024: Advances in Artificial Intelligence : 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

KI 2024: Advances in Artificial Intelligence : 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Hotho, Andreas (EDT)/ Rudolph, Sebastian (EDT)

  • ウェブストア価格 ¥15,732(本体¥14,302)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 143pt
  • 海外取次在庫
The Next Wave of Sociotechnical Design : 16th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2021, Kristiansand, Norway, August 4-6, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

The Next Wave of Sociotechnical Design : 16th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2021, Kristiansand, Norway, August 4-6, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Chandra Kruse, Leona (EDT)/ Seidel, Stefan (EDT)/ Hausvik, Geir Inge (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Machine Learning in Clinical Neuroimaging : 4th International Workshop, MLCN 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書

Machine Learning in Clinical Neuroimaging : 4th International Workshop, MLCN 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Abdulkadir, Ahmed (EDT)/ Kia, Seyed Mostafa (EDT)/ Habes, Mohamad (EDT)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 114pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Global Security, Safety, and Sustainability : 6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010. Proceedings (Communications in Computer and Information Science 92) (2010. XI, 301 S.)
  • 洋書

Global Security, Safety, and Sustainability : 6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010. Proceedings (Communications in Computer and Information Science 92) (2010. XI, 301 S.)  Paperback

Herausgegeben von Tenreiro de Magalhaes, Sergio/ Jahankhani, Hamid/ Hessami, Ali G.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫