Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Keller, Chantal (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Praxishandbuch Mieterstrom : Fakten, Argumente und Strategien
  • 洋書

Praxishandbuch Mieterstrom : Fakten, Argumente und Strategien  Hardcover,  言語:GER

Behr, Iris (EDT)/ Großklos, Marc (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer Vieweg(2017/06発売)
  • ポイント 170pt
  • 海外からお取り寄せ(通常6~9週間)
Architecture of Computing Systems - ARCS 2018 : 31st International Conference, Braunschweig, Germany, April 9-12, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Architecture of Computing Systems - ARCS 2018 : 31st International Conference, Braunschweig, Germany, April 9-12, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Berekovic, Mladen (EDT)/ Buchty, Rainer (EDT)/ Hamann, Heiko (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Visual Computing : 13th International Symposium, ISVC 2018, Las Vegas, NV, USA, November 19 - 21, 2018, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり

Advances in Visual Computing : 13th International Symposium, ISVC 2018, Las Vegas, NV, USA, November 19 - 21, 2018, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Bebis, George (EDT)/ Boyle, Richard (EDT)/ Parvin, Bahram (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory of Cryptography : 16th International Conference, TCC 2018, Panaji, India, November 11-14, 2018, Proceedings, Part I (Security and Cryptology)
  • 洋書
  • 電子版あり

Theory of Cryptography : 16th International Conference, TCC 2018, Panaji, India, November 11-14, 2018, Proceedings, Part I (Security and Cryptology)  Paperback,  言語:ENG

Beimel, Amos (EDT)/ Dziembowski, Stefan (EDT)

  • Springer Nature Switzerland AG(2018/11発売)
  • ご注文いただけません
Advances in Intelligent Data Analysis XVIII : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings (Lecture Notes in Computer Science) (2020)
  • 洋書

Advances in Intelligent Data Analysis XVIII : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings (Lecture Notes in Computer Science) (2020)  Paperback,  言語:ENG

Berthold, Michael R. (EDT)/ Feelders, Ad (EDT)/ Krempl, Georg (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer Nature Switzerland AG(2020/04発売)
  • ポイント 94pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Passive and Active Measurement : 19th International Conference, PAM 2018, Berlin, Germany, March 26-27, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Passive and Active Measurement : 19th International Conference, PAM 2018, Berlin, Germany, March 26-27, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Beverly, Robert (EDT)/ Smaragdakis, Georgios (EDT)/ Feldmann, Anja (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro (2018)
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro (2018)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 113pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 113pt
  • 海外取次在庫
Active Particles, Volume 1 : Advances in Theory, Models, and Applications (Modeling and Simulation in Science, Engineering and Technology)
  • 洋書
  • 電子版あり

Active Particles, Volume 1 : Advances in Theory, Models, and Applications (Modeling and Simulation in Science, Engineering and Technology)  Hardcover

Bellomo, Nicola (EDT)/ Degond, Pierre (EDT)/ Tadmor, Eitan (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Birkhauser Verlag AG(2017/04発売)
  • ポイント 208pt
  • 海外取次在庫
Women in Mathematics : Celebrating the Centennial of the Mathematical Association of America (Association for Women in Mathematics Series)
  • 洋書

Women in Mathematics : Celebrating the Centennial of the Mathematical Association of America (Association for Women in Mathematics Series)  Paperback,  言語:ENG

Beery, Janet L. (EDT)/ Greenwald, Sarah J. (EDT)/ Jensen-Vallin, Jacqueline A. (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2018/09発売)
  • ポイント 246pt
  • 海外からお取り寄せ(通常6~9週間)
Experimental IR Meets Multilinguality, Multimodality, and Interaction : 9th International Conference of the CLEF Association, CLEF 2018, Avignon, France, September 10-14, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Experimental IR Meets Multilinguality, Multimodality, and Interaction : 9th International Conference of the CLEF Association, CLEF 2018, Avignon, France, September 10-14, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Bellot, Patrice (EDT)/ Trabelsi, Chiraz (EDT)/ Mothe, Josiane (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms -- ESA 2010, Part II : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6347) (2010. XVII, 245 S.)
  • 洋書

Algorithms -- ESA 2010, Part II : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6347) (2010. XVII, 245 S.)  Paperback

Herausgegeben von de Berg, Mark/ Meyer, Ulrich

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 119pt
  • 海外取次在庫
Aufbruch Pflege : Hintergründe - Analysen - Entwicklungsperspektiven
  • 洋書

Aufbruch Pflege : Hintergründe - Analysen - Entwicklungsperspektiven  Paperback,  言語:GER

Behr, Thomas (EDT)

  • ウェブストア価格 ¥8,332(本体¥7,575)
  • Springer Gabler(2014/11発売)
  • ポイント 75pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Programming and Software Engineering) (2013)
  • 洋書

Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Lohmann, Niels (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 94pt
  • 海外取次在庫
Research in Computational Molecular Biology : 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics .7262) (2012. 2012. XVI, 372 S. 235 mm)
  • 洋書

Research in Computational Molecular Biology : 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics .7262) (2012. 2012. XVI, 372 S. 235 mm)  Paperback

Herausgegeben von Chor, Benny

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 119pt
  • 海外からお取り寄せ(通常6~9週間)
Biochemie und Pathobiochemie (10. Aufl. 2022. xxxix, 1396 S. XXXIX, 1396 S. 1000 Abb. in Farbe. 279)
  • 洋書

Biochemie und Pathobiochemie (10. Aufl. 2022. xxxix, 1396 S. XXXIX, 1396 S. 1000 Abb. in Farbe. 279)  Hardcover,  言語:GER

Herausgegeben von Heinrich, Peter C./ Mueller, Matthias/ Graeve, Lutz/ Koch, Hans-Georg/ Begruendet von Loeffler, Georg/ Petrides, Petro E.

  • ウェブストア価格 ¥22,133(本体¥20,121)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2022発売)
  • ポイント 201pt
  • 海外からお取り寄せ(通常6~9週間)
High Performance Computing on Vector Systems 2008 (2008. XIV, 242 S. 52 SW-Abb., 96 Farbabb., 11 Tabellen. 235 mm)
  • 洋書

High Performance Computing on Vector Systems 2008 (2008. XIV, 242 S. 52 SW-Abb., 96 Farbabb., 11 Tabellen. 235 mm)  Hardcover,  言語:ENG

Herausgegeben von Roller, Sabine/ Benkert, Katharina/ Galle, Martin/ Bez, Wolfgang/ Kobayashi, Hiroaki

  • SPRINGER, BERLIN(2008発売)
  • ご注文いただけません
Konstruktionselemente des Maschinenbaus, Übungsbuch : Mit durchgerechneten Lösungen (2011. IX, 361 S. 23,5 cm)
  • 洋書

Konstruktionselemente des Maschinenbaus, Übungsbuch : Mit durchgerechneten Lösungen (2011. IX, 361 S. 23,5 cm)  Paperback

Herausgegeben von Sauer, Bernd

  • ウェブストア価格 ¥9,343(本体¥8,494)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 84pt
  • 海外取次在庫
Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science) (2012)
  • 洋書

Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science) (2012)  Paperback,  言語:ENG

Meyer, Bertrand (EDT)/ Nordio, Martin (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 94pt
  • 海外取次在庫