Web Services and Formal Methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .7176) (2012. 2012. IX, 143 S.)
  • 洋書

Web Services and Formal Methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .7176) (2012. 2012. IX, 143 S.)  Paperback

Herausgegeben von Carbone, Marco/ Petit, Jean-Marc

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Software Engineering for Resilient Systems : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings (Programming and Software Engineering) (2014)
  • 洋書

Software Engineering for Resilient Systems : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings (Programming and Software Engineering) (2014)  Paperback,  言語:ENG

Majzik, István (EDT)/ Vieira, Marco (EDT)

  • ウェブストア価格 ¥9,311(本体¥8,465)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 84pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Ultrasonic Nondestructive Evaluation Systems : Industrial Application Issues
  • 洋書

Ultrasonic Nondestructive Evaluation Systems : Industrial Application Issues  Paperback,  言語:ENG

Burrascano, Pietro (EDT)/ Callegari, Sergio (EDT)/ Montisci, Augusto (EDT)

  • Springer International Publishing AG(2016/09発売)
  • ご注文いただけません
Data Integration in the Life Sciences : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings (Lecture Notes in Bioinformatics)
  • 洋書
  • 電子版あり

Data Integration in the Life Sciences : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings (Lecture Notes in Bioinformatics)  Paperback,  言語:ENG

Da Silveira, Marcos (EDT)/ Pruski, Cédric (EDT)/ Schneider, Reinhard (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Life and Evolutionary Computation : 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018, Revised Selected Papers (Communications in Computer and Information Science) (2019)
  • 洋書
  • 電子版あり

Artificial Life and Evolutionary Computation : 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018, Revised Selected Papers (Communications in Computer and Information Science) (2019)  Paperback,  言語:ENG

Cagnoni, Stefano (EDT)/ Mordonini, Monica (EDT)/ Pecori, Riccardo (EDT)

  • ウェブストア価格 ¥13,450(本体¥12,228)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 122pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Roveri, Marco (EDT)

  • Springer International Publishing AG(2018/02発売)
  • ご注文いただけません
OpenMP in a Heterogeneous World : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7312) (2012. 2012. XI, 280 S. 235 mm)
  • 洋書

OpenMP in a Heterogeneous World : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7312) (2012. 2012. XI, 280 S. 235 mm)  Paperback

Herausgegeben von Chapman, Barbara/ Massaioli, Federico/ Mueller, Matthias S./ Rorro, Marco

  • ウェブストア価格 ¥12,175(本体¥11,069)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 110pt
  • 海外取次在庫
Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Gribaudo, Marco (EDT)/ Manini, Daniele (EDT)/ Remke, Anne (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures (Programming and Software Engineer (2015)
  • 洋書
  • 電子版あり

Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures (Programming and Software Engineer (2015)  Paperback,  言語:ENG

Bernardo, Marco (EDT)/ Johnsen, Einar Broch (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Similarity-Based Pattern Recognition : Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015. Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり

Similarity-Based Pattern Recognition : Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015. Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Feragen, Aasa (EDT)/ Pelillo, Marcello (EDT)/ Loog, Marco (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/10発売)
  • ポイント 103pt
  • 海外取次在庫
Practical Aspects of Declarative Languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Practical Aspects of Declarative Languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Gavanelli, Marco (EDT)/ Reppy, John (EDT)

  • ウェブストア価格 ¥9,311(本体¥8,465)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 84pt
  • 海外取次在庫
Advanced Visual Interfaces. Supporting Big Data Applications : AVI 2016 Workshop, AVI-BDA 2016, Bari, Italy, June 7-10, 2016, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Advanced Visual Interfaces. Supporting Big Data Applications : AVI 2016 Workshop, AVI-BDA 2016, Bari, Italy, June 7-10, 2016, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Bornschlegl, Marco X. (EDT)/ Engel, Felix C. (EDT)/ Bond, Raymond (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Human-Computer Interaction - INTERACT 2019 : 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Human-Computer Interaction - INTERACT 2019 : 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Lamas, David (EDT)/ Loizides, Fernando (EDT)/ Nacke, Lennart (EDT)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 206pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Programming and Software Eng (2014)
  • 洋書

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Programming and Software Eng (2014)  Paperback,  言語:ENG

Bernardo, Marco (EDT)/ Damiani, Ferruccio (EDT)/ Haehnle, Reiner (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 103pt
  • 海外取次在庫
Swarm Intelligence : 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Swarm Intelligence : 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback

Dorigo, Marco (EDT)/ Birattari, Mauro (EDT)/ Garnier, Simon (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2014/07発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Mobile as Mainstream - Towards Future Challenges in Mobile Learning : 13th World Conference on Mobile and Contextual Learning, mLearn 2014, Istanbul, Turkey, November 3-5, 2014. Proceedings (Communications in Computer and Information Science) (2014)
  • 洋書

Mobile as Mainstream - Towards Future Challenges in Mobile Learning : 13th World Conference on Mobile and Contextual Learning, mLearn 2014, Istanbul, Turkey, November 3-5, 2014. Proceedings (Communications in Computer and Information Science) (2014)  Paperback

Kalz, Marco (EDT)/ Bayyurt, Yasemin (EDT)/ Specht, Marcus (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2014/11発売)
  • ポイント 103pt
  • 海外取次在庫
Product-Focused Software Process Improvement : 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Product-Focused Software Process Improvement : 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Jedlitschka, Andreas (EDT)/ Kuvaja, Pasi (EDT)/ Kuhrmann, Marco (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2014/11発売)
  • ポイント 103pt
  • 海外取次在庫
Principles of Distributed Systems : 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Principles of Distributed Systems : 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback

Aguilera, Marcos K. (EDT)/ Querzoni, Leonardo (EDT)/ Shapiro, Marc (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2014/12発売)
  • ポイント 103pt
  • 海外取次在庫
Wireless Internet : 8th International Conference, WICON 2014, Lisbon, Portugal, November 13-14, 2014, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering) (2015)
  • 洋書
  • 電子版あり

Wireless Internet : 8th International Conference, WICON 2014, Lisbon, Portugal, November 13-14, 2014, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering) (2015)  Paperback,  言語:ENG

Mumtaz, Shahid (EDT)/ Rodriguez, Jonathan (EDT)/ Katz, Marcos (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
New Trends in Image Analysis and Processing -- ICIAP 2015 Workshops : ICIAP 2015 International Workshops, BioFor, CTMR, RHEUMA, ISCA, MADiMa, SBMI, and QoEM, Genoa, Italy, September 7-8, 2015, Proceedings (Image Processing, Computer Vision, Pattern R
  • 洋書

New Trends in Image Analysis and Processing -- ICIAP 2015 Workshops : ICIAP 2015 International Workshops, BioFor, CTMR, RHEUMA, ISCA, MADiMa, SBMI, and QoEM, Genoa, Italy, September 7-8, 2015, Proceedings (Image Processing, Computer Vision, Pattern R  Paperback

Murino, Vittorio (EDT)/ Puppo, Enrico (EDT)/ Sona, Diego (EDT)

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