Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥20,273(本体¥18,430)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 184pt
  • 海外取次在庫
Technologies and Applications for Big Data Value
  • 洋書

Technologies and Applications for Big Data Value  Hardcover,  言語:ENG

Curry, Edward (EDT)/ Auer, Sören (EDT)/ Berre, Arne J. (EDT)

  • ウェブストア価格 ¥12,162(本体¥11,057)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 110pt
  • 海外取次在庫
Technologies and Applications for Big Data Value
  • 洋書

Technologies and Applications for Big Data Value  Paperback,  言語:ENG

Curry, Edward (EDT)/ Auer, Sören (EDT)/ Berre, Arne J. (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 92pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,217(本体¥14,743)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 147pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥14,190(本体¥12,900)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 129pt
  • 海外取次在庫
Grundkurs Relationale Datenbanken : Einführung in die Praxis der Datenbankentwicklung für Ausbildung, Studium und IT-Beruf (Springer-Lehrbuch)
  • 洋書

Grundkurs Relationale Datenbanken : Einführung in die Praxis der Datenbankentwicklung für Ausbildung, Studium und IT-Beruf (Springer-Lehrbuch)

Steiner, René

  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; VIEW(2017発売)
  • ご注文いただけません
Projektübergreifendes Applikationsmanagement - Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit : HMD Best Paper Award 2014 (essentials)
  • 洋書

Projektübergreifendes Applikationsmanagement - Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit : HMD Best Paper Award 2014 (essentials)

Von Gyoery, Andreas/Cleven, Anne/Seeser, Guenter

  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; VIEW(2016/02発売)
  • ご注文いただけません
HCI International 2022 - Late Breaking Papers. Interaction in New Media, Learning and Games : 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26-July 1, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

HCI International 2022 - Late Breaking Papers. Interaction in New Media, Learning and Games : 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26-July 1, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Meiselwitz, Gabriele (EDT)/ Moallem, Abbas (EDT)/ Zaphiris, Panayiotis (EDT)

  • ウェブストア価格 ¥20,273(本体¥18,430)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 184pt
  • 海外取次在庫
Frontiers of Algorithmic Wisdom : International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15-19, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Frontiers of Algorithmic Wisdom : International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15-19, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Li, Minming (EDT)/ Sun, Xiaoming (EDT)

  • ウェブストア価格 ¥12,162(本体¥11,057)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 110pt
  • 海外取次在庫
Advances in Social Network Mining and Analysis : Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5498) (2010. XI, 131 S.)
  • 洋書

Advances in Social Network Mining and Analysis : Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5498) (2010. XI, 131 S.)  Paperback,  言語:ENG

Herausgegeben von Giles, C. Lee/ Smith, Marc/ Yen, John/ Zhang, Haizheng

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 114pt
  • 海外取次在庫
Information Processing in Cells and Tissues : 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 -- April 2, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7223) (2012. 2012. XII, 278 S. 235 mm)
  • 洋書

Information Processing in Cells and Tissues : 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 -- April 2, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7223) (2012. 2012. XII, 278 S. 235 mm)  Paperback

Herausgegeben von Lones, Michael A./ Smith, Stephen L./ Teichmann, Sarah/ Naef, Felix/ Walker, James Alfred

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 114pt
  • 海外取次在庫
Pristine Perspectives on Logic, Language and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書

Pristine Perspectives on Logic, Language and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Colinet, Margot (EDT)/ Katrenko, Sophia (EDT)/ Rendsvig, Rasmus K. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/07発売)
  • ポイント 101pt
  • 海外取次在庫
Cordova : Entwicklung plattformneutraler Apps
  • 洋書

Cordova : Entwicklung plattformneutraler Apps  Paperback,  言語:GER

Steyer, Ralph

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer Vieweg(2017/02発売)
  • ポイント 92pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Designing Data Spaces : The Ecosystem Approach to Competitive Advantage
  • 洋書

Designing Data Spaces : The Ecosystem Approach to Competitive Advantage  Hardcover,  言語:ENG

Otto, Boris (EDT)/ ten Hompel, Michael (EDT)/ Wrobel, Stefan (EDT)

  • ウェブストア価格 ¥12,162(本体¥11,057)
  • Springer Nature Switzerland AG(2022/07発売)
  • ポイント 110pt
  • 海外取次在庫
Innopolis University - from Zero to Hero : Ten Years of Challenges and Victories
  • 洋書

Innopolis University - from Zero to Hero : Ten Years of Challenges and Victories  Paperback,  言語:ENG

Mazzara, Manuel/ Succi, Giancarlo/ Tormasov, Alexander

  • ウェブストア価格 ¥7,702(本体¥7,002)
  • Springer Nature Switzerland AG(2022/07発売)
  • ポイント 70pt
  • 海外取次在庫
Advances in Neural Networks - ISNN 2008 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5264) (2008. XXXI, 846 S. 235 mm)
  • 洋書

Advances in Neural Networks - ISNN 2008 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5264) (2008. XXXI, 846 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Sun, Fuchun/ Zhang, Jianwei/ Cao, Jinde/ Yu, Wen

  • ウェブストア価格 ¥30,292(本体¥27,539)
  • SPRINGER, BERLIN(2008発売)
  • ポイント 275pt
  • 海外からお取り寄せ(通常6~9週間)
Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum (Autouni - Schriftenreihe)
  • 洋書

Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum (Autouni - Schriftenreihe)  Paperback,  言語:GER

Sobiech, Fabian

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer(2016/11発売)
  • ポイント 92pt
  • 海外取次在庫
Noch analog oder lebst Du schon? : Mit Nœrdman durch die Welt von heute... und morgen
  • 洋書

Noch analog oder lebst Du schon? : Mit Nœrdman durch die Welt von heute... und morgen  Paperback,  言語:GER

Drechsler, Rolf/ Stoppe, Jannis

  • ウェブストア価格 ¥3,191(本体¥2,901)
  • Springer(2021/02発売)
  • ポイント 29pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
WALCOM: Algorithm and Computation : 6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 15-17, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7157) (2012. 2012. XV, 241 S. 235 mm)
  • 洋書

WALCOM: Algorithm and Computation : 6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 15-17, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7157) (2012. 2012. XV, 241 S. 235 mm)  Paperback

Herausgegeben von Rahman, Md. Saidur/ Nakano, Shin-ichi

  • ウェブストア価格 ¥11,612(本体¥10,557)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 105pt
  • 海外取次在庫
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics : 10th European Conference, EvoBIO 2012, M (Lecture Notes in Computer Science Vol.7246) (2012. XIII, 255 p. 235 mm)
  • 洋書

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics : 10th European Conference, EvoBIO 2012, M (Lecture Notes in Computer Science Vol.7246) (2012. XIII, 255 p. 235 mm)  Paperback

Herausgegeben von Giacobini, Mario/ Vanneschi, Leonardo/ Bush, William S.

  • ウェブストア価格 ¥11,612(本体¥10,557)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 105pt
  • 海外取次在庫