Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback

Sekerinski, Emil (EDT)/ Moreira, Nelma (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science)  Paperback

Sekerinski, Emil (EDT)/ Moreira, Nelma (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence in Music, Sound, Art and Design : 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Artificial Intelligence in Music, Sound, Art and Design : 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Johnson, Colin (EDT)/ Rodríguez-Fernández, Nereida (EDT)/ Rebelo, Sérgio M. (EDT)

  • ウェブストア価格 ¥21,399(本体¥19,454)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 388pt
  • 海外取次在庫
対テロリズムの計算的手法<br>Computational Methods for Counterterrorism (2009. XXVIII, 306 S. 135 SW-Abb., 8 Farbabb., 40 Tabellen. 235 mm)
  • 洋書
  • ポイントキャンペーン

対テロリズムの計算的手法
Computational Methods for Counterterrorism (2009. XXVIII, 306 S. 135 SW-Abb., 8 Farbabb., 40 Tabellen. 235 mm)
 Hardcover,  言語:ENG

Herausgegeben von Argamon, Shlomo/ Howard, Newton

  • ウェブストア価格 ¥27,079(本体¥24,618)
  • SPRINGER, BERLIN(2009発売)
  • ポイント 492pt
  • 海外からお取り寄せ(通常6~9週間)
NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Programming and Software Engineering) (2013)
  • 洋書
  • ポイントキャンペーン

NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Brat, Guillaume (EDT)/ Rungta, Neha (EDT)/ Venet, Arnaud (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 212pt
  • 海外取次在庫
Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7386) (2012. 2012. X, 320 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7386) (2012. 2012. X, 320 S. 235 mm)  Paperback

Herausgegeben von Kutrib, Martin/ Moreira, Nelma/ Reis, Rog

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 246pt
  • 海外取次在庫
Artificial Intelligence in Music, Sound, Art and Design : 11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Artificial Intelligence in Music, Sound, Art and Design : 11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Martins, Tiago (EDT)/ Rodríguez-Fernández, Nereida (EDT)/ Rebelo, Sérgio M. (EDT)

  • ウェブストア価格 ¥29,907(本体¥27,189)
  • Springer International Publishing AG(2022/04発売)
  • ポイント 542pt
  • 海外からお取り寄せ(通常6~9週間)
Integer Programming and Combinatorial Optimization, IPCO 2004 : 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004. Proceedings (Lecture Notes in Computer Science Vol.3064) (2004. XI, 445 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Integer Programming and Combinatorial Optimization, IPCO 2004 : 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004. Proceedings (Lecture Notes in Computer Science Vol.3064) (2004. XI, 445 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Daniel Bienstock and George Nemhauser

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 246pt
  • 海外取次在庫
ICT Innovations 2018. Engineering and Life Sciences : 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17-19, 2018, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

ICT Innovations 2018. Engineering and Life Sciences : 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17-19, 2018, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Kalajdziski, Slobodan (EDT)/ Ackovska, Nevena (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2018/09発売)
  • ポイント 212pt
  • 海外取次在庫
Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation : First International Workshop, MOVE 2020, Virtual Event, October 17-18, 2020, Revised Selected Papers (Communications in Comput
  • 洋書
  • ポイントキャンペーン

Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation : First International Workshop, MOVE 2020, Virtual Event, October 17-18, 2020, Revised Selected Papers (Communications in Comput  Paperback

Polovina, Rubina (EDT)/ Polovina, Simon (EDT)/ Kemp, Neil (EDT)

  • ウェブストア価格 ¥18,188(本体¥16,535)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 330pt
  • 海外取次在庫
Usability, Accessibility and Ambient Assisted Living (Springerbriefs in Human-computer Interaction)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Usability, Accessibility and Ambient Assisted Living (Springerbriefs in Human-computer Interaction)  Paperback,  言語:ENG

Queirós, Alexandra (EDT)/ Rocha, Nelson Pacheco da (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2019/01発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Business Process Management : 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Business Process Management : 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Motahari-Nezhad, Hamid Reza (EDT)/ Recker, Jan (EDT)/ Weidlich, Matthias (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 212pt
  • 海外取次在庫
Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II (Communications in Computer and Information Science)  Paperback,  言語:ENG

Nowaczyk, Sławomir (EDT)/ Biecek, Przemysław (EDT)/ Chung, Neo Christopher (EDT)

  • ウェブストア価格 ¥27,819(本体¥25,290)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 504pt
  • 海外取次在庫
Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I (Communications in Computer and Information Science)  Paperback,  言語:ENG

Nowaczyk, Sławomir (EDT)/ Biecek, Przemysław (EDT)/ Chung, Neo Christopher (EDT)

  • ウェブストア価格 ¥25,679(本体¥23,345)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 466pt
  • 海外取次在庫
High Performance Computing : First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings (Communications in Computer and Information Science) (2014)
  • 洋書
  • ポイントキャンペーン

High Performance Computing : First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings (Communications in Computer and Information Science) (2014)  Paperback

Hernandez, Gonzalo (EDT)/ Barrios Hernandez, Carlos Jaime (EDT)/ Díaz, Gilberto (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 212pt
  • 海外取次在庫
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers (Programming and Software Engineering)  Paperback,  言語:ENG

Gorentla Venkata, Manjunath (EDT)/ Imam, Neena (EDT)/ Pophale, Swaroop (EDT)

  • ウェブストア価格 ¥12,840(本体¥11,673)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 232pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Neural Networks in Pattern Recognition : 4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 5998) (2010. XII, 280 S.)
  • 洋書
  • ポイントキャンペーン

Artificial Neural Networks in Pattern Recognition : 4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 5998) (2010. XII, 280 S.)  Paperback

Herausgegeben von Schwenker, Friedhelm/ El Gayar, Neamat

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 246pt
  • 海外取次在庫
Cooperative Robots and Sensor Networks 2015 (Studies in Computational Intelligence)
  • 洋書
  • ポイントキャンペーン

Cooperative Robots and Sensor Networks 2015 (Studies in Computational Intelligence)  Paperback

Koubâa, Anis (EDT)/ Martínez-de Dios, J.Ramiro (EDT)

  • Springer International Publishing AG(2016/10発売)
  • ご注文いただけません
Intelligent Computing, Smart Communication and Network Technologies : First International Conference, ICICSCNT 2023, Chennai, India, May 17-18, 2023, Proceedings (Communications in Computer and Information Science 1970) (2024. xiv, 436 S. XIV, 436 p. 275 illus., 205 illus. in color. 235 mm)
  • 洋書
  • ポイントキャンペーン

Intelligent Computing, Smart Communication and Network Technologies : First International Conference, ICICSCNT 2023, Chennai, India, May 17-18, 2023, Proceedings (Communications in Computer and Information Science 1970) (2024. xiv, 436 S. XIV, 436 p. 275 illus., 205 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Dassan, Paulraj/ Thirumaaran, Sethukarasi/ Subramani, Neelakandan

  • ウェブストア価格 ¥23,017(本体¥20,925)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 418pt
  • 海外取次在庫
Virtual Reality and Augmented Reality : 16th EuroVR International Conference, EuroVR 2019, Tallinn, Estonia, October 23-25, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Virtual Reality and Augmented Reality : 16th EuroVR International Conference, EuroVR 2019, Tallinn, Estonia, October 23-25, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Bourdot, Patrick (EDT)/ Interrante, Victoria (EDT)/ Nedel, Luciana (EDT)

  • ウェブストア価格 ¥16,049(本体¥14,590)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 290pt
  • 海外取次在庫