Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering) (2013)
  • 洋書
  • ポイントキャンペーン

Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Johnsen, Einar Broch (EDT)/ Petre, Luigia (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 214pt
  • 海外取次在庫
Security and Privacy in New Computing Environments : Second EAI International Conference, SPNCE 2019, Tianjin, China, April 13-14, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engi
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Security and Privacy in New Computing Environments : Second EAI International Conference, SPNCE 2019, Tianjin, China, April 13-14, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engi  Paperback

Li, Jin (EDT)/ Liu, Zheli (EDT)/ Peng, Hao (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Embedded Computer Systems: Architectures, Modeling, and Simulation : 19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Embedded Computer Systems: Architectures, Modeling, and Simulation : 19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Pnevmatikatos, Dionisios N. (EDT)/ Pelcat, Maxime (EDT)/ Jung, Matthias (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Middleware 2012 : ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7662) (2012. 2012. XV, 498 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Middleware 2012 : ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7662) (2012. 2012. XV, 498 S. 235 mm)  Paperback

Herausgegeben von Narasimhan, Priya/ Triantafillou, Peter

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7152) (2012. 2012. XI, 326 S.)
  • 洋書
  • ポイントキャンペーン

Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7152) (2012. 2012. XI, 326 S.)  Paperback

Herausgegeben von Joshi, Rajeev/ Mueller, Peter/ Podelski, Andreas

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
Computer Safety, Reliability, and Security (Lecture Notes in Computer Science / Programming and Software Engineering .7613) (2012. 2012. XVI, 530 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Computer Safety, Reliability, and Security (Lecture Notes in Computer Science / Programming and Software Engineering .7613) (2012. 2012. XVI, 530 S. 235 mm)  Paperback

Herausgegeben von Ortmeier, Frank/ Daniel, Peter

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Computer Safety, Reliability, and Security : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7612) (2012. 2012. XVIII, 402 S.)
  • 洋書
Machine Learning and Knowledge Extraction : First IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2017, Reggio, Italy, August 29 - September 1, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Machine Learning and Knowledge Extraction : First IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2017, Reggio, Italy, August 29 - September 1, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback

Holzinger, Andreas (EDT)/ Kieseberg, Peter (EDT)/ Tjoa, A Min (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Machine Learning and Knowledge Extraction : Second IFIP TC 5, TC 8/WG 8.4, 8.9, TC 12/WG 12.9 International Cross-Domain Conference, CD-MAKE 2018, Hamburg, Germany, August 27-30, 2018, Proceedings (Information Systems and Applications, incl. Internet
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Machine Learning and Knowledge Extraction : Second IFIP TC 5, TC 8/WG 8.4, 8.9, TC 12/WG 12.9 International Cross-Domain Conference, CD-MAKE 2018, Hamburg, Germany, August 27-30, 2018, Proceedings (Information Systems and Applications, incl. Internet  Paperback,  言語:ENG

Holzinger, Andreas (EDT)/ Kieseberg, Peter (EDT)/ Tjoa, A Min (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Machine Learning and Knowledge Extraction : Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26-29, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Machine Learning and Knowledge Extraction : Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26-29, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Holzinger, Andreas (EDT)/ Kieseberg, Peter (EDT)/ Tjoa, A Min (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 214pt
  • 海外取次在庫
Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics : Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012, Proceedings (Lecture Notes in Computer Science Vol.7488) (2012. XII, 147 p. 235 mm)
  • 洋書
  • ポイントキャンペーン

Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics : Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012, Proceedings (Lecture Notes in Computer Science Vol.7488) (2012. XII, 147 p. 235 mm)  Paperback

Herausgegeben von Catarci, Tiziana/ Forner, Pamela/ Hiemstra, Djoerd/ Penas, Anselmo/ Santucci, Giuseppe

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2012)
  • 洋書
  • ポイントキャンペーン

Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2012)  Paperback,  言語:ENG

Arbab, Farhad (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 214pt
  • 海外取次在庫
Combinatorial Pattern Matching : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書
  • ポイントキャンペーン

Combinatorial Pattern Matching : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Fischer, Johannes (EDT)/ Sanders, Peter (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/06発売)
  • ポイント 194pt
  • 海外取次在庫
Privacy and Identity Management for Life : 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers (IFIP Advances in Information and Communication Technology 320) (2010. XI, 316 S.)
  • 洋書
  • ポイントキャンペーン

Privacy and Identity Management for Life : 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers (IFIP Advances in Information and Communication Technology 320) (2010. XI, 316 S.)  Hardcover

Herausgegeben von Bezzi, Michele/ Duquenoy, Penny/ Fischer-Huebner, Simone/ Hansen, Marit/ Zhang, Ge

  • SPRINGER, BERLIN(2010発売)
  • ご注文いただけません
Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7294) (2012. 2012. X, 333 S.)
  • 洋書
  • ポイントキャンペーン

Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7294) (2012. 2012. X, 333 S.)  Paperback

Herausgegeben von Schrijvers, Tom/ Thiemann, Peter

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
ICTs for Improving Patients Rehabilitation Research Techniques : Third International Workshop, REHAB 2015, Lisbon, Portugal, October 1-2, 2015, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

ICTs for Improving Patients Rehabilitation Research Techniques : Third International Workshop, REHAB 2015, Lisbon, Portugal, October 1-2, 2015, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Fardoun, Habib M. (EDT)/ R. Penichet, Victor M. (EDT)/ Alghazzawi, Daniyal M. (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Case-Based Reasoning Research and Development : 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Case-Based Reasoning Research and Development : 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Cox, Michael T. (EDT)/ Funk, Peter (EDT)/ Begum, Shahina (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Future Security : 7th Security Research Conference, Future Security 2012, Bonn, Germany, September 4-6, 2012. Proceedings (Communications in Computer and Information Science .318) (2012. 2012. 532 S.)
  • 洋書
  • ポイントキャンペーン

Future Security : 7th Security Research Conference, Future Security 2012, Bonn, Germany, September 4-6, 2012. Proceedings (Communications in Computer and Information Science .318) (2012. 2012. 532 S.)  Paperback

Herausgegeben von Aschenbruck, Nils/ Martini, Peter/ Meier, Michael/ Toelle, Jens

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Evolutionary Multi-Criterion Optimization : 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書
  • ポイントキャンペーン

Evolutionary Multi-Criterion Optimization : 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Purshouse, Robin (EDT)/ Fleming, Peter (EDT)/ Fonseca, Carlos M. (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 214pt
  • 海外取次在庫
Artificial Immune Systems : 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6825) (2011. XVI, 468 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Artificial Immune Systems : 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6825) (2011. XVI, 468 S. 235 mm)  Paperback

Herausgegeben von Lio, Pietro/ Nicosia, Giuseppe/ Stibor, Thomas

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 248pt
  • 海外取次在庫