Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2015)
  • 洋書

Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Naumann, David (EDT)

  • ウェブストア価格 ¥9,311(本体¥8,465)
  • Springer International Publishing AG(2015/02発売)
  • ポイント 84pt
  • 海外取次在庫
Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Núñez, Manuel (EDT)/ Güdemann, Matthias (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Data Integration in the Life Sciences : 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Data Integration in the Life Sciences : 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ashish, Naveen (EDT)/ Ambite, Jose-Luis (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 103pt
  • 海外取次在庫
Machines, Computations, and Universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Machines, Computations, and Universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Durand-Lose, Jerome (EDT)/ Nagy, Benedek (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 103pt
  • 海外取次在庫
Modeling Decisions for Artificial Intelligence : 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Modeling Decisions for Artificial Intelligence : 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Torra, Vicenc (EDT)/ Narukawa, Torra (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/09発売)
  • ポイント 103pt
  • 海外取次在庫
Computer Performance Engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings (Programming and Software Engineering)
  • 洋書

Computer Performance Engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Beltrán, Marta (EDT)/ Knottenbelt, William (EDT)/ Bradley, Jeremy (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Coordination, Organizations, Institutions, and Norms in Agent Systems X : COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers (Lecture Notes in
  • 洋書

Coordination, Organizations, Institutions, and Norms in Agent Systems X : COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers (Lecture Notes in  Paperback,  言語:ENG

Ghose, Aditya (EDT)/ Oren, Nir (EDT)/ Telang, Pankaj (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 103pt
  • 海外取次在庫
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Piterman, Nir (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/10発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers (Programming and Software Engineering)
  • 洋書

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers (Programming and Software Engineering)  Paperback,  言語:ENG

Gorentla Venkata, Manjunath (EDT)/ Shamis, Pavel (EDT)/ Imam, Neena (EDT)

  • ウェブストア価格 ¥9,311(本体¥8,465)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 84pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms and Models for the Web Graph : 12th International Workshop, WAW 2015, Eindhoven, the Netherlands, December 10-11, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Algorithms and Models for the Web Graph : 12th International Workshop, WAW 2015, Eindhoven, the Netherlands, December 10-11, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Gleich, David F. (EDT)/ Komjáthy, Júlia (EDT)/ Litvak, Nelly (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 103pt
  • 海外取次在庫
Cryptology and Network Security : 14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015, Proceedings (Security and Cryptology)
  • 洋書

Cryptology and Network Security : 14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015, Proceedings (Security and Cryptology)  Paperback,  言語:ENG

Reiter, Michael (EDT)/ Naccache, David (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Practice of Natural Computing : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Theory and Practice of Natural Computing : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dediu, Adrian-Horia (EDT)/ Magdalena, Luis (EDT)/ Martín-Vide, Carlos (EDT)

  • ウェブストア価格 ¥9,311(本体¥8,465)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 84pt
  • 海外取次在庫
Multiagent System Technologies : 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Multiagent System Technologies : 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Müller, Jörg P. (EDT)/ Ketter, Wolf (EDT)/ Kaminka, Gal (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Applications of Formal Argumentation : Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書

Theory and Applications of Formal Argumentation : Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Black, Elizabeth (EDT)/ Modgil, Sanjay (EDT)/ Oren, Nir (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 103pt
  • 海外取次在庫
Algorithms for Computational Biology : Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings (Lecture Notes in Bioinformatics)
  • 洋書
  • 電子版あり

Algorithms for Computational Biology : Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings (Lecture Notes in Bioinformatics)  Paperback,  言語:ENG

Botón-Fernández, María (EDT)/ Martín-Vide, Carlos (EDT)/ Santander-Jiménez, Sergio (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Research and Advanced Technology for Digital Libraries : 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016, Hannover, Germany, September 5-9, 2016, Proceedings (Information Systems and Applications, incl. Internet/w
  • 洋書

Research and Advanced Technology for Digital Libraries : 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016, Hannover, Germany, September 5-9, 2016, Proceedings (Information Systems and Applications, incl. Internet/w  Paperback,  言語:ENG

Fuhr, Norbert (EDT)/ Kovács, László (EDT)/ Risse, Thomas (EDT)

  • ウェブストア価格 ¥16,555(本体¥15,050)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 150pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Usability- and Accessibility-Focused Requirements Engineering : First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE
  • 洋書

Usability- and Accessibility-Focused Requirements Engineering : First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE  Paperback,  言語:ENG

Ebert, Achim (EDT)/ Humayoun, Shah Rukh (EDT)/ Seyff, Norbert (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Principles and Practice of Multi-Agent Systems : International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers (Lecture Notes in Computer Sci
  • 洋書

Principles and Practice of Multi-Agent Systems : International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers (Lecture Notes in Computer Sci  Paperback,  言語:ENG

Baldoni, Matteo (EDT)/ Baroglio, Cristina (EDT)/ Bex, Floris (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 103pt
  • 海外取次在庫
Clinical Image-Based Procedures. Translational Research in Medical Imaging : 5th International Workshop, CLIP 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Clinical Image-Based Procedures. Translational Research in Medical Imaging : 5th International Workshop, CLIP 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Shekhar, Raj (EDT)/ Wesarg, Stefan (EDT)/ González Ballester, Miguel Ángel (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Autonomous Agents and Multiagent Systems : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書

Autonomous Agents and Multiagent Systems : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Osman, Nardine (EDT)/ Sierra, Carles (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 103pt
  • 海外取次在庫