Internet Science : INSCI 2018 International Workshops, St. Petersburg, Russia, October 24-26, 2018, Revised Selected Papers (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Internet Science : INSCI 2018 International Workshops, St. Petersburg, Russia, October 24-26, 2018, Revised Selected Papers (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Bodrunova, Svetlana S. (EDT)/ Koltsova, Olessia (EDT)/ Følstad, Asbjørn (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 119pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr (2019)
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr (2019)  Paperback,  言語:ENG

Vojnar, Tomáš (EDT)/ Zhang, Lijun (EDT)

  • ウェブストア価格 ¥12,162(本体¥11,057)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Evolutionary Computation in Combinatorial Optimization : 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Evolutionary Computation in Combinatorial Optimization : 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Paquete, Luís (EDT)/ Zarges, Christine (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2020/03発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr (2019)
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr (2019)  Paperback,  言語:ENG

Vojnar, Tomáš (EDT)/ Zhang, Lijun (EDT)

  • ウェブストア価格 ¥12,162(本体¥11,057)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Visualizing Argumentation : Software Tools for Collaborative and Educational Sense-Making (Computer Supported Cooperative Work (CSCW)) (2003. 240 p. w. 64 figs.)
  • 洋書

Visualizing Argumentation : Software Tools for Collaborative and Educational Sense-Making (Computer Supported Cooperative Work (CSCW)) (2003. 240 p. w. 64 figs.)  Paperback

Ed. by P. A. Kirschner, S. J. Buckingham-Shum, and C. S. Carr

  • ウェブストア価格 ¥48,457(本体¥44,052)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 440pt
  • 海外取次在庫
Design of Adaptive Finite Element Software, w. CD-ROM : The Finite Element Toolbox ALBERTA (Lecture Notes in Computational Science and Engineering Vol.42) (2004. 300 p.)
  • 洋書
Pattern Recognition and Image Analysis : 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2015)
  • 洋書

Pattern Recognition and Image Analysis : 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2015)  Paperback

Paredes, Roberto (EDT)/ Cardoso, Jaime S. (EDT)/ Pardo, Xosé M. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Experimental Algorithms : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Experimental Algorithms : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Goldberg, Andrew V. (EDT)/ Kulikov, Alexander S. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Interaction- und Interfacedesign : Web-, Game-, Produkt- und Systemdesign Usability und Interface als Corporate Identity (x.media.press) (2010. 300 S. m. 200 Farbabb. 26 cm)
  • 洋書
Search Computing : Challenges and Directions (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5950) (2010. X, 322 S.)
  • 洋書

Search Computing : Challenges and Directions (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5950) (2010. X, 322 S.)  Paperback

Herausgegeben von Ceri, S./ Brambilla, Marco

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 114pt
  • 海外取次在庫
Verteilte Systeme : Grundlagen und Basistechnologien (eXamen.press) (2007. XIII, 368 S. m. 113 Abb. 23,5 cm)
  • 洋書

Verteilte Systeme : Grundlagen und Basistechnologien (eXamen.press) (2007. XIII, 368 S. m. 113 Abb. 23,5 cm)  Paperback

Schill, Alexander/ Springer, Thomas

  • SPRINGER, BERLIN(2007発売)
  • ご注文いただけません
Verteilte Systeme : Grundlagen und Basistechnologien (eXamen.press) (2. Aufl. 2012. XVI, 433 S. m. 144 Abb. 23,5 cm)
  • 洋書

Verteilte Systeme : Grundlagen und Basistechnologien (eXamen.press) (2. Aufl. 2012. XVI, 433 S. m. 144 Abb. 23,5 cm)  Paperback,  言語:GER

Schill, Alexander/ Springer, Thomas

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Current Trends in Web Engineering : ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Current Trends in Web Engineering : ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Pautasso, Cesare (EDT)/ Sánchez-Figueroa, Fernando (EDT)/ Systä, Kari (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence Applications and Innovations (IFIP Advances in Information and Communication Technology 364) (2013. xxiv, 496 S. XXIV, 496 p. 235 mm)
  • 洋書

Artificial Intelligence Applications and Innovations (IFIP Advances in Information and Communication Technology 364) (2013. xxiv, 496 S. XXIV, 496 p. 235 mm)  Paperback

Herausgegeben:Iliadis, Lazaros S./ Maglogiannis, Ilias/ Papadopoulos, Harris

  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2013発売)
  • ご注文いただけません
Pattern Recognition and Image Analysis : 8th Iberian Conference, IbPRIA 2017, Faro, Portugal, June 20-23, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Pattern Recognition and Image Analysis : 8th Iberian Conference, IbPRIA 2017, Faro, Portugal, June 20-23, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Alexandre, Luís A. (EDT)/ Salvador Sánchez, José (EDT)/ Rodrigues, João M. F. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2017/05発売)
  • ポイント 101pt
  • 海外取次在庫
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)
  • 洋書

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)  Paperback

Kroening, Daniel (EDT)/ Păsăreanu, Corina S. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 101pt
  • 海外取次在庫
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback

Kroening, Daniel (EDT)/ Păsăreanu, Corina S. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 101pt
  • 海外取次在庫
Enterprise, Business-Process and Information Systems Modeling : 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,2016 , Proceedings (Lecture Notes in Business I
  • 洋書

Enterprise, Business-Process and Information Systems Modeling : 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,2016 , Proceedings (Lecture Notes in Business I  Paperback

Schmidt, Rainer (EDT)/ Guédria, Wided (EDT)/ Ilia, Bider (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 101pt
  • 海外取次在庫
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science Vol.2635) (2004. X, 389 p.)
  • 洋書

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science Vol.2635) (2004. X, 389 p.)  Paperback

Ed. by Olaf Owe, S. Krogdahl and T. Lyche

  • SPRINGER, BERLIN(2004発売)
  • ご注文いただけません
Cloud-Service-Zertifizierung : Ein Rahmenwerk und Kriterienkatalog zur Zertifizierung von Cloud-Services
  • 洋書

Cloud-Service-Zertifizierung : Ein Rahmenwerk und Kriterienkatalog zur Zertifizierung von Cloud-Services

Schneider, Stephan/Sunyaev, Ali

  • SPRINGER, BERLIN; GABLER(2015発売)
  • ご注文いただけません