Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops : ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops : ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Proença, José (EDT)/ Fervari, Raul (EDT)/ Martins, Manuel A. (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 151pt
  • 海外取次在庫
Quantum Software Engineering
  • 洋書

Quantum Software Engineering  Paperback,  言語:ENG

Serrano, Manuel A. (EDT)/ Pérez-Castillo, Ricardo (EDT)/ Piattini, Mario (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 227pt
  • 海外取次在庫
Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Milazzo, Paolo (EDT)/ Varró, Dániel (EDT)/ Wimmer, Manuel (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers (Theoretical Computer Science and General Issu
  • 洋書

Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers (Theoretical Computer Science and General Issu  Paperback

Mazzara, Manuel (EDT)/ Voronkov, Andrei (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Swarm Intelligence : 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Swarm Intelligence : 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Dorigo, Marco (EDT)/ Birattari, Mauro (EDT)/ Li, Xiaodong (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Bioinspired Computation in Artificial Systems : International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II (Lecture Notes in Computer Science) (2015)
  • 洋書

Bioinspired Computation in Artificial Systems : International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II (Lecture Notes in Computer Science) (2015)  Paperback

Ferrández Vicente, José Manuel (EDT)/ Álvarez-Sánchez, José Ramón (EDT)/ de la Paz López, Félix (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Computation in Biology and Medicine : International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I (Theoretical Computer Science and General Issue (2015)
  • 洋書

Artificial Computation in Biology and Medicine : International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I (Theoretical Computer Science and General Issue (2015)  Paperback

Ferrández Vicente, José Manuel (EDT)/ Álvarez-Sánchez, José Ramón (EDT)/ de la Paz López, Félix (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 104pt
  • 海外取次在庫
記号積分I:超越関数(第2版)<br>Symbolic Integration Pt.1 : Transcendental Functions (Algorithms and Computation in Mathematics Vol.1) (New ed. 2004. XIII, 299 p. 24,5 cm)
  • 洋書
Concurrent and Real-time Programming : Principles and Applications (2025. xiii, 307 S. XIII, 307 p. 98 illus. 240 mm)
  • 洋書

Concurrent and Real-time Programming : Principles and Applications (2025. xiii, 307 S. XIII, 307 p. 98 illus. 240 mm)  Paperback,  言語:ENG

Capel, Manuel I.

  • ウェブストア価格 ¥14,556(本体¥13,233)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; IBERGA(2025発売)
  • ポイント 132pt
  • 海外からお取り寄せ(通常6~9週間)
Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Logozzo, Francesco (EDT)/ Fähndrich, Manuel (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/06発売)
  • ポイント 104pt
  • 海外取次在庫
Digital Transformation : Core Technologies and Emerging Topics from a Computer Science Perspective
  • 洋書

Digital Transformation : Core Technologies and Emerging Topics from a Computer Science Perspective  Paperback

Vogel-Heuser, Birgit (EDT)/ Wimmer, Manuel (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer Vieweg(2024/02発売)
  • ポイント 132pt
  • 海外取次在庫
Digital Transformation : Core Technologies and Emerging Topics from a Computer Science Perspective
  • 洋書

Digital Transformation : Core Technologies and Emerging Topics from a Computer Science Perspective  Hardcover

Vogel-Heuser, Birgit (EDT)/ Wimmer, Manuel (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Vieweg(2023/02発売)
  • ポイント 208pt
  • 海外取次在庫
Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Khan, Md. Aquil (EDT)/ Manuel, Amaldev (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2019/02発売)
  • ポイント 104pt
  • 海外取次在庫
Metadata and Semantics Research : 6th Research Conference, MTSR 2012, C (Communications in Computer and Information Science .343) (2012. 2012. 368 S. 235 mm)
  • 洋書

Metadata and Semantics Research : 6th Research Conference, MTSR 2012, C (Communications in Computer and Information Science .343) (2012. 2012. 368 S. 235 mm)  Paperback

Herausgegeben von Dodero, Juan Manuel/ Palomo-Duarte, Manuel/ Karampiperis, Pythagoras

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Software Quality: Future Perspectives on Software Engineering Quality : 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書

Software Quality: Future Perspectives on Software Engineering Quality : 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021, Proceedings (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Winkler, Dietmar (EDT)/ Biffl, Stefan (EDT)/ Mendez, Daniel (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 132pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence Applications and Innovations : 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part II (Ifip Advances in Information and Communication Technology)
  • 洋書

Artificial Intelligence Applications and Innovations : 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part II (Ifip Advances in Information and Communication Technology)  Hardcover

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

  • ウェブストア価格 ¥29,170(本体¥26,519)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 265pt
  • 海外取次在庫
Machine Learning and Knowledge Discovery in Databases: Research Track : European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part III (Lecture Notes in Artificial Intelligence)
  • 洋書

Machine Learning and Knowledge Discovery in Databases: Research Track : European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part III (Lecture Notes in Artificial Intelligence)  Paperback

Koutra, Danai (EDT)/ Plant, Claudia (EDT)/ Gomez Rodriguez, Manuel (EDT)

  • Springer International Publishing AG(2023/09発売)
  • ご注文いただけません
Business Process Management : 22nd International Conference, BPM 2024, Krakow, Poland, September 1-6, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Business Process Management : 22nd International Conference, BPM 2024, Krakow, Poland, September 1-6, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Marrella, Andrea (EDT)/ Resinas, Manuel (EDT)/ Jans, Mieke (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 170pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Games and Learning Alliance : 13th International Conference, GALA 2024, Berlin, Germany, November 20-22, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Games and Learning Alliance : 13th International Conference, GALA 2024, Berlin, Germany, November 20-22, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Schönbohm, Avo (EDT)/ Bellotti, Francesco (EDT)/ Bucchiarone, Antonio (EDT)

  • ウェブストア価格 ¥29,170(本体¥26,519)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 265pt
  • 海外取次在庫
Artificial Intelligence for Neuroscience and Emotional Systems : 10th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part I (Lecture Notes in
  • 洋書

Artificial Intelligence for Neuroscience and Emotional Systems : 10th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part I (Lecture Notes in  Paperback

Ferrández Vicente, José Manuel (EDT)/ Val Calvo, Mikel (EDT)/ Adeli, Hojjat (EDT)

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer International Publishing AG(2024/05発売)
  • ポイント 322pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。