The Parametric Lambda Calculus : A Meta-Model for Calculation (Texts in Theoretical Computer Science, An EATCS Series) (2004. 250 p.)
  • 洋書

The Parametric Lambda Calculus : A Meta-Model for Calculation (Texts in Theoretical Computer Science, An EATCS Series) (2004. 250 p.)  Paperback

Ronchi Della Rocca, S./ Paolini, L.

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 114pt
  • 海外取次在庫
Comparing and Aligning Process Representations : Foundations and Technical Solutions (Lecture Notes in Business Information Processing) (2018)
  • 洋書
  • 電子版あり

Comparing and Aligning Process Representations : Foundations and Technical Solutions (Lecture Notes in Business Information Processing) (2018)  Paperback,  言語:ENG

van der Aa, Han

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 101pt
  • 海外取次在庫
Predictive Analytics und Data Mining : Eine Einführung mit R
  • 洋書

Predictive Analytics und Data Mining : Eine Einführung mit R  Paperback

von der Hude, Marlis

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer Vieweg(2020/07発売)
  • ポイント 82pt
  • 海外からお取り寄せ(通常6~9週間)
Timing Channels in Cryptography : A Micro-Architectural Perspective
  • 洋書

Timing Channels in Cryptography : A Micro-Architectural Perspective  Paperback

Rebeiro, Chester/ Mukhopadhyay, Debdeep/ Bhattacharya, Sarani

  • ウェブストア価格 ¥21,232(本体¥19,302)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 193pt
  • 海外からお取り寄せ(通常6~9週間)
Statistical Language and Speech Processing : First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013, Proceedings (Lecture Notes in Artificial Intelligence) (2013)
  • 洋書

Statistical Language and Speech Processing : First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013, Proceedings (Lecture Notes in Artificial Intelligence) (2013)  Paperback,  言語:ENG

