Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings (Lecture Notes in
  • 洋書

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings (Lecture Notes in  Paperback,  言語:ENG

Johnsen, Einar Broch (EDT)/ Wimmer, Manuel (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 94pt
  • 海外取次在庫
Knowledge Management in Organizations : 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Knowledge Management in Organizations : 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019, Proceedings (Communications in Computer and Information Science)  Paperback

Uden, Lorna (EDT)/ Ting, I-Hsien (EDT)/ Corchado, Juan Manuel (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence : 9th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 - June 3, 2022, Proc
  • 洋書

Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence : 9th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 - June 3, 2022, Proc  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥22,216(本体¥20,197)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 201pt
  • 海外からお取り寄せ(通常6~9週間)
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
  • 海外取次在庫
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)版です。キャンセルは承れません。
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)版です。キャンセルは承れません。
Evolutionary Computation in Combinatorial Optimization : 17th European Conference, EvoCOP 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Evolutionary Computation in Combinatorial Optimization : 17th European Conference, EvoCOP 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Hu, Bin (EDT)/ López-Ibáñez, Manuel (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback

Hermenegildo, Manuel V (EDT)/ Lopez-Garcia, Pedro (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Present and Ulterior Software Engineering
  • 洋書

Present and Ulterior Software Engineering  Paperback

Mazzara, Manuel (EDT)/ Meyer, Bertrand (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 208pt
  • 海外からお取り寄せ(通常6~9週間)
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発売)
  • ご注文いただけません
Natural and Artificial Computation in Engineering and Medical Applications : 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II (Theoreti (2013)
  • 洋書

Natural and Artificial Computation in Engineering and Medical Applications : 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II (Theoreti (2013)  Paperback,  言語:ENG

Ferrandez Vicente, Jose Manuel (EDT)/ Alvarez Sanchez, Jose Ramon (EDT)/ de la Paz Lopez, Felix (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 104pt
  • 海外取次在庫
Natural and Artificial Models in Computation and Biology : 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I (Theoretical Computer Scienc (2013)
  • 洋書

Natural and Artificial Models in Computation and Biology : 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I (Theoretical Computer Scienc (2013)  Paperback,  言語:ENG

Ferrandez Vicente, Jose Manuel (EDT)/ Alvarez Sanchez, Jose Ramon (EDT)/ de la Paz Lopez, Felix (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 104pt
  • 海外取次在庫
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
  • 海外取次在庫
Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science Vol.3236) (2004. XI, 381 p. 23,5 cm)
  • 洋書

Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science Vol.3236) (2004. XI, 381 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Manuel Nunez, Zakaaria Maamar a. Fernando Pelayo

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th  IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3235) (2004. X, 377 p. 23,5 cm)
  • 洋書

Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3235) (2004. X, 377 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by David de Frutos-Escrig a. Manuel Nunez

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Hermenegildo, Manuel V. (EDT)/ Morales, José F. (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 170pt
  • 海外からお取り寄せ(通常6~9週間)
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. the PAAMS Collection : 20th International Conference, PAAMS 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. the PAAMS Collection : 20th International Conference, PAAMS 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dignum, Frank (EDT)/ Mathieu, Philippe (EDT)/ Corchado, Juan Manuel (EDT)

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