Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7317) (2012. 2012. XIV, 500 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7317) (2012. 2012. XIV, 500 S. 235 mm)  Paperback

Herausgegeben von Cimatti, Alessandro/ Sebastiani, Roberto

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
SafeScrum® - Agile Development of Safety-Critical Software
  • 洋書
  • ポイントキャンペーン

SafeScrum® - Agile Development of Safety-Critical Software  Hardcover,  言語:ENG

Hanssen, Geir Kjetil/ Stålhane, Tor/ Myklebust, Thor

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer International Publishing AG(2018/12発売)
  • ポイント 358pt
  • 海外取次在庫
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Appice, Annalisa (EDT)/ Rodrigues, Pedro Pereira (EDT)/ Santos Costa, Vítor (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part I (Lecture Notes in Artificial Intelligence)  Paperback

Appice, Annalisa (EDT)/ Rodrigues, Pedro Pereira (EDT)/ Santos Costa, Vítor (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Proceedings of ELM-2014 Volume 1 : Algorithms and Theories (Proceedings in Adaptation, Learning and Optimization)
  • 洋書
  • ポイントキャンペーン

Proceedings of ELM-2014 Volume 1 : Algorithms and Theories (Proceedings in Adaptation, Learning and Optimization)  Paperback

Cao, Jiuwen (EDT)/ Mao, Kezhi (EDT)/ Cambria, Erik (EDT)

  • Springer International Publishing AG(2016/08発売)
  • ご注文いただけません
Proceedings of ELM-2014 Volume 2 : Applications (Proceedings in Adaptation, Learning and Optimization)
  • 洋書
  • ポイントキャンペーン

Proceedings of ELM-2014 Volume 2 : Applications (Proceedings in Adaptation, Learning and Optimization)  Paperback

Cao, Jiuwen (EDT)/ Mao, Kezhi (EDT)/ Cambria, Erik (EDT)

  • ウェブストア価格 ¥48,319(本体¥43,927)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 878pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Designing Smart Homes : The Role of Artificial Intelligence (Lecture Notes in Computer Science Vol.4008) (2006. XI, 183 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Designing Smart Homes : The Role of Artificial Intelligence (Lecture Notes in Computer Science Vol.4008) (2006. XI, 183 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Juan C. Augusto and Chris D. Nugent

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2006発売)
  • ポイント 254pt
  • 海外取次在庫
Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7294) (2012. 2012. X, 333 S.)
  • 洋書
  • ポイントキャンペーン

Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7294) (2012. 2012. X, 333 S.)  Paperback

Herausgegeben von Schrijvers, Tom/ Thiemann, Peter

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Sequences and Their Applications -- SETA 2012 : 7th International Conference, SETA 2012, Waterloo, ON, Canada, June 4-8, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7280) (2012. 2012. XII, 339 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Sequences and Their Applications -- SETA 2012 : 7th International Conference, SETA 2012, Waterloo, ON, Canada, June 4-8, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7280) (2012. 2012. XII, 339 S. 235 mm)  Paperback

Herausgegeben von Helleseth, Tor/ Jedwab, Jonathan

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Bias and Social Aspects in Search and Recommendation : First International Workshop, BIAS 2020, Lisbon, Portugal, April 14, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Bias and Social Aspects in Search and Recommendation : First International Workshop, BIAS 2020, Lisbon, Portugal, April 14, Proceedings (Communications in Computer and Information Science)  Paperback

Boratto, Ludovico (EDT)/ Faralli, Stefano (EDT)/ Marras, Mirko (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings (Programming and Software Engineering)  Paperback

Ranzato, Francesco (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The Semantic Web - ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

The Semantic Web - ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

d'Amato, Claudia (EDT)/ Fernandez, Miriam (EDT)/ Tamma, Valentina (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The Semantic Web - ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

The Semantic Web - ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

d'Amato, Claudia (EDT)/ Fernandez, Miriam (EDT)/ Tamma, Valentina (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Provable Security : 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings (Security and Cryptology)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Provable Security : 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings (Security and Cryptology)  Paperback,  言語:ENG

Okamoto, Tatsuaki (EDT)/ Yu, Yong (EDT)/ Au, Man-Ho (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 218pt
  • 海外取次在庫
On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II (Programming and Software Engineering)  Paperback,  言語:ENG

Panetto, Hervé (EDT)/ Debruyne, Christophe (EDT)/ Gaaloul, Walid (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Panetto, Hervé (EDT)/ Debruyne, Christophe (EDT)/ Gaaloul, Walid (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Fuzzy Information Processing : 37th Conference of the North American Fuzzy Information Processing Society, NAFIPS 2018, Fortaleza, Brazil, July 4-6, 2018, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Fuzzy Information Processing : 37th Conference of the North American Fuzzy Information Processing Society, NAFIPS 2018, Fortaleza, Brazil, July 4-6, 2018, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Barreto, Guilherme A. (EDT)/ Coelho, Ricardo (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerrito, Serenella (EDT)/ Popescu, Andrei (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Future Information Technology : FutureTech 2013 (Lecture Notes in Electrical Engineering) (2014)
  • 洋書
  • ポイントキャンペーン

Future Information Technology : FutureTech 2013 (Lecture Notes in Electrical Engineering) (2014)  Hardcover,  言語:ENG

Park, James J. (Jong Hyuk) (EDT)/ Stojmenovic, Ivan (EDT)/ Choi, Min (EDT)

  • ウェブストア価格 ¥48,319(本体¥43,927)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 878pt
  • 海外取次在庫
Advances in Visual Computing : 16th International Symposium, ISVC 2021, Virtual Event, October 4-6, 2021, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • ポイントキャンペーン

Advances in Visual Computing : 16th International Symposium, ISVC 2021, Virtual Event, October 4-6, 2021, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Bebis, George (EDT)/ Athitsos, Vassilis (EDT)/ Yan, Tong (EDT)

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer Nature Switzerland AG(2021/12発売)
  • ポイント 358pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。