Dediu, Adrian-Horia (EDT)/ Martín-Vide, Carlos (EDT)/ Mitkov, Ruslan (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 101pt
  • 海外取次在庫
Algorithms and Data Structures : 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書

Algorithms and Data Structures : 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Dehne, Frank (EDT)/ Solis-Oba, Roberto (EDT)/ Sack, Jörg-Rüdiger (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 101pt
  • 海外取次在庫
Database and Expert Systems Applications : 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part II (Lecture Notes in Computer Science) (2013)
  • 洋書

Database and Expert Systems Applications : 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part II (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Decker, Hendrik (EDT)/ Lhotská, Lenka (EDT)/ Link, Sebastian (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 101pt
  • 海外取次在庫
Database and Expert Systems Applications : 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part I (Lecture Notes in Computer Science) (2013)
  • 洋書

Database and Expert Systems Applications : 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part I (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Decker, Hendrik (EDT)/ Lhotská, Lenka (EDT)/ Link, Sebastian (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 101pt
  • 海外取次在庫
On the Move to Meaningful Internet Systems: OTM 2013 Workshops : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS and SOMOCO 2013, Graz, Austria, September 9 - 13, (2013)
  • 洋書

On the Move to Meaningful Internet Systems: OTM 2013 Workshops : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS and SOMOCO 2013, Graz, Austria, September 9 - 13, (2013)  Paperback,  言語:ENG

Demey, Yan Tang (EDT)/ Panetto, Herve (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 101pt
  • 海外取次在庫
Enterprise Identity Management : Towards an Investment Decision Support Approach (Progress in Is)
  • 洋書

Enterprise Identity Management : Towards an Investment Decision Support Approach (Progress in Is)  Paperback,  言語:ENG

Royer, Denis

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/04発売)
  • ご注文いただけません
Software Defined Systems : Sensing, Communication and Computation (Springerbriefs in Computer Science) (2020)
  • 洋書
  • 電子版あり

Software Defined Systems : Sensing, Communication and Computation (Springerbriefs in Computer Science) (2020)  Paperback,  言語:ENG

Zeng, Deze/ Gu, Lin/ Pan, Shengli

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2019/12発売)
  • ポイント 101pt
  • 海外取次在庫
An Introduction to Online Computation : Determinism, Randomization, Advice (Texts in Theoretical Computer Science. an Eatcs Series)
  • 洋書

An Introduction to Online Computation : Determinism, Randomization, Advice (Texts in Theoretical Computer Science. an Eatcs Series)  Paperback

Komm, Dennis

  • ウェブストア価格 ¥14,190(本体¥12,900)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 129pt
  • 海外からお取り寄せ(通常6~9週間)
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Theoretical Computer Science and General Issues) (2015)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Theoretical Computer Science and General Issues) (2015)  Paperback

D'Souza, Deepak (EDT)/ Lal, Akash (EDT)/ Larsen, Kim Guldstrand (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/01発売)
  • ポイント 101pt
  • 海外取次在庫
Trust and Reputation Management Systems : An e-Business Perspective (Springerbriefs in Information Systems)
  • 洋書
  • 電子版あり

Trust and Reputation Management Systems : An e-Business Perspective (Springerbriefs in Information Systems)  Paperback,  言語:ENG

Trcek, Denis

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 101pt
  • 海外取次在庫
Fundamentals of Image Data Mining : Analysis, Features, Classification and Retrieval (Texts in Computer Science) (2019)
  • 洋書

Fundamentals of Image Data Mining : Analysis, Features, Classification and Retrieval (Texts in Computer Science) (2019)  Paperback,  言語:ENG

Zhang, Dengsheng

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 119pt
  • 海外取次在庫
Theory and Practice of Natural Computing : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013. Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Theory and Practice of Natural Computing : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013. Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Dediu, Adrian-Horia (EDT)/ Martín-Vide, Carlos (EDT)/ Truthe, Bianca (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/11発売)
  • ポイント 92pt
  • 海外取次在庫
The Correctness-by-Construction Approach to Programming
  • 洋書

The Correctness-by-Construction Approach to Programming  Paperback,  言語:ENG

Kourie, Derrick G./ Watson, Bruce W.

  • ウェブストア価格 ¥22,300(本体¥20,273)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/05発売)
  • ポイント 202pt
  • 海外取次在庫
Transactions on Petri Nets and Other Models of Concurrency XI (Lecture Notes in Computer Science)
  • 洋書

Transactions on Petri Nets and Other Models of Concurrency XI (Lecture Notes in Computer Science)  Paperback

Koutny, Maciej (EDT)/ Desel, Jörg (EDT)/ Kleijn, Jetty (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/09発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Mastering Microsoft Fabric : SAASification of Analytics (First Edition. 2024. xii, 360 S. XII, 360 p. 315 illus. 235 mm)
  • 洋書

Mastering Microsoft Fabric : SAASification of Analytics (First Edition. 2024. xii, 360 S. XII, 360 p. 315 illus. 235 mm)  Paperback

Ghosh, Debananda

  • ウェブストア価格 ¥15,144(本体¥13,768)
  • SPRINGER, BERLIN; APRESS(2024発売)
  • ポイント 137pt
  • 海外取次在庫
Enterprise Architektur entschlüsselt: Ein Praxisorientierter Leitfaden von den Grundlagen bis zur Anwendung (2024. xxi, 139 S. XXI, 139 S. 79 Abb., 69 Abb. in Farbe. 240 mm)
  • 洋書

Enterprise Architektur entschlüsselt: Ein Praxisorientierter Leitfaden von den Grundlagen bis zur Anwendung (2024. xxi, 139 S. XXI, 139 S. 79 Abb., 69 Abb. in Farbe. 240 mm)  Hardcover

Suhari, Dennis

  • ウェブストア価格 ¥11,794(本体¥10,722)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2024発売)
  • ポイント 107pt
  • 海外からお取り寄せ(通常6~9週間)