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,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Progress in Artificial Intelligence : 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part I (Lecture Notes in Computer Science 14967) (2024. xxxiv, 438 S. XXXIV, 438 p. 114 illus., 77 illus. in color. 235)
  • 洋書

Progress in Artificial Intelligence : 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part I (Lecture Notes in Computer Science 14967) (2024. xxxiv, 438 S. XXXIV, 438 p. 114 illus., 77 illus. in color. 235)  Paperback

Herausgegeben:Santos, Manuel Filipe/ Machado, José/ Novais, Paulo/ Cortez, Paulo/ Moreira, Pedro Miguel

  • ウェブストア価格 ¥20,150(本体¥18,319)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 183pt
  • 海外取次在庫
Progress in Artificial Intelligence : 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part III (Lecture Notes in Computer Science 14969) (2024. xxvi, 376 S. XXVI, 376 p. 102 illus., 84 illus. in color. 235 mm)
  • 洋書

Progress in Artificial Intelligence : 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part III (Lecture Notes in Computer Science 14969) (2024. xxvi, 376 S. XXVI, 376 p. 102 illus., 84 illus. in color. 235 mm)  Paperback

Herausgegeben:Santos, Manuel Filipe/ Machado, José/ Novais, Paulo/ Cortez, Paulo/ Moreira, Pedro Miguel

  • ウェブストア価格 ¥17,972(本体¥16,339)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 163pt
  • 海外取次在庫
Progress in Artificial Intelligence : 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり

Progress in Artificial Intelligence : 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)  Paperback

Santos, Manuel Filipe (EDT)/ Machado, José (EDT)/ Novais, Paulo (EDT)

  • ウェブストア価格 ¥16,391(本体¥14,901)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 149pt
  • 海外からお取り寄せ(通常6~9週間)
Dynamic Logic. New Trends and Applications : Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書

Dynamic Logic. New Trends and Applications : Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Martins, Manuel A. (EDT)/ Sedlár, Igor (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Systems Technologies and Applications 2016 (Advances in Intelligent Systems and Computing)
  • 洋書

Intelligent Systems Technologies and Applications 2016 (Advances in Intelligent Systems and Computing)  Paperback

Corchado Rodriguez, Juan Manuel (EDT)/ Mitra, Sushmita (EDT)/ Thampi, Sabu M. (EDT)

  • ウェブストア価格 ¥70,622(本体¥64,202)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 642pt
  • 海外取次在庫
Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Hermenegildo, Manuel V. (EDT)/ Morales, José F. (EDT)

  • ウェブストア価格 ¥19,258(本体¥17,508)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 175pt
  • 海外からお取り寄せ(通常6~9週間)
Serious Games Development and Applications : 5th International Conference, SGDA 2014, Berlin, Germany, October 9-10, 2014. Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Serious Games Development and Applications : 5th International Conference, SGDA 2014, Berlin, Germany, October 9-10, 2014. Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Ma, Minhua (EDT)/ Oliveira, Manuel Fradinho (EDT)/ Baalsrud Hauge, Jannicke (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 106pt
  • 海外取次在庫
Serious Games : Second Joint International Conference, JCSG 2016, Brisbane, QLD, Australia, September 26-27, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Serious Games : Second Joint International Conference, JCSG 2016, Brisbane, QLD, Australia, September 26-27, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Marsh, Tim (EDT)/ Ma, Minhua (EDT)/ Oliveira, Manuel Fradinho (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 106pt
  • 海外取次在庫
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback

Hermenegildo, Manuel V (EDT)/ Lopez-Garcia, Pedro (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Gait-Based Identification : A Systematic Review of Deep Learning Models Leveraging Computer Vision Techniques (Studies in Systems, Decision and Control 593) (2025. xix, 96 S. XIX, 96 p. 22 illus., 18 illus. in color. 235 mm)
  • 洋書
  • 電子版あり

Advances in Gait-Based Identification : A Systematic Review of Deep Learning Models Leveraging Computer Vision Techniques (Studies in Systems, Decision and Control 593) (2025. xix, 96 S. XIX, 96 p. 22 illus., 18 illus. in color. 235 mm)  Hardcover

Bastos, Diogo R. M./R. S. Tavares, Joã/o Manuel

  • ウェブストア価格 ¥46,297(本体¥42,089)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 420pt
  • 海外取次在庫
Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Madeira, Alexandre (EDT)/ Martins, Manuel A. (EDT)

  • ウェブストア価格 ¥12,838(本体¥11,671)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 116pt
  • 海外取次在庫
Bio-Imaging and Visualization for Patient-Customized Simulations (Lecture Notes in Computational Vision and Biomechanics)
  • 洋書

Bio-Imaging and Visualization for Patient-Customized Simulations (Lecture Notes in Computational Vision and Biomechanics)  Paperback

Tavares, João Manuel R. S. (EDT)/ Luo, Xiongbiao (EDT)/ Li, Shuo (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
VipIMAGE 2017 : Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017 (Lecture Notes in Computational Vision and Biomechanics .27) (1st ed. 2018. 2017. xxix, 1160 S. XXIX, 1160 p. 631 illus. 235 mm)
  • 洋書
  • 電子版あり

VipIMAGE 2017 : Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017 (Lecture Notes in Computational Vision and Biomechanics .27) (1st ed. 2018. 2017. xxix, 1160 S. XXIX, 1160 p. 631 illus. 235 mm)  Hardcover,  言語:ENG

Herausgegeben von Tavares, Joã/o Manuel R.S./ Natal Jorge, R. M.

  • ウェブストア価格 ¥40,850(本体¥37,137)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2017発売)
  • ポイント 371pt
  • 海外からお取り寄せ(通常6~9週間)
Computational Modeling of Objects Presented in Images: Fundamentals, Methods, and Applications : 4th International Conference, CompIMAGE 2014, Pittsburgh, PA, USA, September 3-5, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Computational Modeling of Objects Presented in Images: Fundamentals, Methods, and Applications : 4th International Conference, CompIMAGE 2014, Pittsburgh, PA, USA, September 3-5, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback

Zhang, Yongjie Jessica (EDT)/ Tavares, João Manuel R.S. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Knowledge Management in Organizations : 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Knowledge Management in Organizations : 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019, Proceedings (Communications in Computer and Information Science)  Paperback

Uden, Lorna (EDT)/ Ting, I-Hsien (EDT)/ Corchado, Juan Manuel (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Current Trends in Web Engineering : ICWE 2020 International Workshops, KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 9-12, 2020, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Current Trends in Web Engineering : ICWE 2020 International Workshops, KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 9-12, 2020, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ko, In-Young (EDT)/ Murillo, Juan Manuel (EDT)/ Vuorimaa, Petri (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. the PAAMS Collection : 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6-8, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. the PAAMS Collection : 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6-8, 2021, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Dignum, Frank (EDT)/ Corchado, Juan Manuel (EDT)/ De La Prieta, Fernando (EDT)

  • ウェブストア価格 ¥18,188(本体¥16,535)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 165pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th  IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3235) (2004. X, 377 p. 23,5 cm)
  • 洋書

Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3235) (2004. X, 377 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by David de Frutos-Escrig a. Manuel Nunez

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (2019)
  • 洋書
  • 電子版あり

Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

Chaves, Madalena (EDT)/ Martins, Manuel A. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。