Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Komendantskaya, Ekaterina (EDT)/ Liu, Yanhong Annie (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 212pt
  • 海外取次在庫
Descriptional Complexity of Formal Systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Descriptional Complexity of Formal Systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Konstantinidis, Stavros (EDT)/ Pighizzini, Giovanni (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence in Health : First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Intelligence in Health : First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Koch, Fernando (EDT)/ Koster, Andrew (EDT)/ Riaño, David (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 212pt
  • 海外取次在庫
Algorithms and Architectures for Parallel Processing : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Algorithms and Architectures for Parallel Processing : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Aversa, Rocco (EDT)/ Kolodziej, Joanna (EDT)/ Zhang, Jun (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2013/11発売)
  • ポイント 212pt
  • 海外取次在庫
DataFlow Supercomputing Essentials : Algorithms, Applications and Implementations (Computer Communications and Networks)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

DataFlow Supercomputing Essentials : Algorithms, Applications and Implementations (Computer Communications and Networks)  Hardcover

Milutinovic, Veljko/ Kotlar, Milos/ Stojanovic, Marko

  • Springer International Publishing AG(2017/12発売)
  • ご注文いただけません
Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Kohlhase, Andrea (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥16,311(本体¥14,829)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 296pt
  • 海外からお取り寄せ(通常6~9週間)
Image Analysis : 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)
  • 洋書
  • ポイントキャンペーン

Image Analysis : 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)  Paperback,  言語:ENG

Kamarainen, Joni-Kristian (EDT)/ Koskela, Markus (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/06発売)
  • ポイント 212pt
  • 海外取次在庫
Advances in Information and Computer Security : 9th International Workshop on Security, IWSEC 2014, Hirosaki, Japan, August 27-29, 2014. Proceedings (Security and Cryptology) (2014)
  • 洋書
  • ポイントキャンペーン

Advances in Information and Computer Security : 9th International Workshop on Security, IWSEC 2014, Hirosaki, Japan, August 27-29, 2014. Proceedings (Security and Cryptology) (2014)  Paperback,  言語:ENG

Yoshida, Maki (EDT)/ Mouri, Koichi (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Continuous System Simulation (2006. XXI, 643 p.)
  • 洋書
  • ポイントキャンペーン

Continuous System Simulation (2006. XXI, 643 p.)  Hardcover,  言語:ENG

Cellier, Francois E./ Kofman, Ernesto

  • ウェブストア価格 ¥23,538(本体¥21,399)
  • SPRINGER, BERLIN(2006発売)
  • ポイント 426pt
  • 海外からお取り寄せ(通常6~9週間)
Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Kosmatov, Nikolai (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥29,907(本体¥27,189)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 542pt
  • 海外からお取り寄せ(通常6~9週間)
Simulation and Modeling Methodologies, Technologies and Applications : International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers (Advances in Intelligent Systems and Computing) (2015)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Simulation and Modeling Methodologies, Technologies and Applications : International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers (Advances in Intelligent Systems and Computing) (2015)  Paperback

Obaidat, Mohammad S. (EDT)/ Koziel, Slawomir (EDT)/ Kacprzyk, Janusz (EDT)

  • ウェブストア価格 ¥23,538(本体¥21,399)
  • Springer International Publishing AG(2014/11発売)
  • ポイント 426pt
  • 海外取次在庫
Artificial Intelligence: Methods and Applications : 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May, 15-17, 2014, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Artificial Intelligence: Methods and Applications : 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May, 15-17, 2014, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Likas, Aristidis (EDT)/ Blekas, Konstantinos (EDT)/ Kalles, Dimitris (EDT)

  • Springer International Publishing AG(2014/05発売)
  • ご注文いただけません
Language Processing and Intelligent Information Systems : 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Language Processing and Intelligent Information Systems : 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Klopotek, Mieczyslaw A. (EDT)/ Koronacki, Jacek (EDT)/ Marciniak, Malgorzata (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 194pt
  • 海外取次在庫
Multi-Agent-Based Simulation XXII : 22nd International Workshop, MABS 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Multi-Agent-Based Simulation XXII : 22nd International Workshop, MABS 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Van Dam, Koen H. (EDT)/ Verstaevel, Nicolas (EDT)

  • ウェブストア価格 ¥12,838(本体¥11,671)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 232pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Soft Computing Applications : Proceedings of the 6th International Workshop Soft Computing Applications (SOFA 2014), Volume 1 (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Soft Computing Applications : Proceedings of the 6th International Workshop Soft Computing Applications (SOFA 2014), Volume 1 (Advances in Intelligent Systems and Computing)  Paperback

Balas, Valentina Emilia (EDT)/ C. Jain, Lakhmi (EDT)/ Kovačević, Branko (EDT)

  • ウェブストア価格 ¥36,380(本体¥33,073)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 660pt
  • 海外取次在庫
Internet of Things, Smart Spaces, and Next Generation Networking : 13th International Conference, NEW2AN 2013, and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Internet of Things, Smart Spaces, and Next Generation Networking : 13th International Conference, NEW2AN 2013, and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Balandin, Sergey (EDT)/ Andreev, Sergey (EDT)/ Koucheryavy, Yevgeni (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 212pt
  • 海外取次在庫
Latent Variable Analysis and Signal Separation : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Latent Variable Analysis and Signal Separation : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Vincent, Emmanuel (EDT)/ Yeredor, Arie (EDT)/ Koldovský, Zbyněk (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 212pt
  • 海外取次在庫
Adobe Acrobat 8 Professional : Pdf-Workflow Fur Printmedien (X.media.press)
  • 洋書
  • ポイントキャンペーン

Adobe Acrobat 8 Professional : Pdf-Workflow Fur Printmedien (X.media.press)  Hardcover,  言語:GER

Martins, Filipe Pereira/ Kobylinska, Anna

  • Springer-Nature New York Inc(2007/05発売)
  • ご注文いただけません
Adobe InDesign CS3 und InCopy CS3 für Digital- und Printmedien, m. DVD-ROM : Produktionssichere Mediengestaltung mit intelligenten Dokumenten. Auf DVD: Schulungsvideos (x.media.press) (2007. 1099 S. m. zahlr. Farbabb. 24,5 cm)
  • 洋書
Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .7186) (2012. XIV, 458 S.)
  • 洋書
  • ポイントキャンペーン

Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .7186) (2012. XIV, 458 S.)  Paperback

Herausgegeben von Sen, Koushik/ Khurshid, Sarfaz

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 246pt
  • 海外取次在庫