Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Porkoláb, Zoltán (EDT)/ Zsók, Viktória (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 161pt
  • 海外取次在庫
Hybrid Artificial Intelligent Systems : 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Hybrid Artificial Intelligent Systems : 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Martínez-Álvarez, Francisco (EDT)/ Troncoso, Alicia (EDT)/ Quintián, Héctor (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science) (2017)
  • 洋書
  • 電子版あり

Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science) (2017)  Paperback

Ayala-Rincon, Mauricio (EDT)/ Munoz, Cesar A. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cooperative Control : A Post-Workshop Volume 2003 Block Island Workshop on Cooperative Control (Lecture Notes in Control and Information Sciences Vol.309) (2004. XII, 291 p. w. 210 figs. 23,5 cm)
  • 洋書

Cooperative Control : A Post-Workshop Volume 2003 Block Island Workshop on Cooperative Control (Lecture Notes in Control and Information Sciences Vol.309) (2004. XII, 291 p. w. 210 figs. 23,5 cm)  Paperback,  言語:ENG

Ed. by A. S. Morse, N. Leonard and V. Kumar

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 240pt
  • 海外取次在庫
Recent Advances in Memetic Algorithms (Studies in Fuzziness and Soft Computing Vol.166) (2004. 410 p. 24 cm)
  • 洋書

Recent Advances in Memetic Algorithms (Studies in Fuzziness and Soft Computing Vol.166) (2004. 410 p. 24 cm)  Paperback

Ed. by W. E. Hart, N. Krasnogor and J. E. Smith

  • ウェブストア価格 ¥39,703(本体¥36,094)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 360pt
  • 海外取次在庫
Pattern Recognition : 17th Mexican Conference, MCPR 2025, Guanajuato, Mexico, June 25-28, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Pattern Recognition : 17th Mexican Conference, MCPR 2025, Guanajuato, Mexico, June 25-28, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback

López-Monroy, Adrián Pastor (EDT)/ Rosales-Pérez, Alejandro (EDT)/ Carrasco-Ochoa, Jesús Ariel (EDT)

  • Springer International Publishing AG(2025/06発売)
  • ご注文いただけません
Applied Technologies : Third International Conference, ICAT 2021, Quito, Ecuador, October 27-29, 2021, Proceedings (Communications in Computer and Information Science)
  • 洋書

Applied Technologies : Third International Conference, ICAT 2021, Quito, Ecuador, October 27-29, 2021, Proceedings (Communications in Computer and Information Science)  Paperback

Botto-Tobar, Miguel (EDT)/ Montes León, Sergio (EDT)/ Torres-Carrión, Pablo (EDT)

  • ウェブストア価格 ¥24,994(本体¥22,722)
  • Springer International Publishing AG(2022/04発売)
  • ポイント 227pt
  • 海外からお取り寄せ(通常6~9週間)
Formal SQL Tuning for Oracle Databases : Practical Efficiency - Efficient Practice
  • 洋書

Formal SQL Tuning for Oracle Databases : Practical Efficiency - Efficient Practice  Paperback

Nossov, Leonid/ Ernst, Hanno/ Chupis, Victor

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2018/06発売)
  • ポイント 113pt
  • 海外取次在庫
Computing Statistics under Interval and Fuzzy Uncertainty : Applications to Computer Science and Engineering (Studies in Computational Intelligence) (2012)
  • 洋書

Computing Statistics under Interval and Fuzzy Uncertainty : Applications to Computer Science and Engineering (Studies in Computational Intelligence) (2012)  Paperback,  言語:ENG

Nguyen, Hung T./ Kreinovich, Vladik/ Wu, Berlin

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/01発売)
  • ポイント 322pt
  • 海外取次在庫
