361～380件／全1374件 セーフサーチON


Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Theoretical Computer Science and General Issues)  Paperback

Jobstmann, Barbara (EDT)/ Leino, K. Rustan M. (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2015/12発売）
  • ご注文いただけません
Frontiers of Intelligent Autonomous Systems (Studies in Computational Intelligence) （2013）
  • 洋書

Frontiers of Intelligent Autonomous Systems (Studies in Computational Intelligence) （2013）  Paperback

Lee, Sukhan (EDT)/ Yoon, Kwang-Joon (EDT)/ Lee, Jangmyung (EDT)

  • ウェブストア価格 ¥36,380（本体¥33,073）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2015/02発売）
  • ポイント 330pt
  • 海外取次在庫
Web and Big Data : 5th International Joint Conference, APWeb-WAIM 2021, Guangzhou, China, August 23-25, 2021, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Web and Big Data : 5th International Joint Conference, APWeb-WAIM 2021, Guangzhou, China, August 23-25, 2021, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語：ENG

U, Leong Hou (EDT)/ Spaniol, Marc (EDT)/ Sakurai, Yasushi (EDT)

  • ウェブストア価格 ¥25,679（本体¥23,345）
  • Springer Nature Switzerland AG（2021/08発売）
  • ポイント 233pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Web and Big Data : 5th International Joint Conference, APWeb-WAIM 2021, Guangzhou, China, August 23-25, 2021, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Web and Big Data : 5th International Joint Conference, APWeb-WAIM 2021, Guangzhou, China, August 23-25, 2021, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語：ENG

U, Leong Hou (EDT)/ Spaniol, Marc (EDT)/ Sakurai, Yasushi (EDT)

  • ウェブストア価格 ¥17,118（本体¥15,562）
  • Springer Nature Switzerland AG（2021/08発売）
  • ポイント 155pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
International Conference on Applied Technologies : 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part I (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

International Conference on Applied Technologies : 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part I (Communications in Computer and Information Science)  Paperback

Botto-Tobar, Miguel (EDT)/ Lema Moreta, Lohana (EDT)/ Zambrano Vizuete, Marcelo (EDT)

  • ウェブストア価格 ¥54,644（本体¥49,677）
  • Springer International Publishing AG（2025/05発売）
  • ポイント 496pt
  • 海外からお取り寄せ（通常6～9週間）
International Conference on Applied Technologies : 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part II (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

International Conference on Applied Technologies : 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part II (Communications in Computer and Information Science)  Paperback

Botto-Tobar, Miguel (EDT)/ Lema Moreta, Lohana (EDT)/ Zambrano Vizuete, Marcelo (EDT)

  • ウェブストア価格 ¥21,855（本体¥19,869）
  • Springer International Publishing AG（2025/05発売）
  • ポイント 198pt
  • 海外からお取り寄せ（通常6～9週間）
Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part III (Advances in Intelligent Systems and Computing)
  • 洋書

Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part III (Advances in Intelligent Systems and Computing)  Paperback

Świątek, Jerzy (EDT)/ Borzemski, Leszek (EDT)/ Grzech, Adam (EDT)

  • ウェブストア価格 ¥23,538（本体¥21,399）
  • Springer International Publishing AG（2016/02発売）
  • ポイント 213pt
  • 海外取次在庫
Knowledge Representation for Health Care : AIME 2015 International Joint Workshop, KR4HC/ProHealth 2015, Pavia, Italy, June 20, 2015, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Knowledge Representation for Health Care : AIME 2015 International Joint Workshop, KR4HC/ProHealth 2015, Pavia, Italy, June 20, 2015, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語：ENG

Riaño, David (EDT)/ Lenz, Richard (EDT)/ Miksch, Silvia (EDT)

  • ウェブストア価格 ¥9,628（本体¥8,753）
  • Springer International Publishing AG（2015/11発売）
  • ポイント 87pt
  • 海外取次在庫
Algorithms for Sensor Systems : 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers (Computer Communication Networks and Telecommuni
  • 洋書

Algorithms for Sensor Systems : 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers (Computer Communication Networks and Telecommuni  Paperback,  言語：ENG

Bose, Prosenjit (EDT)/ Gąsieniec, Leszek Antoni (EDT)/ Römer, Kay (EDT)

  • ウェブストア価格 ¥11,767（本体¥10,698）
  • Springer International Publishing AG（2016/02発売）
  • ポイント 106pt
  • 海外取次在庫
Artificial Intelligence and Computational Intelligence : 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012, Proceedings (Lecture Notes in Computer Science Vol.7530) （2012. XIX, 788 p.）
  • 洋書

Artificial Intelligence and Computational Intelligence : 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012, Proceedings (Lecture Notes in Computer Science Vol.7530) （2012. XIX, 788 p.）  Paperback,  言語：ENG

Herausgegeben von Lei, Jingsheng/ Wang, Fu Lee/ Deng, Hepu/ Miao, Duoqian

  • ウェブストア価格 ¥13,614（本体¥12,377）
  • SPRINGER, BERLIN（2012発売）
  • ポイント 123pt
  • 海外取次在庫
Challenges and Algorithms for Knowledge Discovery from Data : Essays Dedicated to Arno Siebes on the Occasion of His 67th Birthday (Lecture Notes in Computer Science 16067) （2025. xiv, 227 S. XIV, 227 p. 44 illus., 37 illus. in color. 235 mm）
  • 洋書

Challenges and Algorithms for Knowledge Discovery from Data : Essays Dedicated to Arno Siebes on the Occasion of His 67th Birthday (Lecture Notes in Computer Science 16067) （2025. xiv, 227 S. XIV, 227 p. 44 illus., 37 illus. in color. 235 mm）  Paperback

Herausgegeben:van Leeuwen, Matthijs/ Vreeken, Jilles

  • ウェブストア価格 ¥17,972（本体¥16,339）
  • SPRINGER, BERLIN; SPRINGER（2025発売）
  • ポイント 163pt
  • 海外からお取り寄せ（通常6～9週間）
Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part IV (Advances in Intelligent Systems and Computing)
  • 洋書

Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part IV (Advances in Intelligent Systems and Computing)  Paperback

Wilimowska, Zofia (EDT)/ Borzemski, Leszek (EDT)/ Grzech, Adam (EDT)

  • ウェブストア価格 ¥23,538（本体¥21,399）
  • Springer International Publishing AG（2016/02発売）
  • ポイント 213pt
  • 海外取次在庫
Future Access Enablers for Ubiquitous and Intelligent Infrastructures : First International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015. Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences,
  • 洋書
  • 電子版あり

Future Access Enablers for Ubiquitous and Intelligent Infrastructures : First International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015. Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences,  Paperback,  言語：ENG

Atanasovski, Vladimir (EDT)/ Leon-Garcia, Alberto (EDT)

  • Springer International Publishing AG（2015/12発売）
  • ご注文いただけません
Data Analytics for Renewable Energy Integration : Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers (Lecture Notes in Artificial Intelligence) （2014）
  • 洋書

Data Analytics for Renewable Energy Integration : Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers (Lecture Notes in Artificial Intelligence) （2014）  Paperback,  言語：ENG

Woon, Wei Lee (EDT)/ Aung, Zeyar (EDT)/ Madnick, Stuart (EDT)

  • ウェブストア価格 ¥11,767（本体¥10,698）
  • Springer International Publishing AG（2014/12発売）
  • ポイント 106pt
  • 海外取次在庫
Canadian Semantic Web (Semantic Web and beyond : Computing for Human Experience) 〈Vol. 2〉
  • 洋書

Canadian Semantic Web (Semantic Web and beyond : Computing for Human Experience) 〈Vol. 2〉  Hardcover,  言語：ENG

Koné, M. T. (EDT)/ Lemire, D. (EDT)

  • ウェブストア価格 ¥36,380（本体¥33,073）
  • Springer（2006/10発売）
  • ポイント 330pt
  • 海外取次在庫
Declarative Agent Languages and Technologies, DALT 2003 : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003. Revised Selected and Invited Papers (Lecture Notes in Artificial Intelligence Vol.2990) （2004. XII, 281 p. 23,5 cm）
  • 洋書

Declarative Agent Languages and Technologies, DALT 2003 : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003. Revised Selected and Invited Papers (Lecture Notes in Artificial Intelligence Vol.2990) （2004. XII, 281 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Joao Leite, Andrea Omicini, Leon Sterling et al.

  • ウェブストア価格 ¥13,614（本体¥12,377）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 123pt
  • 海外取次在庫
Games and Learning Alliance : 13th International Conference, GALA 2024, Berlin, Germany, November 20-22, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Games and Learning Alliance : 13th International Conference, GALA 2024, Berlin, Germany, November 20-22, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Schönbohm, Avo (EDT)/ Bellotti, Francesco (EDT)/ Bucchiarone, Antonio (EDT)

  • ウェブストア価格 ¥29,959（本体¥27,236）
  • Springer International Publishing AG（2024/12発売）
  • ポイント 272pt
  • 海外取次在庫
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016 : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016 : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Ourselin, Sebastien (EDT)/ Joskowicz, Leo (EDT)/ Sabuncu, Mert R. (EDT)

  • ウェブストア価格 ¥11,767（本体¥10,698）
  • Springer International Publishing AG（2016/10発売）
  • ポイント 106pt
  • 海外取次在庫
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016 : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016 : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Ourselin, Sebastien (EDT)/ Joskowicz, Leo (EDT)/ Sabuncu, Mert R. (EDT)

  • ウェブストア価格 ¥11,767（本体¥10,698）
  • Springer International Publishing AG（2016/10発売）
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016 : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part III (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016 : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part III (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Ourselin, Sebastien (EDT)/ Joskowicz, Leo (EDT)/ Sabuncu, Mert R. (EDT)

  • ウェブストア価格 ¥11,767（本体¥10,698）
  • Springer International Publishing AG（2016/10発売）
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
361～380件／全1374件