Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Dongol, Brijesh (EDT)/ Petre, Luigia (EDT)/ Smith, Graeme (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computergrafik : Band I des Standardwerks Computergrafik und Bildverarbeitung (4TH)
  • 洋書

Computergrafik : Band I des Standardwerks Computergrafik und Bildverarbeitung (4TH)  Paperback,  言語:GER

Nischwitz, Alfred/ Fischer, Max/ Haberäcker, Peter

  • ウェブストア価格 ¥13,633(本体¥12,394)
  • Springer Vieweg(2019/04発売)
  • ポイント 123pt
  • 海外取次在庫
Bildverarbeitung : Band II des Standardwerks Computergrafik und Bildverarbeitung (4TH)
  • 洋書

Bildverarbeitung : Band II des Standardwerks Computergrafik und Bildverarbeitung (4TH)  Paperback,  言語:GER

Nischwitz, Alfred/ Fischer, Max/ Haberäcker, Peter

  • ウェブストア価格 ¥13,633(本体¥12,394)
  • Springer Vieweg(2020/01発売)
  • ポイント 123pt
  • 海外からお取り寄せ(通常6~9週間)
Machine Learning and Knowledge Extraction : 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17-20, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Machine Learning and Knowledge Extraction : 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17-20, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Constraint Databases and Applications, CDB 2004 : First International Symposium, CDB 2004, Paris, France, June 12-13, 2004, Proceedings (Lecture Notes in Computer Science Vol.3074) (2004. XII, 181 p. 23,5 cm)
  • 洋書

Constraint Databases and Applications, CDB 2004 : First International Symposium, CDB 2004, Paris, France, June 12-13, 2004, Proceedings (Lecture Notes in Computer Science Vol.3074) (2004. XII, 181 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Bart Kuijpers a. Peter Revesz

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6128) (2010. X, 329 S.)
  • 洋書

Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6128) (2010. X, 329 S.)  Paperback,  言語:ENG

Herausgegeben von Lilius, Johan/ Penczek, Wojciech

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
HCI International 2022 - Late Breaking Papers: Ergonomics and Product Design : 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: Ergonomics and Product Design : 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26-July 1, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Duffy, Vincent G. (EDT)/ Rau, Pei-Luen Patrick (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 190pt
  • 海外取次在庫
Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Takagi, Tsuyoshi (EDT)/ Peyrin, Thomas (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III (Security and Cryptology)
  • 洋書
  • 電子版あり

Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III (Security and Cryptology)  Paperback,  言語:ENG

Takagi, Tsuyoshi (EDT)/ Peyrin, Thomas (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Takagi, Tsuyoshi (EDT)/ Peyrin, Thomas (EDT)

  • ウェブストア価格 ¥27,270(本体¥24,791)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 247pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Security Protocols XXVI : 26th International Workshop, Cambridge, UK, March 19-21, 2018, Revised Selected Papers (Security and Cryptology)
  • 洋書
  • 電子版あり

Security Protocols XXVI : 26th International Workshop, Cambridge, UK, March 19-21, 2018, Revised Selected Papers (Security and Cryptology)  Paperback,  言語:ENG

Matyáš, Vashek (EDT)/ Švenda, Petr (EDT)/ Stajano, Frank (EDT)

  • Springer Nature Switzerland AG(2018/11発売)
  • ご注文いただけません
Web-Age Information Management : WAIM 2014 International Workshops: BigEM, HardBD, DaNoS, HRSUNE, BIDASYS, Macau, China, June 16-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書

Web-Age Information Management : WAIM 2014 International Workshops: BigEM, HardBD, DaNoS, HRSUNE, BIDASYS, Macau, China, June 16-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback

Chen, Yueguo (EDT)/ Balke, Wolf-Tilo (EDT)/ Xu, Jianliang (EDT)

  • Springer International Publishing AG(2014/10発売)
  • ご注文いただけません
On the Move to Meaningful Internet Systems: OTM 2015 Workshops : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings (I
  • 洋書

On the Move to Meaningful Internet Systems: OTM 2015 Workshops : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings (I  Paperback

Ciuciu, Ioana (EDT)/ Panetto, Hervé (EDT)/ Debruyne, Christophe (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • 海外取次在庫
Database Systems for Advanced Applications : 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-18, 2012, Proceedings, Part II (Lecture Notes in Computer Science 7239) (2012. xviii, 320 S. XVIII, 320 p. 159 illus. 235 mm)
  • 洋書

Database Systems for Advanced Applications : 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-18, 2012, Proceedings, Part II (Lecture Notes in Computer Science 7239) (2012. xviii, 320 S. XVIII, 320 p. 159 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Lee, Sang-goo/ Peng, Zhiyong/ Zhou, Xiaofang/ Moon, Yang-Sae/ Unland, Rainer/ Yoo, Jaesoo

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Perspectives on Web Services : Applying SOAP, WSDL, and UDDI to Real-World Projects (Springer Professional Computing) (2003. XXXII, 648 p. w. 188 figs. 24 cm)
  • 洋書

Perspectives on Web Services : Applying SOAP, WSDL, and UDDI to Real-World Projects (Springer Professional Computing) (2003. XXXII, 648 p. w. 188 figs. 24 cm)  Hardcover

Zimmermann, Olaf/ Tomlinson, Mark/ Peuser, Stefan

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 120pt
  • 海外取次在庫
Process Support and Knowledge Representation in Health Care : AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013. Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書

Process Support and Knowledge Representation in Health Care : AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013. Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Riano, David (EDT)/ Lenz, Richard (EDT)/ Miksch, Silvia (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2013/12発売)
  • ポイント 104pt
  • 海外取次在庫
The Power of Algorithms : Inspiration and Examples in Everyday Life
  • 洋書

The Power of Algorithms : Inspiration and Examples in Everyday Life  Paperback,  言語:ENG

Ausiello, Giorgio (EDT)/ Petreschi, Rossella (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/08発売)
  • ポイント 95pt
  • 海外取次在庫
Requirements Engineering: Foundation for Software Quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Requirements Engineering: Foundation for Software Quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Grünbacher, Paul (EDT)/ Perini, Anna (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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
  • 海外取次在庫
NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7226) (2012. CDLX, 10 S.)
  • 洋書

NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7226) (2012. CDLX, 10 S.)  Paperback

Herausgegeben von Goodloe, Alwyn/ Person, Suzette

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