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

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 115pt
  • 海外取次在庫
Software Engineering Trends and Techniques in Intelligent Systems : Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3 (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり

Software Engineering Trends and Techniques in Intelligent Systems : Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3 (Advances in Intelligent Systems and Computing)  Paperback,  言語:ENG

Silhavy, Radek (EDT)/ Silhavy, Petr (EDT)/ Prokopova, Zdenka (EDT)

  • ウェブストア価格 ¥44,913(本体¥40,830)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 408pt
  • 海外取次在庫
Cybernetics Approaches in Intelligent Systems : Computational Methods in Systems and Software 2017, vol. 1 (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり

Cybernetics Approaches in Intelligent Systems : Computational Methods in Systems and Software 2017, vol. 1 (Advances in Intelligent Systems and Computing)  Paperback

Silhavy, Radek (EDT)/ Silhavy, Petr (EDT)/ Prokopova, Zdenka (EDT)

  • ウェブストア価格 ¥34,705(本体¥31,550)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 315pt
  • 海外取次在庫
Applied Computational Intelligence and Mathematical Methods : Computational Methods in Systems and Software 2017, vol. 2 (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり

Applied Computational Intelligence and Mathematical Methods : Computational Methods in Systems and Software 2017, vol. 2 (Advances in Intelligent Systems and Computing)  Paperback

Silhavy, Radek (EDT)/ Silhavy, Petr (EDT)/ Prokopova, Zdenka (EDT)

  • ウェブストア価格 ¥34,705(本体¥31,550)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 315pt
  • 海外取次在庫
Games and Learning Alliance : 6th International Conference, GALA 2017, Lisbon, Portugal, December 5-7, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Games and Learning Alliance : 6th International Conference, GALA 2017, Lisbon, Portugal, December 5-7, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Dias, João (EDT)/ Santos, Pedro A. (EDT)/ Veltkamp, Remco C. (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Relational and Algebraic Methods in Computer Science : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Relational and Algebraic Methods in Computer Science : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Fahrenberg, Uli (EDT)/ Jipsen, Peter (EDT)/ Winter, Michael (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2020/03発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Gestaltung und Einsatz von Datenbanksystemen : Data Base Engineering und Datenbankarchitekturen (2003. XVIII, 422 S. m. 134 Abb. 23,5 cm)
  • 洋書

Gestaltung und Einsatz von Datenbanksystemen : Data Base Engineering und Datenbankarchitekturen (2003. XVIII, 422 S. m. 134 Abb. 23,5 cm)  Paperback

Gabriel, Roland/ Roehrs, Heinz-Peter/ Unter Mitarb. v. Carsten Dittmar, Peter Gluchowski u. Jochen Mueller

  • SPRINGER, BERLIN(2003発売)
  • ご注文いただけません
Applications of Evolutionary Computation : 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Applications of Evolutionary Computation : 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback

Kaufmann, Paul (EDT)/ Castillo, Pedro A. (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/03発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Trust, Privacy and Security in Digital Business : 15th International Conference, TrustBus 2018, Regensburg, Germany, September 5-6, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Trust, Privacy and Security in Digital Business : 15th International Conference, TrustBus 2018, Regensburg, Germany, September 5-6, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Furnell, Steven (EDT)/ Mouratidis, Haralambos (EDT)/ Pernul, Günther (EDT)

  • Springer International Publishing AG(2018/07発売)
  • ご注文いただけません
Transactions on Petri Nets and Other Models of Concurrency XII (Transactions on Petri Nets and Other Models of Concurrency)
  • 洋書
  • 電子版あり

Transactions on Petri Nets and Other Models of Concurrency XII (Transactions on Petri Nets and Other Models of Concurrency)  Paperback

Koutny, Maciej (EDT)/ Kleijn, Jetty (EDT)/ Penczek, Wojciech (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2017/09発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Data Analytics : 31st British International Conference on Databases, BICOD 2017, London, UK, July 10-12, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Data Analytics : 31st British International Conference on Databases, BICOD 2017, London, UK, July 10-12, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Calì, Andrea (EDT)/ Wood, Peter (EDT)/ Martin, Nigel (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Artho, Cyrille (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Electronic Participation : 10th IFIP WG 8.5 International Conference, ePart 2018, Krems, Austria, September 3-5, 2018, Proceedings (Lecture Notes in Computer Science) (2018)
  • 洋書
  • 電子版あり

Electronic Participation : 10th IFIP WG 8.5 International Conference, ePart 2018, Krems, Austria, September 3-5, 2018, Proceedings (Lecture Notes in Computer Science) (2018)  Paperback,  言語:ENG

Edelmann, Noella (EDT)/ Parycek, Peter (EDT)/ Misuraca, Gianluca (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algebra, Codes and Cryptology : First International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5-7, 2019, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Algebra, Codes and Cryptology : First International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5-7, 2019, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Gueye, Cheikh Thiecoumba (EDT)/ Persichetti, Edoardo (EDT)/ Cayrel, Pierre-Louis (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Stabilization, Safety, and Security of Distributed Systems : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Stabilization, Safety, and Security of Distributed Systems : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Izumi, Taisuke (EDT)/ Kuznetsov, Petr (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Herzig, Andreas (EDT)/ Luo, Jieting (EDT)/ Pardo, Pere (EDT)

  • ウェブストア価格 ¥14,289(本体¥12,990)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 129pt
  • 海外取次在庫
Semantic Systems. in the Era of Knowledge Graphs : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, the Netherlands, September 7-10, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Semantic Systems. in the Era of Knowledge Graphs : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, the Netherlands, September 7-10, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Blomqvist, Eva (EDT)/ Groth, Paul (EDT)/ de Boer, Victor (EDT)

  • ウェブストア価格 ¥10,205(本体¥9,278)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 92pt
  • 海外取次在庫
Security and Privacy in New Computing Environments : Second EAI International Conference, SPNCE 2019, Tianjin, China, April 13-14, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engi
  • 洋書
  • 電子版あり

Security and Privacy in New Computing Environments : Second EAI International Conference, SPNCE 2019, Tianjin, China, April 13-14, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engi  Paperback

Li, Jin (EDT)/ Liu, Zheli (EDT)/ Peng, Hao (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Data Engineering and Automated Learning - IDEAL 2019 : 20th International Conference, Manchester, UK, November 14-16, 2019, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Intelligent Data Engineering and Automated Learning - IDEAL 2019 : 20th International Conference, Manchester, UK, November 14-16, 2019, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Yin, Hujun (EDT)/ Camacho, David (EDT)/ Tino, Peter (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Data Engineering and Automated Learning - IDEAL 2022 : 23rd International Conference, IDEAL 2022, Manchester, UK, November 24-26, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Intelligent Data Engineering and Automated Learning - IDEAL 2022 : 23rd International Conference, IDEAL 2022, Manchester, UK, November 24-26, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Yin, Hujun (EDT)/ Camacho, David (EDT)/ Tino, Peter (EDT)

  • ウェブストア価格 ¥21,886(本体¥19,897)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 198pt
  • 海外からお取り寄せ(通常6~9週間)