Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)  Paperback

Huisman, Marieke (EDT)/ Păsăreanu, Corina (EDT)/ Zhan, Naijun (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 478pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Conceptual Modeling : ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • ポイントキャンペーン

Advances in Conceptual Modeling : ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Jeusfeld, Manfred A. (EDT)/ Karlapalem, Kamalakar (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Braberman, Víctor (EDT)/ Fribourg, Laurent (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 198pt
  • 海外取次在庫
Radio Resource Management for Mobile Traffic Offloading in Heterogeneous Cellular Networks (Springerbriefs in Electrical and Computer Engineering)
  • 洋書
  • ポイントキャンペーン

Radio Resource Management for Mobile Traffic Offloading in Heterogeneous Cellular Networks (Springerbriefs in Electrical and Computer Engineering)  Paperback

Wu, Yuan/ Qian, Li Ping/ Huang, Jianwei

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Visual Informatics : 4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • ポイントキャンペーン

Advances in Visual Informatics : 4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Badioze Zaman, Halimah (EDT)/ Robinson, Peter (EDT)/ Smeaton, Alan (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ROBOT2013: First Iberian Robotics Conference : Advances in Robotics, Vol.2 (Advances in Intelligent Systems and Computing) (2014)
  • 洋書
  • ポイントキャンペーン

ROBOT2013: First Iberian Robotics Conference : Advances in Robotics, Vol.2 (Advances in Intelligent Systems and Computing) (2014)  Paperback,  言語:ENG

Armada, Manuel A. (EDT)/ Sanfeliu, Alberto (EDT)/ Ferre, Manuel (EDT)

  • Springer International Publishing AG(2013/11発売)
  • ご注文いただけません
Urban Informatics and Future Cities (The Urban Book Series) (2021. xii, 632 S. XII, 632 p. 223 illus., 181 illus. in color. 235 mm)
  • 洋書
  • ポイントキャンペーン

Urban Informatics and Future Cities (The Urban Book Series) (2021. xii, 632 S. XII, 632 p. 223 illus., 181 illus. in color. 235 mm)  Hardcover,  言語:ENG

Herausgegeben:Geertman, S. C. M./ Pettit, Christopher/ Goodspeed, Robert/ Staffans, Aija

  • ウェブストア価格 ¥61,598(本体¥55,999)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2021発売)
  • ポイント 1,118pt
  • 海外取次在庫
Urban Informatics and Future Cities (The Urban Book Series) (2022. xii, 632 S. XII, 632 p. 223 illus., 181 illus. in color. 235 mm)
  • 洋書
  • ポイントキャンペーン

Urban Informatics and Future Cities (The Urban Book Series) (2022. xii, 632 S. XII, 632 p. 223 illus., 181 illus. in color. 235 mm)  Paperback

Herausgegeben:Geertman, S. C. M./ Pettit, Christopher/ Goodspeed, Robert/ Staffans, Aija

  • ウェブストア価格 ¥61,598(本体¥55,999)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2022発売)
  • ポイント 1,118pt
  • 海外からお取り寄せ(通常6~9週間)
Decision and Game Theory for Security : 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Decision and Game Theory for Security : 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Khouzani, Arman (MHR) (EDT)/ Panaousis, Emmanouil (EDT)/ Theodorakopoulos, George (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges : 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers (Image Processing,
  • 洋書
  • ポイントキャンペーン

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges : 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers (Image Processing,  Paperback,  言語:ENG

Camara, Oscar (EDT)/ Mansi, Tommaso (EDT)/ Pop, Mihaela (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 218pt
  • 海外取次在庫
Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Le
  • 洋書
  • ポイントキャンペーン

Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Le  Paperback,  言語:ENG

Kupferman, Orna (EDT)/ Sobocinski, Pawel (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 198pt
  • 海外取次在庫
Advances in Cryptology - EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Advances in Cryptology - EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Dunkelman, Orr (EDT)/ Dziembowski, Stefan (EDT)

  • ウェブストア価格 ¥30,779(本体¥27,981)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 558pt
  • 海外からお取り寄せ(通常6~9週間)
Advances in Cryptology - EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Advances in Cryptology - EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dunkelman, Orr (EDT)/ Dziembowski, Stefan (EDT)

  • ウェブストア価格 ¥39,174(本体¥35,613)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 712pt
  • 海外からお取り寄せ(通常6~9週間)
Selected Areas in Cryptography : 27th International Conference, Halifax, NS, Canada (Virtual Event), October 21-23, 2020, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Selected Areas in Cryptography : 27th International Conference, Halifax, NS, Canada (Virtual Event), October 21-23, 2020, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dunkelman, Orr (EDT)/ Jacobson, Jr., Michael J. (EDT)/ O'Flynn, Colin (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 218pt
  • 海外取次在庫
Descriptional Complexity of Formal Systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Descriptional Complexity of Formal Systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings (Theoretical Computer Science and General Issues)  Paperback

Câmpeanu, Cezar (EDT)/ Manea, Florin (EDT)/ Shallit, Jeffrey (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cross-Cultural Decision Making : Proceedings of the AHFE 2016 International Conference on Cross-Cultural Decision Making (CCDM), July 27-31,2016, Walt Disney World®, Florida, USA (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Cross-Cultural Decision Making : Proceedings of the AHFE 2016 International Conference on Cross-Cultural Decision Making (CCDM), July 27-31,2016, Walt Disney World®, Florida, USA (Advances in Intelligent Systems and Computing)  Paperback

Schatz, Sae (EDT)/ Hoffman, Mark (EDT)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 678pt
  • 海外取次在庫
Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series) (2013. XVII, 608 p. 235 mm)
  • 洋書
  • ポイントキャンペーン

Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series) (2013. XVII, 608 p. 235 mm)  Paperback

Ed. by Manfred Droste, Werner Kuich a. Heiko Vogler

  • SPRINGER, BERLIN(2013発売)
  • ご注文いただけません
Perspectives of System Informatics, PSI 2003 : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers (Lecture Notes in Computer Science Vol.2890) (2003. XV, 572 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Perspectives of System Informatics, PSI 2003 : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers (Lecture Notes in Computer Science Vol.2890) (2003. XV, 572 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Manfred Broy and Alexandre V. Zamulin

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 254pt
  • 海外取次在庫
Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science Vol.3236) (2004. XI, 381 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science Vol.3236) (2004. XI, 381 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Manuel Nunez, Zakaaria Maamar a. Fernando Pelayo

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
The Smart IoT Blueprint: Engineering a Connected Future : Guiding Principles and Practical Strategies for Seamless Integration (Advances in Science, Technology & Innovation) (2024)
  • 洋書
  • ポイントキャンペーン

The Smart IoT Blueprint: Engineering a Connected Future : Guiding Principles and Practical Strategies for Seamless Integration (Advances in Science, Technology & Innovation) (2024)  Hardcover,  言語:ENG

Al-Turjman, Fadi (EDT)

  • ウェブストア価格 ¥69,956(本体¥63,597)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 1,270pt
  • 海外からお取り寄せ(通常6~9週間)