Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Codescu, Mihai (EDT)/ Diaconescu, Răzvan (EDT)/ Țuțu, Ionuț (EDT)

  • ウェブストア価格 ¥9,374(本体¥8,522)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 85pt
  • 海外取次在庫
Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, Volume 818) (2007. 496 S. 235 mm)
  • 洋書

Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, Volume 818) (2007. 496 S. 235 mm)  Paperback

Herausgeber: Dill, David L.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 120pt
  • 海外取次在庫
Suchmaschinen verstehen (3RD)
  • 洋書

Suchmaschinen verstehen (3RD)  Hardcover

Lewandowski, Dirk

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer Vieweg(2021/06発売)
  • ポイント 151pt
  • 海外からお取り寄せ(通常6~9週間)
Passive and Active Measurement : 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings (Lecture Notes in Computer Science)
  • 洋書

Passive and Active Measurement : 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings (Lecture Notes in Computer Science)  Paperback

Karagiannis, Thomas (EDT)/ Dimitropoulos, Xenofontas (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 104pt
  • 海外取次在庫
The Semantic Web - ISWC 2003 : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings (Lecture Notes in Computer Science Vol.2870) (2003. XV, 931 p. 23,5 cm)
  • 洋書

The Semantic Web - ISWC 2003 : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings (Lecture Notes in Computer Science Vol.2870) (2003. XV, 931 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Dieter Fensel, Katia Sycara a. John Mylopoulos

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 240pt
  • 海外取次在庫
Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2802) (2004. XI, 291 p. 23,5 cm)
  • 洋書

Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2802) (2004. XI, 291 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Dieter Hutter, Guenter Mueller, Werner Stephan et al.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外からお取り寄せ(通常6~9週間)
Practical Aspects of Knowledge Management : 5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings (Lecture Notes in Computer Science Vol.3336) (2004. X, 524 p. 23,5 cm)
  • 洋書

Practical Aspects of Knowledge Management : 5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings (Lecture Notes in Computer Science Vol.3336) (2004. X, 524 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Dimitris Karagiannis a. Ulrich Reimer,

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 240pt
  • 海外取次在庫
Medical Simulation, ISMS 2004 : International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004, Proceedings (Lecture Notes in Computer Science Vol.3078) (2004. XVI, 296 p. 23,5 cm)
  • 洋書

Medical Simulation, ISMS 2004 : International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004, Proceedings (Lecture Notes in Computer Science Vol.3078) (2004. XVI, 296 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Dimitris Metaxas a. Stephane Cotin

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Knowledge Discovery, Knowledge Engineering and Knowledge Management : 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Knowledge Discovery, Knowledge Engineering and Knowledge Management : 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Fred, Ana (EDT)/ Dietz, Jan L. G. (EDT)/ Aveiro, David (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Grid-Computing : Eine Basistechnologie für Computational Science (eXamen.press) (2010. XVIII, 530 S. 23,5 cm)
  • 洋書

Grid-Computing : Eine Basistechnologie für Computational Science (eXamen.press) (2010. XVIII, 530 S. 23,5 cm)  Paperback

Hrsg. v. Dietmar Fey

  • SPRINGER, BERLIN(2010発売)
  • ご注文いただけません
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Pan, Jeff Z. (EDT)/ Calvanese, Diego (EDT)/ Eiter, Thomas (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 123pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Current Trends in Web Engineering : 15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, the Netherlands, June 23-26, 2015. Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Current Trends in Web Engineering : 15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, the Netherlands, June 23-26, 2015. Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Daniel, Florian (EDT)/ Diaz, Oscar (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Domain Science and Engineering : A Foundation for Software Development (Monographs in Theoretical Computer Science. an Eatcs Series)
  • 洋書

Domain Science and Engineering : A Foundation for Software Development (Monographs in Theoretical Computer Science. an Eatcs Series)  Paperback

Bjørner, Dines

  • ウェブストア価格 ¥41,674(本体¥37,886)
  • Springer Nature Switzerland AG(2022/11発売)
  • ポイント 378pt
  • 海外取次在庫
Information Search, Integration, and Personalization : 10th International Workshop, ISIP 2015, Grand Forks, ND, USA, October 1-2, 2015, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Information Search, Integration, and Personalization : 10th International Workshop, ISIP 2015, Grand Forks, ND, USA, October 1-2, 2015, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Grant, Emanuel (EDT)/ Kotzinos, Dimitris (EDT)/ Laurent, Dominique (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Combinatorial Optimization and Applications : 15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Combinatorial Optimization and Applications : 15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Du, Ding-Zhu (EDT)/ Du, Donglei (EDT)/ Wu, Chenchen (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer Nature Switzerland AG(2021/12発売)
  • ポイント 227pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions (Lecture Notes in Computer Science) (2024)
  • 洋書

TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Hartmanns, Arnd (EDT)/ Kordon, Fabrice (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 104pt
  • 海外取次在庫
Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings (Lect
  • 洋書

Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings (Lect  Paperback

Beyer, Dirk (EDT)/ Cavalcanti, Ana (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 94pt
  • 海外取次在庫
Semantic Technology : Third Joint International Conference, JIST 2013, Seoul, South Korea, November 28--30, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書
  • 電子版あり

Semantic Technology : Third Joint International Conference, JIST 2013, Seoul, South Korea, November 28--30, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Kim, Wooju (EDT)/ Ding, Ying (EDT)/ Kim, Hong-Gee (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2014/06発売)
  • ポイント 104pt
  • 海外取次在庫
Application and Theory of Petri Nets and Concurrency : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Application and Theory of Petri Nets and Concurrency : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Buchs, Didier (EDT)/ Carmona, Josep (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 104pt
  • 海外取次在庫
Product-Focused Software Process Improvement : 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Product-Focused Software Process Improvement : 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Pfahl, Dietmar (EDT)/ Gonzalez Huerta, Javier (EDT)/ Klünder, Jil (EDT)

  • ウェブストア価格 ¥16,661(本体¥15,147)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 151pt
  • 海外からお取り寄せ(通常6~9週間)