Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding  Paperback,  言語:ENG

Fisman, Dana (EDT)/ Rosu, Grigore (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 92pt
  • 海外取次在庫
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Shoham, Sharon (EDT)/ Vizel, Yakir (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 92pt
  • 海外取次在庫
Parallel Problem Solving from Nature - PPSN XVII : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Parallel Problem Solving from Nature - PPSN XVII : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Rudolph, Günter (EDT)/ Kononova, Anna V. (EDT)/ Aguirre, Hernán (EDT)

  • ウェブストア価格 ¥28,382(本体¥25,802)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 258pt
  • 海外取次在庫
Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bogomolov, Sergiy (EDT)/ Parker, David (EDT)

  • ウェブストア価格 ¥12,162(本体¥11,057)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 110pt
  • 海外取次在庫
Psychology, Learning, Technology : First International Conference, PLT 2022, Foggia, Italy, January 19-21, 2022, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Psychology, Learning, Technology : First International Conference, PLT 2022, Foggia, Italy, January 19-21, 2022, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Limone, Pierpaolo (EDT)/ Di Fuccio, Raffaele (EDT)/ Toto, Giusi Antonia (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 92pt
  • 海外取次在庫
Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2015)
  • 洋書
  • 電子版あり

Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Markidis, Stefano (EDT)/ Laure, Erwin (EDT)

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2015/03発売)
  • ポイント 82pt
  • 海外取次在庫
Databases in Networked Information Systems : 10th International Workshop, DNIS 2015, Aizu, Japan, March 23-25, 2015, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2015)
  • 洋書

Databases in Networked Information Systems : 10th International Workshop, DNIS 2015, Aizu, Japan, March 23-25, 2015, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2015)  Paperback,  言語:ENG

Chu, Wanming (EDT)/ Kikuchi, Shinji (EDT)/ Bhalla, Subhash (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/03発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Genetic Programming : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Genetic Programming : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Machado, Penousal (EDT)/ Heywood, Malcolm I. (EDT)/ McDermott, James (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/03発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Health Information Science : 4th International Conference, HIS 2015, Melbourne, Australia, May 28-30, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Health Information Science : 4th International Conference, HIS 2015, Melbourne, Australia, May 28-30, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Yin, Xiaoxia (EDT)/ Ho, Kendall (EDT)/ Zeng, Daniel (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Multiple Classifier Systems : 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2015)
  • 洋書
  • 電子版あり

Multiple Classifier Systems : 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2015)  Paperback,  言語:ENG

Schwenker, Friedhelm (EDT)/ Roli, Fabio (EDT)/ Kittler, Josef (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 101pt
  • 海外取次在庫
Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Programming and Software Engineering) (2015)
  • 洋書

Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Programming and Software Engineering) (2015)  Paperback,  言語:ENG

Blanchette, Jasmin Christian (EDT)/ Kosmatov, Nikolai (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dediu, Adrian-Horia (EDT)/ Hernández-Quiroz, Francisco (EDT)/ Martín-Vide, Carlos (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 101pt
  • 海外からお取り寄せ(通常6~9週間)
Multiple Access Communications : 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings (Computer Communication Networks and Telecommunications)
  • 洋書

Multiple Access Communications : 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings (Computer Communication Networks and Telecommunications)  Paperback,  言語:ENG

Jonsson, Magnus (EDT)/ Vinel, Alexey (EDT)/ Bellalta, Boris (EDT)

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 82pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Multimodal Retrieval in the Medical Domain : First International Workshop, MRMD 2015, Vienna, Austria, March 29, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Multimodal Retrieval in the Medical Domain : First International Workshop, MRMD 2015, Vienna, Austria, March 29, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Müller, Henning (EDT)/ Jimenez del Toro, Oscar Alfonso (EDT)/ Hanbury, Allan (EDT)

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 82pt
  • 海外取次在庫
Risk Assessment and Risk-Driven Testing : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers (Programming and Software Engineering)
  • 洋書

Risk Assessment and Risk-Driven Testing : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers (Programming and Software Engineering)  Paperback,  言語:ENG

Seehusen, Fredrik (EDT)/ Felderer, Michael (EDT)/ Großmann, Jürgen (EDT)

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 82pt
  • 海外取次在庫
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges : 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers (Lecture Notes in C
  • 洋書

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges : 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers (Lecture Notes in C  Paperback,  言語:ENG

Camara, Oscar (EDT)/ Mansi, Tommaso (EDT)/ Pop, Mihaela (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 101pt
  • 海外取次在庫
Trustworthy Global Computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Trustworthy Global Computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ganty, Pierre (EDT)/ Loreti, Michele (EDT)

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 82pt
  • 海外取次在庫
Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cornélio, Márcio (EDT)/ Roscoe, Bill (EDT)

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 82pt
  • 海外取次在庫
Algorithmic Aspects of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書

Algorithmic Aspects of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Karydis, Ioannis (EDT)/ Sioutas, Spyros (EDT)/ Triantafillou, Peter (EDT)

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 82pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Pa
  • 洋書

Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Pa  Paperback,  言語:ENG

Hildebrandt, Thomas (EDT)/ Ravara, António (EDT)/ van der Werf, Jan Martijn (EDT)

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2016/04発売)
  • ポイント 82pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。