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)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Information and Database Systems : 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Intelligent Information and Database Systems : 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part II (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Nguyen, Ngoc Thanh (EDT)/ Jearanaitanakij, Kietikul (EDT)/ Selamat, Ali (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Communication Technologies for Vehicles : 15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16-17, 2020, Proceedings (Computer Communication Networks and Telecommunications)
  • 洋書

Communication Technologies for Vehicles : 15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16-17, 2020, Proceedings (Computer Communication Networks and Telecommunications)  Paperback,  言語:ENG

Krief, Francine (EDT)/ Aniss, Hasnaâ (EDT)/ Mendiboure, Léo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advanced Language Technologies for Digital Libraries (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6699) (2011. XI, 171 S. 235 mm)
  • 洋書

Advanced Language Technologies for Digital Libraries (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6699) (2011. XI, 171 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Bernardi, Raffaella/ Segond, Frederique/ Zaihrayeu, Ilya

  • SPRINGER, BERLIN(2011発売)
  • ご注文いただけません
E-Librarian Service : User-Friendly Semantic Search in Digital Libraries (X.media.publishing) (2011)
  • 洋書

E-Librarian Service : User-Friendly Semantic Search in Digital Libraries (X.media.publishing) (2011)  Paperback,  言語:ENG

Linckels, Serge/ Meinel, Christoph

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 104pt
  • 海外取次在庫
Big Data Technologies for Monitoring of Computer Security: a Case Study of the Russian Federation
  • 洋書

Big Data Technologies for Monitoring of Computer Security: a Case Study of the Russian Federation  Paperback

Petrenko, Sergei

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 208pt
  • 海外取次在庫
Foraging-Inspired Optimisation Algorithms (Natural Computing Series)
  • 洋書

Foraging-Inspired Optimisation Algorithms (Natural Computing Series)  Paperback,  言語:ENG

Brabazon, Anthony/ McGarraghy, Seán

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

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • 海外取次在庫
Multimedia Signals and Systems : Basic and Advanced Algorithms for Signal Processing (2ND)
  • 洋書

Multimedia Signals and Systems : Basic and Advanced Algorithms for Signal Processing (2ND)  Paperback

Stanković, Srdjan/ Orović, Irena/ Sejdić, Ervin

  • ウェブストア価格 ¥29,170(本体¥26,519)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 265pt
  • 海外取次在庫
Digital Logic for Computing
  • 洋書

Digital Logic for Computing  Paperback

Seiffertt, John

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 104pt
  • 海外取次在庫
Compiler Design : Analysis and Transformation
  • 洋書

Compiler Design : Analysis and Transformation  Paperback

Seidl, Helmut/ Wilhelm, Reinhard/ Hack, Sebastian

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/08発売)
  • ポイント 151pt
  • 海外取次在庫
Conceptual Exploration
  • 洋書

Conceptual Exploration  Paperback

Ganter, Bernhard/ Obiedkov, Sergei

  • ウェブストア価格 ¥37,506(本体¥34,097)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2018/05発売)
  • ポイント 340pt
  • 海外取次在庫
Process Mining Workshops : ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23-28, 2022, Revised Selected Papers (Lecture Notes in Business Information Processing)
  • 洋書

Process Mining Workshops : ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23-28, 2022, Revised Selected Papers (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Montali, Marco (EDT)/ Senderovich, Arik (EDT)/ Weidlich, Matthias (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 94pt
  • 海外取次在庫
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Prevosto, Virgile (EDT)/ Seceleanu, Cristina (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 104pt
  • 海外取次在庫
Handbook of Computational Social Science for Policy (2023)
  • 洋書

Handbook of Computational Social Science for Policy (2023)  Hardcover,  言語:ENG

Bertoni, Eleonora (EDT)/ Fontana, Matteo (EDT)/ Gabrielli, Lorenzo (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 113pt
  • 海外取次在庫
Handbook of Computational Social Science for Policy (2023)
  • 洋書

Handbook of Computational Social Science for Policy (2023)  Paperback,  言語:ENG

Bertoni, Eleonora (EDT)/ Fontana, Matteo (EDT)/ Gabrielli, Lorenzo (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 94pt
  • 海外取次在庫
Locally Decodable Codes and Private Information Retrieval Schemes (Information Security and Cryptography) (2010)
  • 洋書

Locally Decodable Codes and Private Information Retrieval Schemes (Information Security and Cryptography) (2010)  Paperback,  言語:ENG

Yekhanin, Sergey

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ご注文いただけません
Self-organising Software : From Natural to Artificial Adaptation (Natural Computing Series) (2011. X, 440 p. 235 mm)
  • 洋書

Self-organising Software : From Natural to Artificial Adaptation (Natural Computing Series) (2011. X, 440 p. 235 mm)  Hardcover

Herausgegeben von Serugendo, Giovanna di Marzo/ Gleizes, Marie-Pierre/ Karageorgos, Anthony

  • SPRINGER, BERLIN(2011発売)
  • ご注文いただけません
Contemporary Research on E-business Technology and Strategy : International Conference, iCETS 2012, Tianjin, China, August 29-31, 2012, Revised Selected Papers (Communications in Computer and Information Science .332) (2012. 2012. XVI, 730 S. 235 mm)
  • 洋書

Contemporary Research on E-business Technology and Strategy : International Conference, iCETS 2012, Tianjin, China, August 29-31, 2012, Revised Selected Papers (Communications in Computer and Information Science .332) (2012. 2012. XVI, 730 S. 235 mm)  Paperback

Herausgegeben von Khachidze, Vasil/ Wang, Tim/ Siddiqui, Sohail/ Liu, Vincent/ Cappuccio, Sergio

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Programming and Software Engineering) (2013)
  • 洋書

Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 104pt
  • 海外取次在庫