Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609) (2012. 2012. XIII, 618 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609) (2012. 2012. XIII, 618 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
New Era for Robust Speech Recognition : Exploiting Deep Learning
  • 洋書

New Era for Robust Speech Recognition : Exploiting Deep Learning  Paperback,  言語:ENG

Watanabe, Shinji (EDT)/ Delcroix, Marc (EDT)/ Metze, Florian (EDT)

  • ウェブストア価格 ¥40,829(本体¥37,118)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 371pt
  • 海外取次在庫
Systems, Software and Services Process Improvement : 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Systems, Software and Services Process Improvement : 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings (Communications in Computer and Information Science)  Paperback

Stolfa, Jakub (EDT)/ Stolfa, Svatopluk (EDT)/ O'Connor, Rory (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Interactive Collaborative Robotics : Second International Conference, ICR 2017, Hatfield, UK, September 12-16, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Interactive Collaborative Robotics : Second International Conference, ICR 2017, Hatfield, UK, September 12-16, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback

Ronzhin, Andrey (EDT)/ Rigoll, Gerhard (EDT)/ Meshcheryakov, Roman (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Interactive Collaborative Robotics : 4th International Conference, ICR 2019, Istanbul, Turkey, August 20-25, 2019, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Interactive Collaborative Robotics : 4th International Conference, ICR 2019, Istanbul, Turkey, August 20-25, 2019, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Ronzhin, Andrey (EDT)/ Rigoll, Gerhard (EDT)/ Meshcheryakov, Roman (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 102pt
  • 海外取次在庫
Interactive Collaborative Robotics : Third International Conference, ICR 2018, Leipzig, Germany, September 18-22, 2018, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Interactive Collaborative Robotics : Third International Conference, ICR 2018, Leipzig, Germany, September 18-22, 2018, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Ronzhin, Andrey (EDT)/ Rigoll, Gerhard (EDT)/ Meshcheryakov, Roman (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
MultiMedia Modeling : 25th International Conference, MMM 2019, Thessaloniki, Greece, January 8-11, 2019, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

MultiMedia Modeling : 25th International Conference, MMM 2019, Thessaloniki, Greece, January 8-11, 2019, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Kompatsiaris, Ioannis (EDT)/ Huet, Benoit (EDT)/ Mezaris, Vasileios (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2018/12発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Transactions on Computational Collective Intelligence XXXIV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Transactions on Computational Collective Intelligence XXXIV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nguyen, Ngoc Thanh (EDT)/ Kowalczyk, Ryszard (EDT)/ Mercik, Jacek (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2019/11発売)
  • ポイント 102pt
  • 海外取次在庫
Transactions on Computational Collective Intelligence XXXV (Lecture Notes in Computer Science)
  • 洋書

Transactions on Computational Collective Intelligence XXXV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nguyen, Ngoc Thanh (EDT)/ Kowalczyk, Ryszard (EDT)/ Mercik, Jacek (EDT)

  • ウェブストア価格 ¥13,268(本体¥12,062)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2020/08発売)
  • ポイント 120pt
  • 海外取次在庫
Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6158) (2010. XIV, 450 S.)
  • 洋書

Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6158) (2010. XIV, 450 S.)  Paperback,  言語:ENG

Herausgegeben von Ferreira, Fernando/ Loewe, Benedikt/ Mayordomo, Elvira/ Mendes Gomes, Lu

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 115pt
  • 海外取次在庫
Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7486) (2012. 2012. 228 S.)
  • 洋書

Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7486) (2012. 2012. 228 S.)  Paperback

Herausgegeben von Fisher, Michael/ van der Torre, Leon/ Dastani, Mehdi/ Governatori, Guido

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Text Processing : FIRE 2016 International Workshop, Kolkata, India, December 7-10, 2016, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Text Processing : FIRE 2016 International Workshop, Kolkata, India, December 7-10, 2016, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Majumder, Prasenjit (EDT)/ Mitra, Mandar (EDT)/ Mehta, Parth (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 102pt
  • 海外取次在庫
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised Selected Papers (Lecture Notes i
  • 洋書
  • 電子版あり

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised Selected Papers (Lecture Notes i  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 102pt
  • 海外取次在庫
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers (Programming and Sof
  • 洋書
  • 電子版あり

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers (Programming and Sof  Paperback

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

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 102pt
  • 海外取次在庫
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,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Blackburn, Patrick (EDT)/ Lorini, Emiliano (EDT)/ Guo, Meiyun (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2019/09発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Open Source Systems : 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019, Proceedings (Ifip Advances in Information and Communication Technology) (2019)
  • 洋書

Open Source Systems : 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019, Proceedings (Ifip Advances in Information and Communication Technology) (2019)  Paperback,  言語:ENG

Bordeleau, Francis (EDT)/ Sillitti, Alberto (EDT)/ Meirelles, Paulo (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 102pt
  • 海外取次在庫
Fetal, Infant and Ophthalmic Medical Image Analysis : International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings (Image Processing, Compu
  • 洋書
  • 電子版あり

Fetal, Infant and Ophthalmic Medical Image Analysis : International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings (Image Processing, Compu  Paperback

Cardoso, M. Jorge (EDT)/ Arbel, Tal (EDT)/ Melbourne, Andrew (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Frontiers in Algorithmics : 13th International Workshop, FAW 2019, Sanya, China, April 29 - May 3, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Frontiers in Algorithmics : 13th International Workshop, FAW 2019, Sanya, China, April 29 - May 3, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Chen, Yijia (EDT)/ Deng, Xiaotie (EDT)/ Lu, Mei (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。