Progress in Artificial Intelligence and Pattern Recognition : 8th International Congress on Artificial Intelligence and Pattern Recognition, IWAIPR 2023, Varadero, Cuba, September 27-29, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Progress in Artificial Intelligence and Pattern Recognition : 8th International Congress on Artificial Intelligence and Pattern Recognition, IWAIPR 2023, Varadero, Cuba, September 27-29, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Hernández Heredia, Yanio (EDT)/ Milián Núñez, Vladimir (EDT)/ Ruiz Shulcloper, José (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 170pt
  • 海外取次在庫
Energy-Efficient Modular Exponential Techniques for Public-Key Cryptography : Efficient Modular Exponential Techniques
  • 洋書

Energy-Efficient Modular Exponential Techniques for Public-Key Cryptography : Efficient Modular Exponential Techniques  Hardcover

Vollala, Satyanarayana/ Ramasubramanian, N./ Tiwari, Utkarsh

  • ウェブストア価格 ¥41,674(本体¥37,886)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 378pt
  • 海外取次在庫
Energy-Efficient Modular Exponential Techniques for Public-Key Cryptography : Efficient Modular Exponential Techniques
  • 洋書

Energy-Efficient Modular Exponential Techniques for Public-Key Cryptography : Efficient Modular Exponential Techniques  Paperback

Vollala, Satyanarayana/ Ramasubramanian, N./ Tiwari, Utkarsh

  • ウェブストア価格 ¥41,674(本体¥37,886)
  • Springer Nature Switzerland AG(2022/07発売)
  • ポイント 378pt
  • 海外取次在庫
Progress in Artificial Intelligence and Pattern Recognition : 6th International Workshop, IWAIPR 2018, Havana, Cuba, September 24-26, 2018, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり

Progress in Artificial Intelligence and Pattern Recognition : 6th International Workshop, IWAIPR 2018, Havana, Cuba, September 24-26, 2018, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Hernández Heredia, Yanio (EDT)/ Milián Núñez, Vladimir (EDT)/ Ruiz Shulcloper, José (EDT)

  • Springer Nature Switzerland AG(2018/09発売)
  • ご注文いただけません
Hybrid Artificial Intelligent Systems : 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Hybrid Artificial Intelligent Systems : 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Martínez de Pisón, Francisco Javier (EDT)/ Urraca, Rubén (EDT)/ Quintián, Héctor (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Feistel Ciphers : Security Proofs and Cryptanalysis
  • 洋書

Feistel Ciphers : Security Proofs and Cryptanalysis  Paperback,  言語:ENG

Nachef, Valerie/ Patarin, Jacques/ Volte, Emmanuel

  • ウェブストア価格 ¥41,674(本体¥37,886)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 378pt
  • 海外取次在庫
Fuzzy Semirings with Applications to Automata Theory (Studies in Fuzziness and Soft Computing) (2012)
  • 洋書

Fuzzy Semirings with Applications to Automata Theory (Studies in Fuzziness and Soft Computing) (2012)  Paperback,  言語:ENG

Ahsan, Javed/ Mordeson, John N./ Shabir, Muhammad

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/04発売)
  • ポイント 208pt
  • 海外取次在庫
Formale Grundlagen der Programmierung (Studium) (2012. viii, 194 S. VIII, 194 S. 240 mm)
  • 洋書

Formale Grundlagen der Programmierung (Studium) (2012. viii, 194 S. VIII, 194 S. 240 mm)  Paperback

Nebel, Markus

  • ウェブストア価格 ¥6,923(本体¥6,294)
  • VIEWEG+TEUBNER; SPRINGER, BERLIN; VIEWEG+TEUBNER VERL(2012発売)
  • ポイント 62pt
  • 海外からお取り寄せ(通常6~9週間)
Artificial Intelligence in Education : 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Artificial Intelligence in Education : 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part I (Lecture Notes in Artificial Intelligence)  Paperback

Isotani, Seiji (EDT)/ Millán, Eva (EDT)/ Ogan, Amy (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 227pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence in Education : 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Artificial Intelligence in Education : 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Isotani, Seiji (EDT)/ Millán, Eva (EDT)/ Ogan, Amy (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 170pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Next Generation Arithmetic : 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Next Generation Arithmetic : 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Michalewicz, Marek (EDT)/ Gustafson, John (EDT)/ De Silva, Himeshi (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 104pt
  • 海外からお取り寄せ(通常6~9週間)