Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 189pt
  • 海外取次在庫
Technologies and Applications for Big Data Value
  • 洋書

Technologies and Applications for Big Data Value  Hardcover,  言語:ENG

Curry, Edward (EDT)/ Auer, Sören (EDT)/ Berre, Arne J. (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 113pt
  • 海外取次在庫
Technologies and Applications for Big Data Value
  • 洋書

Technologies and Applications for Big Data Value  Paperback,  言語:ENG

Curry, Edward (EDT)/ Auer, Sören (EDT)/ Berre, Arne J. (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 94pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 151pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 132pt
  • 海外取次在庫
Evolutionary and Biologically Inspired Music, Sound, Art and Design : First International Conference, EvoMUSART 2012, M (Lecture Notes in Computer Science Vol.7247) (2012. XII, 236 p. 235 mm)
  • 洋書

Evolutionary and Biologically Inspired Music, Sound, Art and Design : First International Conference, EvoMUSART 2012, M (Lecture Notes in Computer Science Vol.7247) (2012. XII, 236 p. 235 mm)  Paperback

Herausgegeben von Machado, Penousal/ Romero, Juan J./ Carballal, Adrian

  • ウェブストア価格 ¥12,246(本体¥11,133)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 111pt
  • 海外取次在庫
Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6479) (2012. 2012. X, 185 S. 46 SW-Abb. 235 mm)
  • 洋書

Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6479) (2012. 2012. X, 185 S. 46 SW-Abb. 235 mm)  Paperback

Herausgegeben von Horimoto, Katsuhisa/ Nakatsui, Masahiko/ Popov, Nikolaj

  • ウェブストア価格 ¥12,246(本体¥11,133)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 111pt
  • 海外取次在庫
Security in Computer and Information Sciences : Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Security in Computer and Information Sciences : Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Gelenbe, Erol (EDT)/ Jankovic, Marija (EDT)/ Kehagias, Dionysios (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 94pt
  • 海外取次在庫
Parameterized and Exact Computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7112) (2012. 2012. VIII, 273 S. 235 mm)
  • 洋書
Evolutionary Computation in Combinatorial Optimization : 12th European Conference, EvoCOP 2012, M (Lecture Notes in Computer Science Vol.7245) (2012. XII, 264 p. 235 mm)
  • 洋書

Evolutionary Computation in Combinatorial Optimization : 12th European Conference, EvoCOP 2012, M (Lecture Notes in Computer Science Vol.7245) (2012. XII, 264 p. 235 mm)  Paperback

Herausgegeben von Hao, Jin-Kao/ Middendorf, Martin

  • ウェブストア価格 ¥12,246(本体¥11,133)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 111pt
  • 海外取次在庫
Genetic Programming : 15th European Conference, EuroGP 2012, M (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7244) (2012. 2012. XII, 279 S. 91 SW-Abb. 235 mm)
  • 洋書

Genetic Programming : 15th European Conference, EuroGP 2012, M (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7244) (2012. 2012. XII, 279 S. 91 SW-Abb. 235 mm)  Paperback

Herausgegeben von Moraglio, Alberto/ Silva, Sara/ Krawiec, Krzysztof/ Machado, Penousal/ Cotta, Carlos

  • ウェブストア価格 ¥12,246(本体¥11,133)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 111pt
  • 海外取次在庫
Artificial Intelligence Applications and Innovations : AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24-26, 2019, Proceedings (Ifip Advances in Information and Communication Technology) (2019)
  • 洋書

Artificial Intelligence Applications and Innovations : AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24-26, 2019, Proceedings (Ifip Advances in Information and Communication Technology) (2019)  Paperback,  言語:ENG

MacIntyre, John (EDT)/ Maglogiannis, Ilias (EDT)/ Iliadis, Lazaros (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 113pt
  • 海外取次在庫
Enterprise and Organizational Modeling and Simulation : 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3-4, 2019, Selected Papers (Lecture Notes in Business Information Processing) (2019)
  • 洋書
  • 電子版あり

Enterprise and Organizational Modeling and Simulation : 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3-4, 2019, Selected Papers (Lecture Notes in Business Information Processing) (2019)  Paperback,  言語:ENG

Pergl, Robert (EDT)/ Babkin, Eduard (EDT)/ Lock, Russell (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 104pt
  • 海外取次在庫
Logische und Methodische Grundlagen der Programm- und Systementwicklung : Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis (1. Aufl. 2019)
  • 洋書

Logische und Methodische Grundlagen der Programm- und Systementwicklung : Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis (1. Aufl. 2019)  Paperback,  言語:GER

Broy, Manfred

  • ウェブストア価格 ¥7,915(本体¥7,196)
  • Springer Vieweg(2019/06発売)
  • ポイント 71pt
  • 海外取次在庫
Data-Driven Process Discovery and Analysis : 7th IFIP WG 2.6 International Symposium, SIMPDA 2017, Neuchatel, Switzerland, December 6-8, 2017, Revised Selected Papers (Lecture Notes in Business Information Processing) (2019)
  • 洋書
  • 電子版あり

Data-Driven Process Discovery and Analysis : 7th IFIP WG 2.6 International Symposium, SIMPDA 2017, Neuchatel, Switzerland, December 6-8, 2017, Revised Selected Papers (Lecture Notes in Business Information Processing) (2019)  Paperback,  言語:ENG

Ceravolo, Paolo (EDT)/ van Keulen, Maurice (EDT)/ Stoffel, Kilian (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 104pt
  • 海外取次在庫
VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things : 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23-25, 2017, Revised and Extended Selected (2019)
  • 洋書

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things : 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23-25, 2017, Revised and Extended Selected (2019)  Paperback,  言語:ENG

Maniatakos, Michail (EDT)/ Elfadel, Ibrahim (Abe) M. (EDT)/ Sonza Reorda, Matteo (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 113pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Technological Innovation for Applied AI Systems : 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7-9, 2021, Proceedings (Ifip Advances in Informat
  • 洋書

Technological Innovation for Applied AI Systems : 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7-9, 2021, Proceedings (Ifip Advances in Informat  Hardcover,  言語:ENG

Camarinha-Matos, Luis M. (EDT)/ Ferreira, Pedro (EDT)/ Brito, Guilherme (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 246pt
  • 海外取次在庫
Technological Innovation for Applied AI Systems : 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7-9, 2021, Proceedings (Ifip Advances in Informat
  • 洋書

Technological Innovation for Applied AI Systems : 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7-9, 2021, Proceedings (Ifip Advances in Informat  Paperback,  言語:ENG

Camarinha-Matos, Luis M. (EDT)/ Ferreira, Pedro (EDT)/ Brito, Guilherme (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer Nature Switzerland AG(2022/06発売)
  • ポイント 246pt
  • 海外取次在庫
Cluster Analysis and Applications (2021)
  • 洋書

Cluster Analysis and Applications (2021)  Paperback,  言語:ENG

Scitovski, Rudolf/ Sabo, Kristian/ Martínez-Álvarez, Francisco

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2022/07発売)
  • ポイント 104pt
  • 海外取次在庫
Applied Computer Sciences in Engineering : 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Applied Computer Sciences in Engineering : 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II (Communications in Computer and Information Science)  Paperback,  言語:ENG

Figueroa-García, Juan Carlos (EDT)/ Villegas, Juan G. (EDT)/ Orozco-Arroyave, Juan Rafael (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2018/09発売)
  • ポイント 104pt
  • 海外取次在庫