Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 94pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 94pt
  • 海外取次在庫
Innovations in Intelligent Machines -3 : Contemporary Achievements in Intelligent Systems (Studies in Computational Intelligence) (2013)
  • 洋書

Innovations in Intelligent Machines -3 : Contemporary Achievements in Intelligent Systems (Studies in Computational Intelligence) (2013)  Paperback

Jordanov, Ivan (EDT)/ Jain, Lakhmi C (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 208pt
  • 海外取次在庫
Collaborative Networks in the Internet of Services : 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012, Proceedings (IFIP Advances in Information and Communication Technology .380) (2012. 2012. XVII, 647 S. 235 mm)
  • 洋書

Collaborative Networks in the Internet of Services : 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012, Proceedings (IFIP Advances in Information and Communication Technology .380) (2012. 2012. XVII, 647 S. 235 mm)  Hardcover

Herausgegeben von Camarinha-Matos, Luis M./ Xu, Lai/ Afsarmanesh, Hamideh

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 240pt
  • 海外からお取り寄せ(通常6~9週間)
Open and Social Technologies for Networked Learning : IFIP WG 3.4 International Conference, OST 2012, Tallinn, Estonia, July 30 - August 3, 2012, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2013)
  • 洋書

Open and Social Technologies for Networked Learning : IFIP WG 3.4 International Conference, OST 2012, Tallinn, Estonia, July 30 - August 3, 2012, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2013)  Hardcover,  言語:ENG

Ley, Tobias (EDT)/ Ruohonen, Mikko (EDT)/ Laanpere, Mart (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ご注文いただけません
Cloud Computing, Big Data and Emerging Topics : 12th Conference, JCC-BD&ET 2024, La Plata, Argentina, June 25-27, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2024)
  • 洋書

Cloud Computing, Big Data and Emerging Topics : 12th Conference, JCC-BD&ET 2024, La Plata, Argentina, June 25-27, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Naiouf, Marcelo (EDT)/ De Giusti, Laura (EDT)/ Chichizola, Franco (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 227pt
  • 海外取次在庫
Emerging Paradigms in Machine Learning (Smart Innovation, Systems and Technologies) (2013)
  • 洋書

Emerging Paradigms in Machine Learning (Smart Innovation, Systems and Technologies) (2013)  Paperback

Ramanna, Sheela (EDT)/ Jain, Lakhmi C (EDT)/ Howlett, Robert J. (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/08発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Local Binary Patterns: New Variants and Applications (Studies in Computational Intelligence)
  • 洋書

Local Binary Patterns: New Variants and Applications (Studies in Computational Intelligence)  Paperback

Brahnam, Sheryl (EDT)/ Jain, Lakhmi C. (EDT)/ Nanni, Loris (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/08発売)
  • ご注文いただけません
Geographical Information Systems Theory, Applications and Management : Second International Conference, GISTAM 2016, Rome, Italy, April 26-27, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Geographical Information Systems Theory, Applications and Management : Second International Conference, GISTAM 2016, Rome, Italy, April 26-27, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Grueau, Cedric (EDT)/ Laurini, Robert (EDT)/ Rocha, Jorge Gustavo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Katoen, Joost-Pieter (EDT)/ Langerak, Rom (EDT)/ Rensink, Arend (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Blanchette, Jasmin (EDT)/ Kovács, Laura (EDT)/ Pattinson, Dirk (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 94pt
  • 海外取次在庫
Advanced Query Processing : Volume 1: Issues and Trends (Intelligent Systems Reference Library) (2013)
  • 洋書

Advanced Query Processing : Volume 1: Issues and Trends (Intelligent Systems Reference Library) (2013)  Paperback

Catania, Barbara (EDT)/ Jain, Lakhmi C. (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/08発売)
  • ポイント 208pt
  • 海外取次在庫
Security of Industrial Control Systems and Cyber-Physical Systems : Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers (Security and Cryptology)
  • 洋書
  • 電子版あり

Security of Industrial Control Systems and Cyber-Physical Systems : Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers (Security and Cryptology)  Paperback,  言語:ENG

Cuppens-Boulahia, Nora (EDT)/ Lambrinoudakis, Costas (EDT)/ Cuppens, Frédéric (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 104pt
  • 海外取次在庫
Trends and Applications in Knowledge Discovery and Data Mining : PAKDD 2019 Workshops, BDM, DLKT, LDRC, PAISI, WeL, Macau, China, April 14-17, 2019, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Trends and Applications in Knowledge Discovery and Data Mining : PAKDD 2019 Workshops, BDM, DLKT, LDRC, PAISI, WeL, Macau, China, April 14-17, 2019, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

U., Leong Hou (EDT)/ Lauw, Hady W. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • 海外取次在庫
Computational Collective Intelligence : 13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 - October 1, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Computational Collective Intelligence : 13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 - October 1, 2021, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Nguyen, Ngoc Thanh (EDT)/ Iliadis, Lazaros (EDT)/ Maglogiannis, Ilias (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 227pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Diffusion MRI and Brain Connectivity : MICCAI Workshops, Nagoya, Japan, September 22nd, 2013 (Mathematics and Visualization)
  • 洋書

Computational Diffusion MRI and Brain Connectivity : MICCAI Workshops, Nagoya, Japan, September 22nd, 2013 (Mathematics and Visualization)  Hardcover,  言語:ENG

Schultz, Thomas (EDT)/ Nedjati-Gilani, Gemma (EDT)/ Venkataraman, Archana (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2014/01発売)
  • ポイント 208pt
  • 海外取次在庫
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7321) (2012. 2012. XII, 360 S. 235 mm)
  • 洋書

Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7321) (2012. 2012. XII, 360 S. 235 mm)  Paperback

Herausgegeben von Derrick, John/ Gnesi, Stefania/ Latella, Diego/ Treharne, Helen

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Innovations in Intelligent Image Analysis (Studies in Computational Intelligence) (2011)
  • 洋書

Innovations in Intelligent Image Analysis (Studies in Computational Intelligence) (2011)  Paperback

Kwasnicka, Halina (EDT)/ Jain, Lakhmi C (EDT)

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/11発売)
  • ポイント 322pt
  • 海外取次在庫
E-Learning Paradigms and Applications : Agent-based Approach (Studies in Computational Intelligence)
  • 洋書

E-Learning Paradigms and Applications : Agent-based Approach (Studies in Computational Intelligence)  Paperback

Ivanović, Mirjana (EDT)/ Jain, Lakhmi C. (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/09発売)
  • ご注文いただけません
Successful Case-based Reasoning Applications-2 (Studies in Computational Intelligence)
  • 洋書

Successful Case-based Reasoning Applications-2 (Studies in Computational Intelligence)  Paperback

Montani, Stefania (EDT)/ Jain, Lakhmi C. (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/08発売)
  • ご注文いただけません