Mathematical Software - ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Mathematical Software - ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Davenport, James H. (EDT)/ Kauers, Manuel (EDT)/ Labahn, George (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 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)版です。キャンセルは承れません。
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)版です。キャンセルは承れません。
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)版です。キャンセルは承れません。
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
  • 海外取次在庫
Praxisleitfaden zur Implementierung eines Datenschutzmanagementsystems : Ein risikobasierter Ansatz für alle Unternehmensgrößen
  • 洋書

Praxisleitfaden zur Implementierung eines Datenschutzmanagementsystems : Ein risikobasierter Ansatz für alle Unternehmensgrößen  Paperback,  言語:GER

Loomans, Dirk/ Matz, Manuela/ Wiedemann, Michael

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Vieweg(2014/06発売)
  • ポイント 113pt
  • 海外取次在庫
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
  • 海外取次在庫
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発売)
  • ご注文いただけません
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
  • 海外取次在庫
記号積分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)
  • 洋書