Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Klein, Gerwin (EDT)/ Gamboa, Ruben (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 104pt
  • 海外取次在庫
Mobile Computing, Applications, and Services : 5th International Conference, MobiCase 2013, Paris, France, November 7-8, 2013, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications En
  • 洋書
Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback

Norman, Gethin (EDT)/ Sanders, William (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 104pt
  • 海外取次在庫
Power BI für Dummies : Der schnelle Einstieg in die Business Intelligence mit Power BI (...für Dummies) (2. Aufl. 2021. 512 S. 240 mm)
  • 洋書

Power BI für Dummies : Der schnelle Einstieg in die Business Intelligence mit Power BI (...für Dummies) (2. Aufl. 2021. 512 S. 240 mm)  Paperback

Eitelberg, Tillmann/Engels, Oliver/Geisler, Frank

  • ウェブストア価格 ¥7,421(本体¥6,747)
  • WILEY-VCH DUMMIES; WILEY-VCH(2021発売)
  • ポイント 67pt
  • 海外取次在庫
Open Source Knowledge Management (Xpert.press) (2006. 280 S. m. 11 Abb. 23,5 cm)
  • 洋書

Open Source Knowledge Management (Xpert.press) (2006. 280 S. m. 11 Abb. 23,5 cm)  Hardcover

Huettenegger, Georg

  • ウェブストア価格 ¥7,418(本体¥6,744)
  • SPRINGER, BERLIN(2006発売)
  • ポイント 67pt
  • 海外取次在庫
Detecting Busy Waiting : An Approach Employing Static Control Flow Analysis (2010. 124 S. 220 mm)
  • 洋書

Detecting Busy Waiting : An Approach Employing Static Control Flow Analysis (2010. 124 S. 220 mm)  Paperback

Kienesberger, Georg

  • ウェブストア価格 ¥14,595(本体¥13,269)
  • VDM VERLAG DR. MÜLLER(2010発売)
  • ポイント 132pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Effects of input modalities, levels of task complexity and embodiment : on users' overall performance and perception in human-robot collaboration tasks (2014. 176 S. 220 mm)
  • 洋書

Effects of input modalities, levels of task complexity and embodiment : on users' overall performance and perception in human-robot collaboration tasks (2014. 176 S. 220 mm)  Paperback

Stollnberger, Gerald

  • ウェブストア価格 ¥12,839(本体¥11,672)
  • AV AKADEMIKERVERLAG(2014発売)
  • ポイント 116pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Knowledge Management & Information Technology : Goals/Problems, Practical Approaches, and Proposed Solution (2016. 156 S. 220 mm)
  • 洋書

Knowledge Management & Information Technology : Goals/Problems, Practical Approaches, and Proposed Solution (2016. 156 S. 220 mm)  Paperback

Huettenegger, Georg

  • ウェブストア価格 ¥16,055(本体¥14,596)
  • LAP LAMBERT ACADEMIC PUBLISHING(2016発売)
  • ポイント 145pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
A Perspective on Artificial Intelligence in Manufacturing (Studies in Systems, Decision and Control)
  • 洋書

A Perspective on Artificial Intelligence in Manufacturing (Studies in Systems, Decision and Control)  Paperback

Chryssolouris, George/ Alexopoulos, Kosmas/ Arkouli, Zoi

  • ウェブストア価格 ¥37,759(本体¥34,327)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 343pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reliable Software Technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Reliable Software Technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

George, Laurent (EDT)/ Vardanega, Tullio (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 104pt
  • 海外取次在庫
Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Tsudik, Gene (EDT)/ Conti, Mauro (EDT)/ Liang, Kaitai (EDT)

  • ウェブストア価格 ¥16,780(本体¥15,255)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 152pt
  • 海外取次在庫
Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Tsudik, Gene (EDT)/ Conti, Mauro (EDT)/ Liang, Kaitai (EDT)

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 171pt
  • 海外取次在庫
Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback

Tsudik, Gene (EDT)/ Conti, Mauro (EDT)/ Liang, Kaitai (EDT)

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 171pt
  • 海外取次在庫
Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Tsudik, Gene (EDT)/ Conti, Mauro (EDT)/ Liang, Kaitai (EDT)

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 171pt
  • 海外取次在庫
Internetrecht im E-Commerce (Xpert.press)
  • 洋書

Internetrecht im E-Commerce (Xpert.press)  Hardcover,  言語:GER

Eichhorn, Bert/ Heinze, Björn/ Tamm, Gerrit

  • ウェブストア価格 ¥8,388(本体¥7,626)
  • Springer Vieweg(2016/06発売)
  • ポイント 76pt
  • 海外からお取り寄せ(通常6~9週間)
Sichere Kommunikation und Authentifizierung in einem Hochschulnetz (2003. 196 S. 210 mm)
  • 洋書

Sichere Kommunikation und Authentifizierung in einem Hochschulnetz (2003. 196 S. 210 mm)  Paperback

Kuchelmeister, Gerd

  • ウェブストア価格 ¥11,874(本体¥10,795)
  • GRIN VERLAG; DIPLOM.DE(2003発売)
  • ポイント 107pt
  • 海外取次在庫
Post-Market Surveillance for Radiation Therapy Software : How to use Adverse Event and Recall Database Information for Risk Management (2014. 52 S. 220 mm)
  • 洋書

Post-Market Surveillance for Radiation Therapy Software : How to use Adverse Event and Recall Database Information for Risk Management (2014. 52 S. 220 mm)  Paperback

Pfaffenzeller, Gerhard

  • ウェブストア価格 ¥7,148(本体¥6,499)
  • AV AKADEMIKERVERLAG(2014発売)
  • ポイント 64pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Science Topics (2018. 76 S. 220 mm)
  • 洋書

Computer Science Topics (2018. 76 S. 220 mm)  Paperback

Christoforidis, Georgios

  • ウェブストア価格 ¥8,880(本体¥8,073)
  • LAP LAMBERT ACADEMIC PUBLISHING(2018発売)
  • ポイント 80pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Machine Learning and Interpretation in Neuroimaging : 4th International Workshop, MLINI 2014, Held at NIPS 2014, Montreal, QC, Canada, December 13, 2014, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書

Machine Learning and Interpretation in Neuroimaging : 4th International Workshop, MLINI 2014, Held at NIPS 2014, Montreal, QC, Canada, December 13, 2014, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Rish, Irina (EDT)/ Langs, Georg (EDT)/ Wehbe, Leila (EDT)

  • ウェブストア価格 ¥9,438(本体¥8,580)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 85pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Inductive Logic Programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書
  • 電子版あり

Inductive Logic Programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Zaverucha, Gerson (EDT)/ Santos Costa, Vítor (EDT)/ Paes, Aline (EDT)

  • ウェブストア価格 ¥9,438(本体¥8,580)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 85pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。